| 2026-04-22 00:04:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 00:15:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:19:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-22 00:27:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:28:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ab:ded3:9a8e:f68) (Ping timeout: 244 seconds) |
| 2026-04-22 00:29:38 +0000 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 248 seconds) |
| 2026-04-22 00:31:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 00:32:16 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-04-22 00:32:41 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575cc18418ef4c2db48.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 00:32:55 +0000 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2026-04-22 00:34:15 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-22 00:34:52 +0000 | czan | (~czan@user/mange) czan |
| 2026-04-22 00:37:37 +0000 | <janus> | @sm swagger2 got fixed :) |
| 2026-04-22 00:37:46 +0000 | <haskellbridge> | <sm> nice! |
| 2026-04-22 00:37:54 +0000 | <janus> | i have updated servant-swagger |
| 2026-04-22 00:42:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:45:50 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-22 00:45:58 +0000 | <haskellbridge> | <alexfmpe> dutchie: asum $ fmap ($ x) [f, g] |
| 2026-04-22 00:47:00 +0000 | alhazrod | (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2026-04-22 00:47:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 00:58:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:59:51 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 01:00:08 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 01:02:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 01:11:06 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-04-22 01:11:52 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-04-22 01:13:34 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 01:18:00 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-04-22 01:21:30 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-22 01:25:21 +0000 | skum | (~skum@user/skum) (Read error: Connection reset by peer) |
| 2026-04-22 01:28:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 01:35:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-22 01:46:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 01:51:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 02:02:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 02:05:06 +0000 | yin | (~zero@user/zero) (Ping timeout: 248 seconds) |
| 2026-04-22 02:06:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 02:09:13 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2026-04-22 02:15:59 +0000 | yin | (~zero@user/zero) zero |
| 2026-04-22 02:17:27 +0000 | Guest30 | (~Guest15@168.234.74.11) |
| 2026-04-22 02:17:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 02:21:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 02:23:05 +0000 | Guest30 | (~Guest15@168.234.74.11) (Quit: Client closed) |
| 2026-04-22 02:30:59 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-22 02:32:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 02:37:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 02:41:51 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:846b:977e:db81:bd5c) |
| 2026-04-22 02:41:51 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:846b:977e:db81:bd5c) (Changing host) |
| 2026-04-22 02:41:51 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 02:43:19 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-22 02:46:10 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-22 02:48:22 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 02:52:34 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-22 02:59:15 +0000 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-04-22 03:03:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 03:11:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-22 03:21:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 03:26:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 03:26:52 +0000 | hsw | (~hsw@106.104.103.195) (Quit: Leaving) |
| 2026-04-22 03:37:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 03:41:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 03:52:30 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 03:57:09 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-22 04:07:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:10:45 +0000 | <ski> | gentauro : that misuses `Show' :( |
| 2026-04-22 04:11:30 +0000 | <ski> | also, aren't bold and faint supposed to be mutually exclusive, being at the two opposite ends of the scale which has "normal weight" in the middle ? |
| 2026-04-22 04:12:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 04:15:31 +0000 | bgamari | (~bgamari@64.223.168.27) (Ping timeout: 268 seconds) |
| 2026-04-22 04:15:46 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-22 04:17:22 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-22 04:18:45 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-22 04:18:55 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-04-22 04:23:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:27:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 04:28:11 +0000 | bgamari | (~bgamari@64.223.158.17) |
| 2026-04-22 04:34:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:34:30 +0000 | michalz | (~michalz@185.246.207.205) |
| 2026-04-22 04:38:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 04:48:18 +0000 | foul_owl | (~kerry@94.156.149.94) (Ping timeout: 244 seconds) |
| 2026-04-22 04:49:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:53:37 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2026-04-22 04:56:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 05:04:18 +0000 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-04-22 05:05:05 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 05:05:42 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-22 05:05:45 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2026-04-22 05:07:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:07:30 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-22 05:09:15 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-04-22 05:10:32 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 05:11:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 05:21:28 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-22 05:22:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:26:58 +0000 | traxex | (traxex@user/traxex) traxex |
| 2026-04-22 05:27:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 05:28:58 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-04-22 05:32:50 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-22 05:34:14 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-04-22 05:35:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:37:07 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 05:37:21 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 05:39:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-22 05:40:15 +0000 | synchromesh | (~john@139.180.114.128) synchromesh |
| 2026-04-22 05:44:34 +0000 | <gentauro> | ski: I have no clue |
| 2026-04-22 05:49:36 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-22 05:50:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:51:45 +0000 | <gentauro> | ski: but I would say it looks pretty cool -> https://imgur.com/a/gent-looking-cool-X49HD5E (colourblind here so, don't take my word for it) |
| 2026-04-22 05:52:25 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-22 05:54:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 06:05:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:10:39 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-04-22 06:10:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 06:11:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-22 06:13:40 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 06:16:00 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 06:16:15 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 06:18:25 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 06:18:41 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 06:19:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-22 06:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:21:32 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 06:25:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 06:26:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 06:27:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 06:30:49 +0000 | <dminuoso> | gentauro: It is quite curious how Haskell on one hand strong advertises catching bugs with a type system, and then at the same time offers bottom in so many ways, even across our standard libraries. |
| 2026-04-22 06:31:07 +0000 | <dminuoso> | But perhaps the case can be made that outright crashing a program is a better behavior than being easily caught. |
| 2026-04-22 06:31:28 +0000 | <dminuoso> | If one caught a bottom, without any knowledge of its provenance, how could one reasonably recover anyway |
| 2026-04-22 06:32:45 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-22 06:36:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:36:32 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 06:36:55 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-22 06:40:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 06:51:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:52:40 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-22 06:56:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-22 06:58:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 06:58:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 07:04:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 07:06:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 07:11:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 07:15:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-22 07:16:35 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-22 07:29:33 +0000 | <ski> | gentauro : hm, i meant that your `Show' instance ought to be a separate function, named something different, leaving `Show' to be composable with other `Show' instances (try `show' on a `Maybe SelectGraphicRendition', a `Map String SelectGraphicRendition', or a `[SelectGraphicRendition]', e.g.), so you can use `Show' for debugging |
| 2026-04-22 07:30:52 +0000 | <ski> | gentauro : is "Λ-gent" relating to lambda calculus, in some way ? |
| 2026-04-22 07:32:00 +0000 | <ski> | (maybe the upper case lambda refers to System F ? or perhaps some linear algebra, or maybe some other theory ?) |
| 2026-04-22 07:32:45 +0000 | <ski> | gentauro : is the response to the `/help' command, at the prompt, in faint weight ? |
| 2026-04-22 07:34:22 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2026-04-22 07:45:09 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-22 07:47:26 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-22 08:02:22 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-22 08:03:14 +0000 | <gentauro> | ski: the inital lambda term was `^` (SHIFT+6). Cos of the capital lambda. I never understood why we left doing that for: `\ _ -> …` (Haskell, Elm); `fun _ -> …` (OCaml, F#); `function _ -> …` (ML, F#) :-\ |
| 2026-04-22 08:03:31 +0000 | gentauro | `^x.x` looks SO MUCH better :( |
| 2026-04-22 08:04:05 +0000 | <merijn> | Much more annoying to type though |
| 2026-04-22 08:04:28 +0000 | <gentauro> | ski: `Λ-mode>` is bold, input text is "regular" and ouput is "fainted" |
| 2026-04-22 08:05:08 +0000 | <gentauro> | merijn: yeah, but so are Emacs shortkeys. You tend to get used to them ;) |
| 2026-04-22 08:05:40 +0000 | <gentauro> | I will take `^` over `fun …` and `function _` anyday |
| 2026-04-22 08:12:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-22 08:30:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-04-22 08:32:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-22 08:36:11 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 08:38:10 +0000 | <[exa]> | dminuoso: tbh the bottoms follow the pretty good practice of "if you don't know, crash it loudly" |
| 2026-04-22 08:38:21 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-22 08:38:35 +0000 | <[exa]> | at least I didn't spot one that wouldn't behave so |
| 2026-04-22 08:39:52 +0000 | <[exa]> | gentauro: what would you use the \ for btw |
| 2026-04-22 08:41:23 +0000 | <haskellbridge> | <Liamzee> monochrom: the question is more, given foo = undefined being extremely cheap, whether Haskell is more given to this type of top down architecting |
| 2026-04-22 08:41:32 +0000 | <haskellbridge> | <Liamzee> i mean it's basically various forms of TyDD anyways |
| 2026-04-22 08:45:02 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-22 08:51:39 +0000 | <merijn> | Liamzee: better use typed holes via "foo = _" then you not only get a crash, but also a line number AND a type |
| 2026-04-22 08:53:15 +0000 | <merijn> | *and* a warning *and* a way to turn any you forgot into compile time errors :p |
| 2026-04-22 08:53:36 +0000 | <gentauro> | [exa]: funny enough, the .NET (with C#) don't anything at all :o: `Select(x => …);` |
| 2026-04-22 08:55:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-22 09:03:14 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 09:09:04 +0000 | tristanC | (~tristanC@user/tristanc) (Ping timeout: 276 seconds) |
| 2026-04-22 09:10:24 +0000 | tristanC | (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) |
| 2026-04-22 09:10:24 +0000 | tristanC | (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) (Changing host) |
| 2026-04-22 09:10:24 +0000 | tristanC | (~tristanC@user/tristanc) tristanC |
| 2026-04-22 09:15:58 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de) |
| 2026-04-22 09:18:27 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-22 09:20:50 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 09:22:05 +0000 | <ski> | gentauro : mhm, i see. fwiw, `function _ -> ...' is also OCaml, but not SML (which uses `fn _ => ...') |
| 2026-04-22 09:22:57 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-22 09:23:53 +0000 | <ski> | (you said "ML", which is (nowadays) an umbrella term for all of SML,OCaml,F# (you could also mention Alice ML if you want, and MetaML,MetaOCaml, and the original Caml)) |
| 2026-04-22 09:23:54 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-22 09:26:18 +0000 | walt | ggVGc |
| 2026-04-22 09:26:50 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2026-04-22 09:29:10 +0000 | davl_ | (~davl@207.154.228.18) davl |
| 2026-04-22 09:29:42 +0000 | davl | (~davl@207.154.228.18) (Ping timeout: 255 seconds) |
| 2026-04-22 09:31:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 09:43:33 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-22 09:47:30 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5836dc6d0caa2ab8c45.dip0.t-ipconnect.de) acidjnk |
| 2026-04-22 09:48:35 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-22 09:49:04 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-22 09:50:42 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 09:53:30 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 09:53:34 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 10:02:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-04-22 10:12:27 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2026-04-22 10:21:45 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-22 10:22:25 +0000 | nmeum_ | (~nmeum@barium.8pit.net) nmeum |
| 2026-04-22 10:24:47 +0000 | <nmeum_> | I have a question regarding Control.Monad.Catch: I do exception handling via `catch` in the context of a stateful monad `m`, in the exception handler `(e -> m a)` I want to access information about the state of my monad in which the exception occured. however, the exception handler action is executed in the state of the `catch` caller. how do access the error `m` state? |
| 2026-04-22 10:24:50 +0000 | nmeum_ | nmeum |
| 2026-04-22 10:43:11 +0000 | <mauke> | ski: and don't forget YAML |
| 2026-04-22 10:47:16 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |