Newest at the top
| 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> | 🙄 |
| 2026-03-04 20:56:56 +0100 | <Clint> | what are you trying to do? |
| 2026-03-04 20:56:43 +0100 | <aka_dude> | run (push 1 . push 2 . binOp (+) . push 3 . binOp (*)) |
| 2026-03-04 20:56:17 +0100 | <aka_dude> | uh huh |
| 2026-03-04 20:56:08 +0100 | <aka_dude> | :let binOp f = push f . apply . apply |
| 2026-03-04 20:56:08 +0100 | Digitteknohippie | Digit |
| 2026-03-04 20:55:47 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-03-04 20:55:46 +0100 | <aka_dude> | > :let binOp f = push f . apply . apply |
| 2026-03-04 20:55:36 +0100 | <lambdabot> | not an expression: ‘let binOp f = push f . apply . apply’ |
| 2026-03-04 20:55:35 +0100 | <aka_dude> | > let binOp f = push f . apply . apply |
| 2026-03-04 20:55:12 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-04 20:55:05 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-04 20:54:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 20:54:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |