Newest at the top
| 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" |
| 2026-04-22 08:04:05 +0000 | <merijn> | Much more annoying to type though |
| 2026-04-22 08:03:31 +0000 | gentauro | `^x.x` looks SO MUCH better :( |
| 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:02:22 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-22 07:47:26 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-22 07:45:09 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-22 07:34:22 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 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: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:30:52 +0000 | <ski> | gentauro : is "Λ-gent" relating to lambda calculus, in some way ? |
| 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:16:35 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-22 07:15:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-22 07:11:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 07:06:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 07:04:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 06:58:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 06:58:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) (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:52:40 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-22 06:51:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:40:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 06:36:55 +0000 | Square3 | (~Square4@user/square) Square |
| 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:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:32:45 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 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: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: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:27:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 06:26:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 06:25:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 06:21:32 +0000 | tusko | (~uwu@user/tusko) tusko |