Newest at the top
2025-03-28 02:14:34 +0100 | <anselmschueler> | like proper |
2025-03-28 02:14:33 +0100 | vanishingideal | (~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 +0100 | otto_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 +0100 | xff0x | (~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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | anselmschueler | (~quassel@user/schuelermine) schuelermine |
2025-03-28 01:55:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |