Newest at the top
| 2025-02-03 19:49:24 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-03 19:47:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 19:45:06 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-03 19:45:05 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 19:44:34 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 19:40:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-03 19:40:13 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-03 19:38:36 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) |
| 2025-02-03 19:37:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-02-03 19:36:01 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) jespada |
| 2025-02-03 19:35:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-03 19:34:53 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 19:34:22 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 19:28:34 +0100 | <tomsmeding> | (this is just ContT with a different name) |
| 2025-02-03 19:28:08 +0100 | <tomsmeding> | related: https://git.tomsmeding.com/yahb2/tree/src/ExitEarly.hs |
| 2025-02-03 19:26:13 +0100 | <c_wraith> | it reduces to a call to p, so it can do anything p can do. |
| 2025-02-03 19:25:59 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-03 19:25:42 +0100 | <c_wraith> | note that the simplest way to think about it is asking what it reduces to in the non-empty case. |
| 2025-02-03 19:25:03 +0100 | <tomsmeding> | albet70: yes, being able to use non-local control flow, such as jumping out of the middle of a computation, is one of the things you can do with CPS-transformed code |
| 2025-02-03 19:24:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-02-03 19:24:36 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-03 19:22:53 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-03 19:18:11 +0100 | <albet70> | this mapK can do eary return? |
| 2025-02-03 19:17:48 +0100 | <albet70> | rec [1,2,3,0,4] id |
| 2025-02-03 19:17:37 +0100 | <albet70> | rec = \ls -> \k -> mapK (\x -> \c -> if x == 0 then k [x] else c (1/x)) ls k |
| 2025-02-03 19:17:26 +0100 | <albet70> | mapK p (x: xs) k = p x $ \v -> mapK p xs $ \ns -> k (v : ns) |
| 2025-02-03 19:17:15 +0100 | <albet70> | mapK p [] k = k [] |
| 2025-02-03 19:11:41 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-03 19:11:09 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-03 19:10:36 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Client Quit) |
| 2025-02-03 19:09:19 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-02-03 19:07:29 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-03 19:07:03 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-03 19:07:02 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-03 19:05:59 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Client Quit) |
| 2025-02-03 19:03:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-03 19:03:41 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-03 19:03:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 19:02:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-02-03 18:58:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 18:56:30 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-03 18:56:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-02-03 18:51:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-03 18:50:15 +0100 | forell | (~forell@user/forell) (Ping timeout: 246 seconds) |
| 2025-02-03 18:49:56 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2025-02-03 18:45:55 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2025-02-03 18:42:15 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-03 18:25:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-03 18:17:31 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-02-03 18:14:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |