Newest at the top
| 2025-11-15 19:04:35 +0100 | <codolio> | The systems I know of that have both laziness and continuations are significant departures from just lambda calculus. |
| 2025-11-15 19:03:53 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 19:02:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 19:02:02 +0100 | <codolio> | So when you write `reset (... shift ...)` that doesn't mean that the `shift` is actually delimited by that `reset`, because the expression within may not evaluate the shift. |
| 2025-11-15 19:00:42 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:00:38 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:00:35 +0100 | <codolio> | But, it doesn't really fix what is hard to think about with regard to 'effects' and laziness. I think the aspect that makes it hard to think about is that you can no longer think about the delimiting lexically, because the shifts do not actually happen until they are evaluated. |
| 2025-11-15 18:58:44 +0100 | <codolio> | It's not necessarily a bad solution. And you can have multiple evaluation orders in a single calculus. |
| 2025-11-15 18:57:40 +0100 | <codolio> | jreicher: That sounds like fixing an evaluation order. Like I said, you can do that, but then Church-Rosser becomes vacuous, because the fixed evaluation order means there is only ever one reduction step for each term, so there is no actual branching that needs to be reconciled. |
| 2025-11-15 18:55:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-15 18:54:48 +0100 | vanishing | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-11-15 18:54:30 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 18:40:43 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:40:38 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:40:10 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
| 2025-11-15 18:31:19 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-15 18:25:38 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 18:20:50 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-11-15 18:20:49 +0100 | Googulator69 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:20:39 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:17:09 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 18:16:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 18:15:22 +0100 | acidjnk | (~acidjnk@p200300d6e71719200dae54d3d04eac45.dip0.t-ipconnect.de) acidjnk |
| 2025-11-15 18:13:15 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-15 18:05:50 +0100 | Googulator69 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-15 18:05:44 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:01:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-15 17:58:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 17:57:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 17:57:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 17:54:40 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-15 17:54:21 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-15 17:51:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 17:45:42 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 17:45:31 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 17:39:44 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-15 17:39:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 17:34:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 17:30:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-15 17:29:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-15 17:28:45 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-11-15 17:25:54 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 17:25:53 +0100 | <mauke> | all I saw was that I couldn't open haskell.org anymore |
| 2025-11-15 17:25:50 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 17:25:35 +0100 | <mauke> | and I didn't know it was only the ipv6 one |
| 2025-11-15 17:25:25 +0100 | <mauke> | int-e: no |
| 2025-11-15 17:24:57 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-15 17:24:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-11-15 17:24:28 +0100 | <haskellbridge> | <sm> @irc_libera.chat_guest2000:kf8nh.com: certainly |
| 2025-11-15 17:21:06 +0100 | <int-e> | mauke: is it safe to assume that you've told #haskell-infrastructure about this? |