Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 .. 5022
— 502,152 events total
2020-11-25 16:35:44 × son0p quits (~son0p@181.136.122.143) (Ping timeout: 256 seconds)
2020-11-25 16:37:13 × adm quits (~adm@43.229.88.197) (Remote host closed the connection)
2020-11-25 16:37:14 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-25 16:38:19 → Boomerang_ joins (~Boomerang@xd520f68c.cust.hiper.dk)
2020-11-25 16:38:39 → andos joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-25 16:40:17 <maerwald> what's a safe way to convert Integer to Word64
2020-11-25 16:40:59 × derek_gorczyn quits (~derek_gor@96-81-221-14-static.hfc.comcastbusiness.net) (Quit: Leaving)
2020-11-25 16:41:10 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-25 16:41:19 × Guest22285 quits (5fa448e7@95.164.72.231) (Ping timeout: 245 seconds)
2020-11-25 16:41:42 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-25 16:41:54 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-25 16:42:09 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-bojsghgzllzoprwv)
2020-11-25 16:42:12 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-11-25 16:43:25 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds)
2020-11-25 16:43:51 × knupfer quits (~Thunderbi@200116b82ca9650045472097ac301af6.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-25 16:43:59 → knupfer1 joins (~Thunderbi@200116b82ca96500dc7bf53810219cf9.dip.versatel-1u1.de)
2020-11-25 16:44:41 → jonatanb_ joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-25 16:45:11 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-11-25 16:45:54 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-25 16:46:16 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds)
2020-11-25 16:46:22 knupfer1 is now known as knupfer
2020-11-25 16:46:37 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2020-11-25 16:46:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-25 16:47:07 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-25 16:47:23 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-25 16:51:49 × Boomerang_ quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 264 seconds)
2020-11-25 16:51:56 × jonatanb_ quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds)
2020-11-25 16:52:06 <ProofTechnique> @maerwald `fromIntegral`?
2020-11-25 16:52:06 <lambdabot> Unknown command, try @list
2020-11-25 16:52:43 <tdammers> define "safe"
2020-11-25 16:53:14 <maerwald> 1. memory safe 2. doesn't truncate randomly or do other crap when the Integer is out of range
2020-11-25 16:53:23 <maerwald> so a Maybe is ok too
2020-11-25 16:54:00 × tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) ()
2020-11-25 16:54:53 × Lycurgus quits (~niemand@98.4.114.74) (Quit: Exeunt)
2020-11-25 16:58:46 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-25 16:59:04 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-25 17:00:21 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-11-25 17:00:25 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-25 17:02:20 → conal joins (~conal@64.71.133.70)
2020-11-25 17:02:31 <PacoV> \o/ Yeah, cabal build succeeded.
2020-11-25 17:04:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-11-25 17:04:49 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-25 17:06:49 → irc_user joins (uid423822@gateway/web/irccloud.com/x-gwxffkrhmbtyeyhx)
2020-11-25 17:07:58 <xsperry> maerwald toIntegralSized
2020-11-25 17:08:47 [exa] smashes bookmark button
2020-11-25 17:09:02 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2020-11-25 17:10:18 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-25 17:11:37 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-11-25 17:12:03 → kish` joins (~oracle@unaffiliated/oracle)
2020-11-25 17:12:06 <[exa]> xsperry: hmmm.. isn't the check in the toIntegralSized docs example wrong? here https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Bits.html#v:toIntegralSized
2020-11-25 17:12:16 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-25 17:13:00 × ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2020-11-25 17:13:38 <[exa]> (the comparison there does basically `toInteger x == toInteger x` does that make sense? I would understand if there would be `x == fromInteger y` instead)
2020-11-25 17:14:02 × LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-25 17:15:41 → LKoen joins (~LKoen@169.244.88.92.rev.sfr.net)
2020-11-25 17:16:36 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-sigyjgyywexrisfj)
2020-11-25 17:17:37 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-11-25 17:18:28 <ProofTechnique> I expect the second `toInteger` to be at a different specialized type. The real implementation is _a read_, though
2020-11-25 17:18:45 <ProofTechnique> Otherwise yeah, maybe just a typo
2020-11-25 17:19:32 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-25 17:20:02 <ProofTechnique> Oh, yeah, the actual implementation says `y = fromIntegral x`, so maybe that's a typo in the docs
2020-11-25 17:22:35 → conal joins (~conal@64.71.133.70)
2020-11-25 17:24:02 × pmikkelsen quits (~pmikkelse@vps1.pmikkelsen.com) (Read error: Connection reset by peer)
2020-11-25 17:25:29 × mpereira quits (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55) (Ping timeout: 272 seconds)
2020-11-25 17:26:45 → f-a joins (~f-a@151.34.188.246)
2020-11-25 17:27:07 × SanchayanMaity quits (~Sanchayan@171.76.82.54) (Quit: SanchayanMaity)
2020-11-25 17:27:28 <[exa]> oh my, I'd report it but ghc gitlab is giving me http500 on auth
2020-11-25 17:28:30 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Quit: Leaving)
2020-11-25 17:28:59 × LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-25 17:30:11 → cyphase joins (~cyphase@unaffiliated/cyphase)
2020-11-25 17:31:44 → LKoen joins (~LKoen@169.244.88.92.rev.sfr.net)
2020-11-25 17:31:54 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-25 17:32:28 → matta joins (~user@24-113-169-116.wavecable.com)
2020-11-25 17:33:03 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-25 17:34:10 → erisco joins (~erisco@d24-57-249-233.home.cgocable.net)
2020-11-25 17:36:24 <erisco> is there anything to be said for Profunctor & Category because I think liftA2 (.) is how I want to compose optics
2020-11-25 17:36:55 <ezzieyguywuf> what do y'all use for regular expressions in haskell?
2020-11-25 17:37:15 <[exa]> erisco: you saw prolens package right?
2020-11-25 17:37:24 <erisco> maybe
2020-11-25 17:37:37 <geekosaur> parsing instead of regular expressions, generally
2020-11-25 17:38:35 <[exa]> erisco: not sure about liftA2 (.) but I guess it will give easier than Control.Lens
2020-11-25 17:39:04 <erisco> I am using profunctor lenses
2020-11-25 17:39:09 <[exa]> ah ok
2020-11-25 17:39:16 ← f-a parts (~f-a@151.34.188.246) ()
2020-11-25 17:39:27 <ezzieyguywuf> geekosaur: I knew someone would say that.
2020-11-25 17:39:49 <erisco> But I keep wanting to do things it seems Profunctor and friends cannot
2020-11-25 17:40:38 <[exa]> anyway what would be the semantics of the lifted (.) ?
2020-11-25 17:41:04 <erisco> basically, once you're at a point in a structure, you want to split and do two things, then bring the results back together
2020-11-25 17:41:46 → ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
2020-11-25 17:41:46 <erisco> (.) isn't precisely that but it suffices
2020-11-25 17:42:52 <matta> Newbie question! I am setting up Haskell on macOS. haskell.org/platform recommends I use ghcup to install ghc and cabal, then use haskellstack.org to install stack. But it looks like stack then installs yet another ghc (but not another cabal, which it largely duplicates?). I don't relish this apparent duplication of fucnctionality, especially the possible screwups I could get myself into with two compiler installations. As a newbie who
2020-11-25 17:42:52 <matta> wants to keep things as simple for myself as possible, should I just wipe everything and only install stack?
2020-11-25 17:43:07 <[exa]> erisco: so, say "process all items from a list but take `lens1` from the first and `lens2` from the second" ?
2020-11-25 17:43:13 <[exa]> s/second/tail
2020-11-25 17:43:47 → alp joins (~alp@2a01:e0a:58b:4920:1ce3:597b:e8f0:d72c)
2020-11-25 17:43:50 <erisco> say I have a prism for element 1 and other for element 2
2020-11-25 17:43:56 × LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-25 17:44:01 hackage hakyll-contrib-i18n 0.1.1.0 - A Hakyll library for internationalization. https://hackage.haskell.org/package/hakyll-contrib-i18n-0.1.1.0 (pcoves)
2020-11-25 17:44:02 <[exa]> matta: I'd advise for going without stack first, it's a brutal tool
2020-11-25 17:44:30 <[exa]> matta: unless you need it to support an IDE that requires stack ofc
←Prev  Next→
Page 1 .. 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 .. 5022

All times are in UTC.