2025/03/28

Newest at the top

2025-03-28 02:11:13 +0100xff0x(~xff0x@2405:6580:b080:900:879:4ff2:52d5:5929) (Ping timeout: 248 seconds)
2025-03-28 02:11:02 +0100 <anselmschueler> ok
2025-03-28 02:10:52 +0100 <geekosaur> https://github.com/lspitzner/exference
2025-03-28 02:10:23 +0100 <geekosaur> ghc internals change a lot
2025-03-28 02:10:18 +0100 <geekosaur> no, it's there, it was broken by compiler changes and I couldn't figure out how to update it when I tried forking it
2025-03-28 02:09:54 +0100 <anselmschueler> to generate those
2025-03-28 02:09:50 +0100 <anselmschueler> I assume it’s also a hard problem
2025-03-28 02:09:44 +0100 <anselmschueler> sad
2025-03-28 02:09:42 +0100 <anselmschueler> geekosaur: the source code is just lost?
2025-03-28 02:09:18 +0100 <geekosaur> djinn doesn't understand recursively defined types. there was a bot that did (exference) but it's bitrotted, and even when working it could fail to find solutions
2025-03-28 02:08:02 +0100 <lambdabot> Error: Undefined type []
2025-03-28 02:08:02 +0100 <anselmschueler> @djinn [a] -> (a -> [b]) -> [b]
2025-03-28 02:06:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-28 02:06:25 +0100 <geekosaur> (the in-channel help isn't so helpful, you might prefer https://github.com/lambdabot/lambdabot/pull/205/files)
2025-03-28 02:05:38 +0100 <anselmschueler> ok
2025-03-28 02:05:36 +0100 <anselmschueler> oh
2025-03-28 02:05:31 +0100 <geekosaur> it only supports :t and :k (from ghci) plus "> " to evaluate expressions, otherwise commands start with @
2025-03-28 02:04:30 +0100 <anselmschueler> hm
2025-03-28 02:04:24 +0100 <anselmschueler> :?
2025-03-28 02:04:21 +0100 <anselmschueler> :h
2025-03-28 02:01:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:58:36 +0100 <lambdabot> Int -> (c -> c) -> c -> c
2025-03-28 01:58:35 +0100 <EvanR> :t \n f -> (!! n) . iterate f
2025-03-28 01:58:15 +0100 <lambdabot> Expected type: (a -> a) -> [c]
2025-03-28 01:58:15 +0100 <lambdabot> • Couldn't match type ‘a -> [a]’ with ‘[c]’
2025-03-28 01:58:15 +0100 <lambdabot> error:
2025-03-28 01:58:14 +0100 <EvanR> :t \n -> (!! n) . iterate
2025-03-28 01:58:11 +0100anselmschueler(~quassel@user/schuelermine) schuelermine
2025-03-28 01:55:57 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-28 01:55:34 +0100anselmschueler(~quassel@user/schuelermine) (Remote host closed the connection)
2025-03-28 01:54:15 +0100acidjnk(~acidjnk@p200300d6e71c4f64e0b826361c3e438a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-28 01:51:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-28 01:46:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:44:34 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2025-03-28 01:41:52 +0100aetepe(~aetepe@188.119.58.34) (Ping timeout: 252 seconds)
2025-03-28 01:39:30 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-28 01:36:12 +0100jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-03-28 01:35:21 +0100st_aldini(~Thunderbi@136.48.22.91) (Remote host closed the connection)
2025-03-28 01:34:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 01:32:03 +0100malte(~malte@mal.tc) malte
2025-03-28 01:30:30 +0100toby-bro(~toby-bro@user/toby-bro) (Ping timeout: 276 seconds)
2025-03-28 01:28:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:27:51 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers
2025-03-28 01:17:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 01:14:56 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 265 seconds)
2025-03-28 01:12:40 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-28 01:12:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:08:19 +0100 <anselmschueler> specifically when I wrote this rejected proposal: https://github.com/haskell/core-libraries-committee/issues/72
2025-03-28 01:07:59 +0100 <anselmschueler> I seem to remember it wasn’t so some time ago
2025-03-28 01:07:51 +0100 <anselmschueler> does anyone know when stimes was changed to document that it’ll work with 0 only for some implementors, and that stimesMonoid was added to enforce stimesMonoid 0 = mempty?