Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 55 56 57 58 59 60 61 62 63 64 65 .. 5022
— 502,152 events total
2020-09-18 20:25:33 → knupfer joins (~Thunderbi@200116b8246ab400652fd076ac0223ae.dip.versatel-1u1.de)
2020-09-18 20:33:32 → acidjnk_new2 joins (~acidjnk@p200300d0c7365818803e8c849f4b43fc.dip0.t-ipconnect.de)
2020-09-18 20:33:54 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 20:34:47 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-18 20:35:47 × murphy_ quits (~murphy_@2604:2000:1281:8a9e:26e4:a825:a0:5e7f) (Ping timeout: 240 seconds)
2020-09-18 20:37:03 → murphy_ joins (~murphy_@2604:2000:1281:8a9e:253d:d28c:4e2b:162)
2020-09-18 20:37:05 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2020-09-18 20:37:12 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 272 seconds)
2020-09-18 20:37:33 × acidjnk_new3 quits (~acidjnk@p200300d0c73658736c60527e87d72a12.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-18 20:38:19 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-18 20:38:29 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-18 20:41:21 → eflister joins (47ee2144@c-71-238-33-68.hsd1.or.comcast.net)
2020-09-18 20:43:40 <eflister> i want to IO in the WhenMatched of Map.mergeA. is this impossible because it's only applicative? why no mergeM?
2020-09-18 20:44:06 → heatsink joins (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-18 20:44:07 × Volt_ quits (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) (Quit: )
2020-09-18 20:45:51 <merijn> eflister: IO is an Applicative, though?
2020-09-18 20:46:05 <merijn> eflister: All Monads are also applicatives
2020-09-18 20:46:34 <eflister> merijn: yeah i was hoping it would work for that reason but it seems not to be. i'll make a paste
2020-09-18 20:46:44 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-18 20:46:49 → anka213-1 joins (~anka213-1@94-255-250-165.cust.bredband2.com)
2020-09-18 20:48:06 → bitmagie joins (~Thunderbi@200116b806ae350060a80b5dfb4575b9.dip.versatel-1u1.de)
2020-09-18 20:49:01 <LambdaDuck> > foldr1 (+) [a,b,c,d]
2020-09-18 20:49:05 <lambdabot> a + (b + (c + d))
2020-09-18 20:50:01 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-09-18 20:52:09 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 244 seconds)
2020-09-18 20:54:44 × elliott_ quits (~elliott@pool-71-114-77-65.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-09-18 20:54:56 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 20:55:14 → ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-09-18 20:58:07 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-18 20:58:14 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-18 20:58:33 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-18 20:58:34 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-09-18 20:58:55 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-09-18 20:59:01 × fendor quits (~fendor@212095005091.public.telering.at) (Ping timeout: 260 seconds)
2020-09-18 20:59:18 wroathe_ is now known as wroathe
2020-09-18 20:59:43 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-09-18 21:00:02 × devnewton quits (~devnewton@193.56.252.210) ()
2020-09-18 21:00:16 → fendor joins (~fendor@212095005091.public.telering.at)
2020-09-18 21:02:13 <tomsmeding> wait is that a special case in lambdabot?
2020-09-18 21:02:34 <dolio> No.
2020-09-18 21:02:46 <dolio> @type a
2020-09-18 21:02:48 <lambdabot> Expr
2020-09-18 21:02:51 <tomsmeding> ah
2020-09-18 21:03:00 <tomsmeding> neat
2020-09-18 21:03:01 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds)
2020-09-18 21:03:30 → mpereira joins (~mpereira@2a02:810d:f40:d96:d572:7a06:140c:5191)
2020-09-18 21:03:56 <merijn> @hackage simple-reflect
2020-09-18 21:03:56 <lambdabot> https://hackage.haskell.org/package/simple-reflect
2020-09-18 21:05:46 × eflister quits (47ee2144@c-71-238-33-68.hsd1.or.comcast.net) (Remote host closed the connection)
2020-09-18 21:06:05 × mpereira quits (~mpereira@2a02:810d:f40:d96:d572:7a06:140c:5191) (Remote host closed the connection)
2020-09-18 21:09:00 × ddellacosta quits (~dd@86.106.121.168) (Quit: WeeChat 2.8)
2020-09-18 21:09:48 → eric_ joins (~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27)
2020-09-18 21:10:46 × mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-09-18 21:11:22 × dmwit quits (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-09-18 21:11:36 → ddellacosta joins (~dd@86.106.121.168)
2020-09-18 21:12:32 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection)
2020-09-18 21:12:57 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-09-18 21:13:14 × eric quits (~eric@2804:431:c7d4:402a:cc9a:66fe:3007:383) (Ping timeout: 244 seconds)
2020-09-18 21:14:02 → Raito_Bezarius joins (~Raito_Bez@2001:bc8:38ee::1)
2020-09-18 21:16:15 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 21:16:28 × fendor quits (~fendor@212095005091.public.telering.at) (Ping timeout: 256 seconds)
2020-09-18 21:17:18 → dmwit joins (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net)
2020-09-18 21:18:46 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds)
2020-09-18 21:20:25 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-18 21:21:18 × anka213-1 quits (~anka213-1@94-255-250-165.cust.bredband2.com) (Read error: Connection reset by peer)
2020-09-18 21:22:18 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-09-18 21:23:06 → mdunnio joins (~mdunnio@208.59.170.5)
2020-09-18 21:23:38 → ubert joins (~Thunderbi@77.119.130.195.wireless.dyn.drei.com)
2020-09-18 21:24:05 × knupfer quits (~Thunderbi@200116b8246ab400652fd076ac0223ae.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-09-18 21:24:27 → fendor joins (~fendor@212095005091.public.telering.at)
2020-09-18 21:25:28 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-09-18 21:26:07 × ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-18 21:26:18 → codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-09-18 21:29:19 → ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-09-18 21:29:43 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 21:31:21 → sfvm joins (~sfvm@37.228.215.148)
2020-09-18 21:31:44 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-09-18 21:32:21 × zopsi quits (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Remote host closed the connection)
2020-09-18 21:32:27 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 240 seconds)
2020-09-18 21:33:29 → zopsi joins (~zopsi@irc.dir.ac)
2020-09-18 21:35:17 × kleisli__ quits (~kleisli@2605:e000:1804:94c6:68bd:9d76:dbd8:24e7) (Ping timeout: 260 seconds)
2020-09-18 21:36:32 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Remote host closed the connection)
2020-09-18 21:37:26 <MagBo> Do we have an example of Network.WebSockets working with new Servant.Streaming?
2020-09-18 21:38:09 <MagBo> I'd like to take the streaming cookbook from [here](https://docs.servant.dev/en/stable/cookbook/basic-streaming/Streaming.html) and make the countdown work over wss
2020-09-18 21:39:20 → aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net)
2020-09-18 21:39:54 × stiell quits (~stian@fsf/member/stiell) (Ping timeout: 272 seconds)
2020-09-18 21:42:08 × ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-18 21:42:28 → stiell joins (~stian@fsf/member/stiell)
2020-09-18 21:43:20 → HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-09-18 21:43:48 → kicov joins (959c7c03@nat.ds3.agh.edu.pl)
2020-09-18 21:43:49 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-18 21:44:45 × fendor quits (~fendor@212095005091.public.telering.at) (Ping timeout: 240 seconds)
2020-09-18 21:44:55 <kicov> Hi, I just wanted to ask wheter it is possible to use liquid haskell to check for array# size - how are primops treated ? sizeofArray# is unbound - is there some other way to check for array size ?
2020-09-18 21:45:26 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-18 21:48:32 <dolio> I think you'll probably need to introduce some higher level concept, because the arrays you want to prove things about don't exist statically.
2020-09-18 21:48:49 × galagora quits (c5ed143c@197.237.20.60) (Ping timeout: 245 seconds)
2020-09-18 21:49:55 <dolio> For instance, I was told once that vector-algorithms had been verified with liquid haskell, but without verifying vector. There were just assumptions defined about how the vector operations worked.
2020-09-18 21:50:42 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds)
2020-09-18 21:50:48 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-09-18 21:52:38 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
←Prev  Next→
Page 1 .. 55 56 57 58 59 60 61 62 63 64 65 .. 5022

All times are in UTC.