Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 706 707 708 709 710 711 712 713 714 715 716 .. 18017
— 1,801,666 events total
2021-06-29 18:34:42 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-06-29 18:36:09 × Shaeto quits (~Shaeto@94.25.234.81) (Quit: WeeChat 3.1)
2021-06-29 18:36:20 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-29 18:39:37 <dsal> I thought you didn't want a functor?
2021-06-29 18:40:42 <qrpnxz> that's fmapping the applicative, not the constructable
2021-06-29 18:40:53 <qrpnxz> the applicative is of course a functor
2021-06-29 18:40:56 → Guest6 joins (~Guest6@d-137-103-195-117.fl.cpe.atlanticbb.net)
2021-06-29 18:41:21 <qrpnxz> dsal,
2021-06-29 18:45:56 × warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection)
2021-06-29 18:46:31 <dsal> Oh, you mean you don't want the traversable itself to be a functor (or foldable). I don't use sequenceA enough to have run into something where that mattered. Fewer constraints are better, but `traverse` is mostly what I use there.
2021-06-29 18:48:26 <qrpnxz> yeah i can't think of when you'd use this class I'm describing. Even if you think of Data.Set, which is not a functor, the Constructable instance would have the same problem, that (a) in (f a) needs to have an ord constraint, so you couldn't use it there either.
2021-06-29 18:49:06 <qrpnxz> it's like if you had an applicative without functor, yeah you could make that, but like when are you gonna use it lol
2021-06-29 18:49:25 <qrpnxz> wait nvm lol
2021-06-29 18:49:30 <qrpnxz> you can implement functor with applicative
2021-06-29 18:49:34 <qrpnxz> but you get the point hopefully
2021-06-29 18:49:55 <qrpnxz> though ig some people do like Apply lol
2021-06-29 18:50:10 → Deide joins (~Deide@wire.desu.ga)
2021-06-29 18:50:10 × Deide quits (~Deide@wire.desu.ga) (Changing host)
2021-06-29 18:50:10 → Deide joins (~Deide@user/deide)
2021-06-29 18:50:34 <dsal> Finding such patterns isn't bad. I actually needed fold1 this morning. heh
2021-06-29 18:51:36 <qrpnxz> what? you didn't want to type (\(x:xs) -> foldl (\a x -> a <> x) x xs)?
2021-06-29 18:51:39 <qrpnxz> :P
2021-06-29 18:52:32 <dsal> Yeah, semigroupoids did that part for me.
2021-06-29 18:53:12 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-29 18:57:46 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-29 19:00:20 × kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Quit: Quitting IRC :()
2021-06-29 19:00:40 → kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-06-29 19:00:55 × motherfsck quits (~motherfsc@user/motherfsck) (Remote host closed the connection)
2021-06-29 19:01:58 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-06-29 19:04:52 × Morrow quits (~MorrowM_@147.161.8.23) (Read error: Connection reset by peer)
2021-06-29 19:05:20 → Guest95 joins (~Guest95@cpe-45-48-168-168.socal.res.rr.com)
2021-06-29 19:07:10 <Guest95> Anyone know how snap-server and/or warp handle requests which are in progress during a ctrl-c/SIGINT? Are they given time to complete?
2021-06-29 19:08:20 <Guest95> We use SIGINT to kill/restart servers whenever code is updated, would be a waste to mess up requests each time we do
2021-06-29 19:08:44 → Morrow joins (~MorrowM_@147.161.8.23)
2021-06-29 19:10:14 → acidjnk joins (~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de)
2021-06-29 19:12:59 × juhp quits (~juhp@128.106.188.66) (Quit: juhp)
2021-06-29 19:13:13 → juhp joins (~juhp@128.106.188.66)
2021-06-29 19:14:21 × Guest6 quits (~Guest6@d-137-103-195-117.fl.cpe.atlanticbb.net) (Quit: Client closed)
2021-06-29 19:15:07 → nschoe joins (~quassel@2a01:e0a:8e:a190:b26c:5983:773f:5c24)
2021-06-29 19:16:48 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-06-29 19:16:48 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-06-29 19:17:09 allbery_b is now known as geekosaur
2021-06-29 19:20:36 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-29 19:20:41 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-29 19:22:31 → jolly joins (~jolly@208.180.97.158)
2021-06-29 19:22:57 → lavaman joins (~lavaman@98.38.249.169)
2021-06-29 19:24:58 × nschoe quits (~quassel@2a01:e0a:8e:a190:b26c:5983:773f:5c24) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-06-29 19:27:35 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds)
2021-06-29 19:29:51 × myShoggoth quits (~myShoggot@75.164.51.64) (Ping timeout: 256 seconds)
2021-06-29 19:32:12 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-29 19:32:44 → myShoggoth joins (~myShoggot@75.164.51.64)
2021-06-29 19:34:31 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-06-29 19:35:23 → lavaman joins (~lavaman@98.38.249.169)
2021-06-29 19:37:50 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-29 19:39:37 <boxscape_> hmm I'll likely benchmark if I end up doing this, but can adding a second (rarely used) constructor to a datatype make a difference performance-wise? I.e. does it prevent some optimizations?
2021-06-29 19:39:58 <ephemient> Guest95: I'm not a warp user, but the docs have https://hackage.haskell.org/package/warp/docs/Network-Wai-Handler-Warp.html#v:setGracefulShutdownTimeout
2021-06-29 19:40:30 → zincy joins (~tom@2a00:23c8:9700:8001:254e:b3c4:89f3:610b)
2021-06-29 19:40:39 → test_mmm joins (~test_mmm@pool-100-8-149-10.nwrknj.fios.verizon.net)
2021-06-29 19:41:49 <geekosaur> boxscape_, it'd prevent unboxing in cases where that's applicable
2021-06-29 19:41:55 <boxscape_> hm, I see
2021-06-29 19:43:16 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-06-29 19:43:37 → ec joins (~ec@gateway/tor-sasl/ec)
2021-06-29 19:47:45 × test_mmm quits (~test_mmm@pool-100-8-149-10.nwrknj.fios.verizon.net) (Quit: Client closed)
2021-06-29 19:48:34 → Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-06-29 19:53:37 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-29 19:54:38 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-29 19:58:37 → Guest67 joins (~Guest67@rrcs-69-75-173-34.west.biz.rr.com)
2021-06-29 20:01:36 × Guest67 quits (~Guest67@rrcs-69-75-173-34.west.biz.rr.com) (Client Quit)
2021-06-29 20:02:16 × Guest95 quits (~Guest95@cpe-45-48-168-168.socal.res.rr.com) (Ping timeout: 246 seconds)
2021-06-29 20:02:44 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-29 20:03:01 → fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-06-29 20:04:10 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-29 20:04:42 × juhp quits (~juhp@128.106.188.66) (Ping timeout: 240 seconds)
2021-06-29 20:05:22 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-29 20:06:01 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-06-29 20:07:16 × alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds)
2021-06-29 20:08:29 → juhp joins (~juhp@128.106.188.66)
2021-06-29 20:10:29 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-06-29 20:11:49 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-29 20:12:56 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-29 20:13:20 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-29 20:16:00 → TranquilEcho joins (~grom@user/tranquilecho)
2021-06-29 20:17:08 × dunkeln quits (~dunkeln@188.71.193.140) (Quit: leaving)
2021-06-29 20:17:16 → chisui joins (~chisui@200116b86458b700e549230632d59732.dip.versatel-1u1.de)
2021-06-29 20:18:45 → alex3 joins (~alex3@BSN-77-82-41.static.siol.net)
2021-06-29 20:20:17 × favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-29 20:20:37 → favonia joins (~favonia@user/favonia)
2021-06-29 20:21:35 × myShoggoth quits (~myShoggot@75.164.51.64) (Read error: Connection reset by peer)
2021-06-29 20:21:52 → myShoggoth joins (~myShoggot@75.164.51.64)
2021-06-29 20:21:54 × fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-06-29 20:28:55 × michalz quits (~michalz@185.246.204.122) (Remote host closed the connection)
2021-06-29 20:29:01 → jneira_ joins (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net)
2021-06-29 20:29:28 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-06-29 20:29:39 → haykam2 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-06-29 20:29:49 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 246 seconds)
2021-06-29 20:30:02 × pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
2021-06-29 20:30:21 → pavonia joins (~user@user/siracusa)
2021-06-29 20:32:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-29 20:32:28 × Morrow quits (~MorrowM_@147.161.8.23) (Ping timeout: 272 seconds)
2021-06-29 20:35:04 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 3.0.1)
←Prev  Next→
Page 1 .. 706 707 708 709 710 711 712 713 714 715 716 .. 18017

All times are in UTC.