2025/03/28

Newest at the top

2025-03-28 02:19:13 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-03-28 02:18:04 +0100 <anselmschueler> but idk if it is anymore
2025-03-28 02:18:00 +0100 <anselmschueler> and existentials seemed like a natural solution
2025-03-28 02:17:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 02:17:31 +0100 <anselmschueler> something
2025-03-28 02:17:26 +0100 <anselmschueler> and then it starts traversing and each time it checks for each file
2025-03-28 02:17:14 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-28 02:17:09 +0100 <anselmschueler> so when the program starts it collects data
2025-03-28 02:17:03 +0100 <anselmschueler> I had data Landmark = forall t. Landmark { prepare :: FilePath -> IO t, check :: t -> Check }
2025-03-28 02:16:40 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-28 02:16:26 +0100 <anselmschueler> do you think using existentials for that is overkill?
2025-03-28 02:16:11 +0100 <anselmschueler> two years ago I wrote a small (230 lines) code (still my best Haskell code to date) for directory traversal
2025-03-28 02:15:15 +0100 <anselmschueler> yeah
2025-03-28 02:15:10 +0100 <geekosaur> like, no TypeApplications support
2025-03-28 02:14:59 +0100 <geekosaur> well, most of these failures are because most of the bot plugins weren't updated
2025-03-28 02:14:54 +0100otto_s(~user@p5de2fe2d.dip0.t-ipconnect.de)
2025-03-28 02:14:34 +0100 <anselmschueler> like proper
2025-03-28 02:14:33 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2025-03-28 02:14:28 +0100 <anselmschueler> it’s been too long since I’ve done Haskell
2025-03-28 02:14:19 +0100 <lambdabot> g . h = k . f => $map_F g . fmap h = fmap k . $map_F f
2025-03-28 02:14:19 +0100 <Leary> @free fmap :: (a -> b) -> F a -> F b
2025-03-28 02:14:15 +0100 <anselmschueler> ok
2025-03-28 02:14:09 +0100 <Axman6> you can play with lambdabot in private messages too
2025-03-28 02:14:01 +0100 <anselmschueler> :(
2025-03-28 02:13:52 +0100 <lambdabot> Extra stuff at end of line
2025-03-28 02:13:52 +0100 <anselmschueler> @free fmap @[]
2025-03-28 02:13:29 +0100 <anselmschueler> oh
2025-03-28 02:13:25 +0100 <Leary> (i.e. `f _ _ = []`)
2025-03-28 02:13:25 +0100otto_s(~user@p5de2f7cc.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-03-28 02:13:16 +0100 <geekosaur> which is actually fmap; this is something of a hack because @free doesn't understand typeclasses
2025-03-28 02:12:52 +0100 <lambdabot> g . h = k . f => $map g . map h = map k . $map f
2025-03-28 02:12:51 +0100 <geekosaur> @free map
2025-03-28 02:12:48 +0100 <lambdabot> f _ _ a _ = a
2025-03-28 02:12:48 +0100 <Leary> @djinn (r -> (a -> r -> r) -> r) -> (a -> (s -> (b -> s -> s) -> s)) -> (t -> (b -> t -> t) -> t)
2025-03-28 02:12:20 +0100 <lambdabot> Extra stuff at end of line in retrieved type "Functor f => (a -> b) -> f a -> f b"
2025-03-28 02:12:19 +0100 <anselmschueler> @free fmap
2025-03-28 02:12:16 +0100 <anselmschueler> hm @free isn’t working
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)