Logs: liberachat/#haskell
| 2021-06-21 04:07:07 | → | RemiYuko joins (~licht@user/akechishiro) |
| 2021-06-21 04:07:32 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-21 04:09:34 | → | jackhill_ joins (~jackhill@kalessin.dragonsnail.net) |
| 2021-06-21 04:09:36 | × | econo quits (uid147250@user/econo) (*.net *.split) |
| 2021-06-21 04:09:36 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (*.net *.split) |
| 2021-06-21 04:09:36 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (*.net *.split) |
| 2021-06-21 04:09:36 | × | yd502 quits (~yd502@180.168.212.6) (*.net *.split) |
| 2021-06-21 04:09:36 | × | td_ quits (~td@94.134.91.150) (*.net *.split) |
| 2021-06-21 04:09:36 | × | trent1 quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (*.net *.split) |
| 2021-06-21 04:09:36 | × | xff0x quits (~xff0x@2001:1a81:53cb:7800:33aa:1278:7cdb:992c) (*.net *.split) |
| 2021-06-21 04:09:36 | × | jakalx quits (~jakalx@base.jakalx.net) (*.net *.split) |
| 2021-06-21 04:09:36 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2021-06-21 04:09:36 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (*.net *.split) |
| 2021-06-21 04:09:36 | × | jasonu quits (~user@166.70.242.157) (*.net *.split) |
| 2021-06-21 04:09:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (*.net *.split) |
| 2021-06-21 04:09:36 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (*.net *.split) |
| 2021-06-21 04:09:36 | × | ikex quits (ash@user/ikex) (*.net *.split) |
| 2021-06-21 04:09:36 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (*.net *.split) |
| 2021-06-21 04:09:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (*.net *.split) |
| 2021-06-21 04:09:36 | × | jackhill quits (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 2021-06-21 04:09:36 | × | aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (*.net *.split) |
| 2021-06-21 04:09:36 | × | Sgeo quits (~Sgeo@user/sgeo) (*.net *.split) |
| 2021-06-21 04:09:36 | × | nurupo quits (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2021-06-21 04:09:36 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (*.net *.split) |
| 2021-06-21 04:09:36 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (*.net *.split) |
| 2021-06-21 04:09:36 | × | phma quits (phma@2001:5b0:210d:d028:dead:9920:575e:b71e) (*.net *.split) |
| 2021-06-21 04:09:36 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split) |
| 2021-06-21 04:09:36 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:c617:f0e4:6f11:e3af) (*.net *.split) |
| 2021-06-21 04:09:36 | × | howdy quits (~user@2001:8003:2432:d501:71e9:d3d3:3664:52d2) (*.net *.split) |
| 2021-06-21 04:09:36 | × | img quits (~img@user/img) (*.net *.split) |
| 2021-06-21 04:09:36 | × | derelict quits (~derelict@user/derelict) (*.net *.split) |
| 2021-06-21 04:09:36 | × | rawles quits (~o@sputnik.rawles.net) (*.net *.split) |
| 2021-06-21 04:09:36 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2021-06-21 04:09:36 | × | jonatan quits (~nate@h77-53-70-163.cust.a3fiber.se) (*.net *.split) |
| 2021-06-21 04:09:36 | × | amirouche quits (~amirouche@user/amirouche) (*.net *.split) |
| 2021-06-21 04:09:36 | × | AkechiShiro quits (~licht@user/akechishiro) (*.net *.split) |
| 2021-06-21 04:09:36 | × | Ferdirand quits (~somebody@2001:4c78:2012:5000::2) (*.net *.split) |
| 2021-06-21 04:09:36 | × | fiddlerwoaroof quits (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 2021-06-21 04:09:36 | econo_ | is now known as econo |
| 2021-06-21 04:09:37 | nurupo_ | is now known as nurupo |
| 2021-06-21 04:09:37 | ikex1 | is now known as ikex |
| 2021-06-21 04:09:41 | hnOsmium0001_ | is now known as hnOsmium0001 |
| 2021-06-21 04:09:45 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-06-21 04:09:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-21 04:10:52 | phma_ | is now known as phma |
| 2021-06-21 04:11:52 | × | sheepduck quits (~sheepduck@user/sheepduck) (Quit: Leaving) |
| 2021-06-21 04:12:03 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-06-21 04:12:12 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-06-21 04:16:36 | × | hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-21 04:16:43 | → | img joins (~img@user/img) |
| 2021-06-21 04:17:08 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-21 04:18:36 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-21 04:19:27 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-06-21 04:20:01 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-21 04:20:08 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-21 04:23:09 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-21 04:25:29 | → | vonfry joins (~user@240e:688:3:1010:5942:1e2c:6233:6863) |
| 2021-06-21 04:32:40 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-21 04:33:32 | <jackdk> | I stumbled across the following type while trying to write a trace function for an evaluator for a language I'm working on `data Trace m a = Done a | Step a (m (Trace m a))`. It looks like `Free m a` with an additional value - does it have a canonical name? |
| 2021-06-21 04:34:26 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-21 04:37:23 | <dibblego> | Ap Either (Cofree f) |
| 2021-06-21 04:39:12 | × | sheepduck quits (~sheepduck@user/sheepduck) (Quit: Leaving) |
| 2021-06-21 04:46:47 | <jackdk> | Ap? |
| 2021-06-21 04:47:05 | <jackdk> | the only Ap I know is in Data.Monoid and has the wrong kind |
| 2021-06-21 04:47:13 | <dibblego> | newtype Ap f g a = Ap (f a (g a)) |
| 2021-06-21 04:47:39 | × | jasonu` quits (~user@166.70.242.157) (Remote host closed the connection) |
| 2021-06-21 04:47:51 | → | jasonu` joins (~user@166.70.242.157) |
| 2021-06-21 04:48:57 | <dibblego> | I don't know what it is; almost NonEmptyList |
| 2021-06-21 04:49:16 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-21 04:51:41 | → | aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2021-06-21 04:52:45 | × | jasonu` quits (~user@166.70.242.157) (Ping timeout: 268 seconds) |
| 2021-06-21 04:54:44 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 265 seconds) |
| 2021-06-21 05:00:08 | × | ChanServ quits (ChanServ@services.libera.chat) (shutting down) |
| 2021-06-21 05:00:11 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 2021-06-21 05:01:17 | × | bilegeek quits (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) (Quit: Leaving) |
| 2021-06-21 05:05:04 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-21 05:08:45 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-21 05:11:54 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 2021-06-21 05:14:42 | × | azeem quits (~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it) (Remote host closed the connection) |
| 2021-06-21 05:14:44 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection) |
| 2021-06-21 05:14:45 | × | fabfianda quits (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2021-06-21 05:14:55 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 2021-06-21 05:14:55 | osmium.libera.chat | sets mode +o ChanServ |
| 2021-06-21 05:15:40 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-21 05:16:01 | → | azeem joins (~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it) |
| 2021-06-21 05:16:23 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-21 05:17:06 | × | vonfry quits (~user@240e:688:3:1010:5942:1e2c:6233:6863) (Quit: ERC (IRC client for Emacs 27.2)) |
| 2021-06-21 05:17:47 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-21 05:20:17 | <Axman6> | have there been any proposals for a monadic case syntax? something like case! (something foo bar :: m BaZ) of Baz x -> ...; Quux y -> ...; which would be equivalent to something foo bar >>= \case ... |
| 2021-06-21 05:21:17 | <shachaf> | I'd probably rather see the (<- x) syntax. |
| 2021-06-21 05:21:28 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-21 05:21:44 | <Axman6> | what would that look like? |
| 2021-06-21 05:21:48 | <nshepperd> | would it really be an improvement over >>= \case? |
| 2021-06-21 05:21:53 | <shachaf> | https://github.com/ghc-proposals/ghc-proposals/pull/64 |
| 2021-06-21 05:23:49 | <Axman6> | hmm, that's cute, though the question about ordering of evaluation is a good one, I'd hate to have to write flip foo (<- y) (<- x) z to get y to run before x just because foo was definied in the "wrong" order |
| 2021-06-21 05:24:03 | <Axman6> | but, I would probably use it a lot if it were available |
| 2021-06-21 05:24:10 | <shachaf> | Then don't, just do it the same way you do in C. |
| 2021-06-21 05:24:17 | <nshepperd> | i would only use it when ordering doesn't matter |
| 2021-06-21 05:24:34 | <shachaf> | You write f(g(), h()), but if you care about the order, you write "int x = g(); int y = h(); f(x, y);" |
| 2021-06-21 05:24:47 | → | yd502_ joins (~yd502@180.168.212.6) |
All times are in UTC.