Newest at the top
| 2026-06-23 16:01:49 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-06-23 15:45:28 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-06-23 15:44:04 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 256 seconds) |
| 2026-06-23 15:41:09 +0000 | <jaror> | Not necessarily harder than making sure normal strict programs terminate, but that's bad too |
| 2026-06-23 15:37:47 +0000 | <jaror> | One problem is that the language has no guardrails, so you have to think very hard all the time |
| 2026-06-23 15:36:59 +0000 | <yahb2> | True |
| 2026-06-23 15:36:59 +0000 | <Leary> | % genericLength @Nat (repeat ()) >= 10 |
| 2026-06-23 15:36:30 +0000 | <jaror> | https://youtu.be/jFk1qpr1ytk |
| 2026-06-23 15:33:57 +0000 | <dutchie> | yeah i was about to say you just need data Nat = Z | S Nat |
| 2026-06-23 15:33:41 +0000 | <schuelermine> | wait isn't that what would happen if you used an inductively defined Nat type |
| 2026-06-23 15:32:56 +0000 | <schuelermine> | jaror: I wonder if you could formulate a theoretical language with a sort of ultra-laziness where "length (repeat ()) >= 10" just doesn't diverge even with the current definitions of length and repeat and >= |
| 2026-06-23 15:28:53 +0000 | <schuelermine> | practically yesterday |
| 2026-06-23 15:28:39 +0000 | <schuelermine> | I think we can all agree that’s pretty recent |
| 2026-06-23 15:23:23 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-23 15:22:20 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-23 15:22:01 +0000 | <int-e> | https://www.haskell.org/definition/haskell98-bugs.html lists it as a December 2001 addition to the report |
| 2026-06-23 15:20:44 +0000 | <schuelermine> | oh you already got further |
| 2026-06-23 15:20:28 +0000 | <schuelermine> | im going through the git blame and I'm at a commit in 2001 rn |
| 2026-06-23 15:20:14 +0000 | <int-e> | Yeah in a sense it's always been there: https://gitlab.haskell.org/ghc/ghc/-/blob/4fb94ae5e5d632748fa2e6c35e259eccc5a1a3f4/libraries/base/… |
| 2026-06-23 15:17:29 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-06-23 15:17:21 +0000 | <geekosaur> | someone would have to dig pretty far back, genericLength was already in 6.0.1 |
| 2026-06-23 15:16:18 +0000 | <schuelermine> | surprised I don’t have a GHC clone already |
| 2026-06-23 15:15:25 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) |
| 2026-06-23 15:12:56 +0000 | <schuelermine> | unfortunately there isn't a "since" in the docs |
| 2026-06-23 15:12:38 +0000 | <schuelermine> | it feels like 10 years |
| 2026-06-23 15:12:24 +0000 | <schuelermine> | sure |
| 2026-06-23 15:12:12 +0000 | <int-e> | schuelermine: time is relative ;) |
| 2026-06-23 15:11:52 +0000 | <schuelermine> | int-e: hasn't genericLength existed for ages |
| 2026-06-23 15:11:27 +0000 | <jaror> | https://github.com/haskell/core-libraries-committee/issues/257 |
| 2026-06-23 15:11:20 +0000 | <jaror> | compareLength |
| 2026-06-23 15:10:49 +0000 | <lambdabot> | Num i => [a] -> i |
| 2026-06-23 15:10:48 +0000 | <int-e> | :t genericLength |
| 2026-06-23 15:09:56 +0000 | <jaror> | gentauro: an alternative to length was added recently to base, let me look it up |
| 2026-06-23 15:08:05 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-23 15:04:46 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) machinedgod |
| 2026-06-23 15:04:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-06-23 14:59:06 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 14:58:36 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-06-23 14:54:03 +0000 | AlexNoo_ | AlexNoo |
| 2026-06-23 14:48:18 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-06-23 14:44:36 +0000 | Guest66 | (~Guest66@240f:6e:f6f0:1:c42e:e17d:4fe1:287b) (Client Quit) |
| 2026-06-23 14:43:36 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-23 14:43:29 +0000 | Guest66 | (~Guest66@240f:6e:f6f0:1:c42e:e17d:4fe1:287b) |
| 2026-06-23 14:32:35 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-23 14:28:56 +0000 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-06-23 14:27:58 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-23 14:27:40 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-23 14:26:21 +0000 | foul_owl | (~kerry@94.156.149.95) (Ping timeout: 246 seconds) |
| 2026-06-23 14:24:41 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-23 14:19:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |