Newest at the top
| 2026-04-22 10:47:16 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2026-04-22 10:43:11 +0000 | <mauke> | ski: and don't forget YAML |
| 2026-04-22 10:24:50 +0000 | nmeum_ | 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:22:25 +0000 | nmeum_ | (~nmeum@barium.8pit.net) nmeum |
| 2026-04-22 10:21:45 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-22 10:12:27 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2026-04-22 10:02:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-04-22 09:53:34 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 09:53:30 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 09:50:42 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 09:49:04 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-22 09:48:35 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-22 09:47:30 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5836dc6d0caa2ab8c45.dip0.t-ipconnect.de) acidjnk |
| 2026-04-22 09:43:33 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-22 09:31:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 09:29:42 +0000 | davl | (~davl@207.154.228.18) (Ping timeout: 255 seconds) |
| 2026-04-22 09:29:10 +0000 | davl_ | (~davl@207.154.228.18) davl |
| 2026-04-22 09:26:50 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2026-04-22 09:26:18 +0000 | walt | ggVGc |
| 2026-04-22 09:23:54 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 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:22:57 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 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:20:50 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 09:18:27 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-22 09:15:58 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de) |
| 2026-04-22 09:10:24 +0000 | tristanC | (~tristanC@user/tristanc) tristanC |
| 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@2602:61:712f:b700:a215:c067:33c4:f43e) |
| 2026-04-22 09:09:04 +0000 | tristanC | (~tristanC@user/tristanc) (Ping timeout: 276 seconds) |
| 2026-04-22 09:03:14 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 08:55:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 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:53:15 +0000 | <merijn> | *and* a warning *and* a way to turn any you forgot into compile time errors :p |
| 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:45:02 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-22 08:41:32 +0000 | <haskellbridge> | <Liamzee> i mean it's basically various forms of TyDD anyways |
| 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:39:52 +0000 | <[exa]> | gentauro: what would you use the \ for btw |
| 2026-04-22 08:38:35 +0000 | <[exa]> | at least I didn't spot one that wouldn't behave so |
| 2026-04-22 08:38:21 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 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:36:11 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 08:32:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-22 08:30:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-04-22 08:12:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-22 08:05:40 +0000 | <gentauro> | I will take `^` over `fun …` and `function _` anyday |
| 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:04:28 +0000 | <gentauro> | ski: `Λ-mode>` is bold, input text is "regular" and ouput is "fainted" |