Newest at the top
| 2026-03-04 21:38:20 +0100 | <monochrom> | On the bright side, "@define x=0" is auto-corrected to "@undefine" so it is like the data structure that supports only delete. >:) |
| 2026-03-04 21:37:06 +0100 | <monochrom> | :( |
| 2026-03-04 21:37:02 +0100 | <lambdabot> | error: [GHC-88464] Variable not in scope: ego |
| 2026-03-04 21:37:01 +0100 | <int-e> | :t ego |
| 2026-03-04 21:36:59 +0100 | <lambdabot> | Undefined. |
| 2026-03-04 21:36:59 +0100 | <int-e> | @undef |
| 2026-03-04 21:36:18 +0100 | <monochrom> | :) |
| 2026-03-04 21:36:14 +0100 | <lambdabot> | *Exception: <<timeout>> |
| 2026-03-04 21:36:06 +0100 | <monochrom> | > ego 5 |
| 2026-03-04 21:33:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 21:32:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-04 21:31:49 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-03-04 21:30:01 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds) |
| 2026-03-04 21:29:04 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-03-04 21:28:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:28:00 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 264 seconds) |
| 2026-03-04 21:22:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 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 |