Newest at the top
| 2026-03-04 21:20:08 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) (Ping timeout: 268 seconds) |
| 2026-03-04 21:17:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:15:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 21:12:33 +0100 | <lambdabot> | t |
| 2026-03-04 21:12:32 +0100 | <EvanR> | :t ego |
| 2026-03-04 21:12:09 +0100 | <lambdabot> | monochrom says: I am 17-ary, going on 18-ary, I can take curry of you |
| 2026-03-04 21:12:09 +0100 | <monochrom> | @quote monochrom 17 |
| 2026-03-04 21:11:57 +0100 | <lambdabot> | a -> a |
| 2026-03-04 21:11:56 +0100 | <mauke> | :t id `id` id |
| 2026-03-04 21:10:35 +0100 | <yahb2> | id.id :: c -> c |
| 2026-03-04 21:10:35 +0100 | <aka_dude> | % :t id.id |
| 2026-03-04 21:10:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:09:15 +0100 | <ncf> | katakana |
| 2026-03-04 21:08:02 +0100 | <geekosaur> | that was left over from someone experimenting with hiragana symbols and discovering that, being caseless, they can't be used as constructor or type names |
| 2026-03-04 21:07:52 +0100 | <monochrom> | push apply etc were using CPS to emulate a stack. |
| 2026-03-04 21:04:49 +0100 | <Rembane> | Something like this I reckon: https://aphyr.com/posts/342-typing-the-technical-interview |
| 2026-03-04 21:03:12 +0100 | <EvanR> | haskell is best written in the original klingon |
| 2026-03-04 21:02:46 +0100 | <aka_dude> | A Clingon speaker must have defined these, I see |
| 2026-03-04 21:02:46 +0100 | <monochrom> | cf. the tragedy of the commons |
| 2026-03-04 21:02:16 +0100 | <mauke> | % :cd .. |
| 2026-03-04 21:02:05 +0100 | <yahb2> | type Xワ :: * ; data Xワ = Xワ ; -- Defined at <interactive>:21:1 |
| 2026-03-04 21:02:05 +0100 | <aka_dude> | % :info Xワ |
| 2026-03-04 21:01:57 +0100 | <aka_dude> | :info Xワ |
| 2026-03-04 21:01:35 +0100 | <aka_dude> | Ahaha wow |
| 2026-03-04 21:01:16 +0100 | <yahb2> | type Nat :: * ; data Nat = ... ; type Xワ :: * ; data Xワ = ... ; it :: Num a => a = _ ; instance [safe] Ord Nat ; instance [safe] Eq Nat ; instance [safe] Show Nat ; instance [safe] Num Nat |
| 2026-03-04 21:01:16 +0100 | <aka_dude> | % :show bindings |
| 2026-03-04 21:00:53 +0100 | <geekosaur> | (probably EDITOR=/bin/true or something) |
| 2026-03-04 21:00:50 +0100 | <monochrom> | Eventually you will realize that running your own ghci on your own computer is the most robust. Every convenient lightweight tool becomes a fragile toy. |
| 2026-03-04 21:00:31 +0100 | <geekosaur> | apparently :edit got spiked ☺ |
| 2026-03-04 21:00:20 +0100 | <yahb2> | 1 |
| 2026-03-04 21:00:20 +0100 | <geekosaur> | % 1 |
| 2026-03-04 21:00:12 +0100 | <geekosaur> | oh, whoops |
| 2026-03-04 20:59:54 +0100 | <chromoblob> | they were "defined" inside a let ... in |
| 2026-03-04 20:59:54 +0100 | <aka_dude> | Ah |
| 2026-03-04 20:59:44 +0100 | <geekosaur> | which probably means they got @undefine-d overnight |
| 2026-03-04 20:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 20:59:41 +0100 | <mauke> | % :edit |
| 2026-03-04 20:59:33 +0100 | <geekosaur> | someone defined them yesterday |
| 2026-03-04 20:59:27 +0100 | <aka_dude> | Of course, it's shared after all |
| 2026-03-04 20:59:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-04 20:59:03 +0100 | <c_wraith> | But do note that anyone can clear things defined with @let at any time. |
| 2026-03-04 20:58:54 +0100 | <monochrom> | Also, push apply etc are not built-in. Someone has to define them first. |
| 2026-03-04 20:58:31 +0100 | <geekosaur> | and the way you'd define run in lambdabot is with @let |
| 2026-03-04 20:58:06 +0100 | <geekosaur> | if you want an actual ghci, see yahb2 (% prefix) |
| 2026-03-04 20:57:50 +0100 | <geekosaur> | it's shared. but it's not ghci |
| 2026-03-04 20:57:24 +0100 | <aka_dude> | Trying to play with the bot... Is the GHCi session not shared? |
| 2026-03-04 20:57:24 +0100 | DetourNe- | DetourNetworkUK |
| 2026-03-04 20:57:02 +0100 | <lambdabot> | Variable not in scope: run :: (a2 -> c0) -> tVariable not in scope: push :: ... |
| 2026-03-04 20:57:01 +0100 | <aka_dude> | > run (push 1 . push 2 . binOp (+) . push 3 . binOp (*)) |
| 2026-03-04 20:56:58 +0100 | <aka_dude> | 🙄 |