Newest at the top
| 2025-05-08 12:55:06 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-08 12:55:02 +0200 | <JuanDaugherty> | or rather i've been aware of it for some time |
| 2025-05-08 12:54:48 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-05-08 12:54:15 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-05-08 12:53:16 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 276 seconds) |
| 2025-05-08 12:53:07 +0200 | <JuanDaugherty> | c. '06 for me; yes i now realize ML always did have that property i thought it didn |
| 2025-05-08 12:52:33 +0200 | zzz | yin |
| 2025-05-08 12:52:33 +0200 | yin | (~z@user/zero) (Read error: Connection reset by peer) |
| 2025-05-08 12:52:27 +0200 | <JuanDaugherty> | which misimpression wasn dispelled until hs started getting real |
| 2025-05-08 12:52:11 +0200 | <hellwolf> | does it now? |
| 2025-05-08 12:51:54 +0200 | zzz | (~z@user/zero) zero |
| 2025-05-08 12:51:26 +0200 | <JuanDaugherty> | i didn think it (ML) actually did useful, non theoretical programming |
| 2025-05-08 12:50:40 +0200 | <JuanDaugherty> | *b4 1980 |
| 2025-05-08 12:50:10 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-08 12:49:09 +0200 | <JuanDaugherty> | dont forget the smoke |
| 2025-05-08 12:49:07 +0200 | <hellwolf> | (stealing this joke from functional cafe.) |
| 2025-05-08 12:48:54 +0200 | <hellwolf> | with conclave and inaccessible cardinals? |
| 2025-05-08 12:48:25 +0200 | <JuanDaugherty> | i thought the uni just glommed onto haskell and it originated in some amorphose global academic ML cloud |
| 2025-05-08 12:47:09 +0200 | <JuanDaugherty> | i.e. ML was 2 years, unclear when I first heard of it but b6 1980 |
| 2025-05-08 12:46:25 +0200 | <JuanDaugherty> | s/the// |
| 2025-05-08 12:46:17 +0200 | <JuanDaugherty> | edinburgh and the milner and what not |
| 2025-05-08 12:45:48 +0200 | <JuanDaugherty> | i didn realize how straight and well penciled the line was from ML to haskell and GHC |
| 2025-05-08 12:45:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-08 12:45:31 +0200 | yin | (~z@user/zero) zero |
| 2025-05-08 12:45:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-08 12:45:11 +0200 | <JuanDaugherty> | it was 2 years b4 i wrote my first program |
| 2025-05-08 12:44:47 +0200 | <JuanDaugherty> | i was speculating when i first heard of ML, if it coulda been in the '70s |
| 2025-05-08 12:44:36 +0200 | yin | (~z@user/zero) (Ping timeout: 252 seconds) |
| 2025-05-08 12:42:34 +0200 | <hellwolf> | I will admit that I haven't even convinced or conveyed what I am doing to Arnauld :D |
| 2025-05-08 12:42:06 +0200 | <hellwolf> | you gotta provide something that you cannnot do otherwise. and I hope I am right here that LTL is an orthogonal use case of linear arrows in GHC. |
| 2025-05-08 12:41:24 +0200 | <hellwolf> | the linear-safety ergonomics loss is a turnoff to a lot of people |
| 2025-05-08 12:40:59 +0200 | <hellwolf> | everyone talks about uniqueness typing, but I find that less interesting since most of the time people can argue that ST monad does it just fine. |
| 2025-05-08 12:40:29 +0200 | <hellwolf> | to me, if I were right about this, it's criminally underselling linear arrows of GHC. |
| 2025-05-08 12:40:07 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-08 12:39:40 +0200 | <hellwolf> | that's what I want to encode in Haskell, perhaps in 2026 |
| 2025-05-08 12:39:18 +0200 | <lambdabot> | <hint>:1:50: error: parse error on input ‘of’ |
| 2025-05-08 12:39:16 +0200 | <hellwolf> | I thought about this again. I remembered in the literature it's called linear transition system (LTS), it's a graph, but you can unravel it and it becomes a tree. So it's more than the partial order here. |
| 2025-05-08 12:39:16 +0200 | <hellwolf> | > essentially you'd be building up a partial order of versions, instead of using the "too structured" natural numbers |
| 2025-05-08 12:38:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-05-08 12:37:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-08 12:33:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-08 12:27:01 +0200 | yin | (~z@user/zero) zero |
| 2025-05-08 12:25:31 +0200 | yin | (~z@user/zero) (Ping timeout: 252 seconds) |
| 2025-05-08 12:23:56 +0200 | Lears | Leary |
| 2025-05-08 12:23:50 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Quit: fp) |
| 2025-05-08 12:23:28 +0200 | <Lears> | hellwolf: I didn't put any on the `Atkey` class, no, but you can slip them in if you need to. |
| 2025-05-08 12:23:17 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-05-08 12:19:19 +0200 | <hellwolf> | (>>=) seems having %Many |
| 2025-05-08 12:19:04 +0200 | <hellwolf> | Lears: I didn't see linear arrows used though? |
| 2025-05-08 12:15:30 +0200 | yin | (~z@user/zero) zero |