Logs: freenode/#haskell
| 2021-04-14 23:31:16 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-14 23:31:24 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 23:32:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-14 23:34:57 | → | syntactic_sugar joins (~syntactic@66.115.157.118) |
| 2021-04-14 23:35:31 | × | syntactic_sugar quits (~syntactic@66.115.157.118) (Client Quit) |
| 2021-04-14 23:36:13 | × | usr25 quits (~J@26.red-83-63-221.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-04-14 23:36:21 | × | tabemann quits (~travisb@2600:1700:7990:24e0:70e7:2dce:b9d2:60a7) (Remote host closed the connection) |
| 2021-04-14 23:36:37 | → | tabemann joins (~travisb@2600:1700:7990:24e0:1f29:251c:9834:33) |
| 2021-04-14 23:37:57 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-14 23:38:32 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-14 23:40:26 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 23:41:07 | → | syntactic_sugar joins (~syntactic@209.58.139.27) |
| 2021-04-14 23:41:11 | → | eru joins (bba71272@187-167-18-114.static.axtel.net) |
| 2021-04-14 23:41:19 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-14 23:41:45 | <eru> | hi everybody |
| 2021-04-14 23:41:50 | <Axman6> | Hello! |
| 2021-04-14 23:42:37 | × | eru quits (bba71272@187-167-18-114.static.axtel.net) (Client Quit) |
| 2021-04-14 23:45:37 | <Axman6> | :( |
| 2021-04-14 23:48:14 | → | nvmd joins (~nvmd@177.30.111.232) |
| 2021-04-14 23:51:09 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-14 23:52:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:305e:cb15:9982:892e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 23:52:49 | → | ddellacosta joins (~ddellacos@86.106.143.118) |
| 2021-04-14 23:52:49 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-14 23:55:49 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2021-04-14 23:57:21 | × | ddellacosta quits (~ddellacos@86.106.143.118) (Ping timeout: 265 seconds) |
| 2021-04-15 00:01:57 | <nicholasbulka> | hey |
| 2021-04-15 00:02:43 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-15 00:03:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 00:05:16 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 2021-04-15 00:09:13 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-15 00:11:26 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 00:13:44 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-15 00:17:06 | × | syntactic_sugar quits (~syntactic@209.58.139.27) (Ping timeout: 240 seconds) |
| 2021-04-15 00:17:52 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:340f:2736:618a:ba87) |
| 2021-04-15 00:18:12 | <monochrom> | Interesting. Define "reset p = runCont p id". Then reset has as much power as runCont because runCont p f = reset (fmap f p). |
| 2021-04-15 00:19:17 | × | rdd quits (~user@c-407ce255.012-81-73746f39.cust.ownit.se) (Ping timeout: 246 seconds) |
| 2021-04-15 00:19:32 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-15 00:24:11 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-04-15 00:24:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 00:24:35 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9573c48ebca42f820036.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-15 00:25:25 | → | ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-15 00:27:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 00:28:19 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-15 00:28:30 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-15 00:28:36 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-15 00:28:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 00:29:18 | × | nighmi quits (~felix@port-92-196-72-29.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 2021-04-15 00:29:20 | × | tsandstr quits (~user@nat-130-132-173-221.central.yale.edu) (Ping timeout: 252 seconds) |
| 2021-04-15 00:30:01 | × | Natch quits (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 260 seconds) |
| 2021-04-15 00:34:05 | <monochrom> | When I google for "mother of monads" I get https://twitchard.github.io/posts/2020-07-26-monads.html |
| 2021-04-15 00:34:14 | <monochrom> | (don't worry, not 1st hit :) ) |
| 2021-04-15 00:35:33 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 00:36:20 | × | dariof4 quits (~dario@5.11.121.66) (Quit: WeeChat 3.1) |
| 2021-04-15 00:37:56 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) (Ping timeout: 258 seconds) |
| 2021-04-15 00:38:34 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 00:38:51 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:a2cc:76b1:70b6:a69f) |
| 2021-04-15 00:39:16 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 00:39:41 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:f171) |
| 2021-04-15 00:40:34 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 00:48:26 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 00:48:52 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-15 00:50:10 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 2021-04-15 00:51:00 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-15 00:52:43 | <edwardk> | Cont is the mother of all monads, but she's not as productive as she could be. Er wait, that sounds like the preamble to a whole sexist rant. I'm going to stop now. |
| 2021-04-15 00:54:38 | <monochrom> | :( :) |
| 2021-04-15 00:54:57 | <ski> | monochrom : reminds me of <http://www.smonad.com/monad/> (also not the first search hit) |
| 2021-04-15 00:55:13 | <monochrom> | haha great |
| 2021-04-15 00:55:48 | <shachaf> | Isn't it settled that Codensity is the mother of all monads? |
| 2021-04-15 00:55:54 | <monochrom> | Single monad, duality, and the four corners of the time cube. |
| 2021-04-15 00:56:06 | <edwardk> | codensity is the grandmother of all monads |
| 2021-04-15 00:56:08 | <ski> | (also, i prefer `reset :: Cont o o -> Cont p o; reset = return . evalCont', giving back an action) |
| 2021-04-15 00:57:23 | <edwardk> | wait, she's a single monad? |
| 2021-04-15 00:58:33 | <monochrom> | The mother of all monads may be most useful in Scheme and SML etc., as explained in Filinski's paper «representing monads» |
| 2021-04-15 00:59:20 | <monochrom> | in which our cont and runCont become their shift and reset |
| 2021-04-15 00:59:24 | <ski> | which languages, or language implementations, provide access to first-class continuations ? |
| 2021-04-15 00:59:35 | <monochrom> | Scheme. |
| 2021-04-15 00:59:39 | <ski> | Scheme and SML/NJ (and i think also Mlton or so ?) |
| 2021-04-15 00:59:41 | → | Natch joins (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-04-15 00:59:51 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 01:00:09 | <ski> | but istr also hearing about some other ones. like some Smalltalk implementation, possibly Ruby (?), maybe a Python or Perl implementation ? |
| 2021-04-15 01:00:16 | <monochrom> | But «representing monads» prefers shift/reset, I gather. |
| 2021-04-15 01:00:24 | <ski> | yes |
| 2021-04-15 01:00:59 | <monochrom> | Well, Racket also prefers any delimited continuation story than call/cc too. Hell, its call/cc can also be delimited... |
| 2021-04-15 01:01:03 | <ski> | hm, i think there's an implementation for OCaml |
| 2021-04-15 01:01:07 | → | slack1256 joins (~slack1256@191.113.234.51) |
| 2021-04-15 01:01:21 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 01:01:25 | <ski> | yea .. many in the Scheme world now seem to prefer it |
| 2021-04-15 01:01:40 | <monochrom> | Oleg likes to use OCaml to show off his continuation fu (both delimited and unlimited) |
| 2021-04-15 01:01:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 01:01:52 | ski | nods |
| 2021-04-15 01:02:30 | <ski> | @quote shift.k |
| 2021-04-15 01:02:30 | <lambdabot> | ddarius says: shift k. O(leg k) |
| 2021-04-15 01:02:39 | <monochrom> | haha |
| 2021-04-15 01:03:55 | <slack1256> | Are IsLabel instances written by hand or are they inferred by the compiler (as in Typeable)? |
| 2021-04-15 01:04:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 01:05:51 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-15 01:06:19 | × | haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 260 seconds) |
| 2021-04-15 01:06:37 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 01:07:42 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 01:07:56 | × | Anthaas_ quits (~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer) |
All times are in UTC.