Newest at the top
| 2026-03-04 02:07:18 +0100 | <lambdabot> | the inferred type of x :: (a1, b1) |
| 2026-03-04 02:07:18 +0100 | <lambdabot> | ‘b1’ is a rigid type variable bound by |
| 2026-03-04 02:07:17 +0100 | <lambdabot> | Couldn't match expected type ‘b1’ with actual type ‘(a1, b1)’ |
| 2026-03-04 02:07:16 +0100 | <yin> | > let x = (x,x) in x |
| 2026-03-04 02:07:13 +0100 | <yin> | let x = (x,x) in x |
| 2026-03-04 02:06:34 +0100 | <lambdabot> | ((), ((), ((), ()))) |
| 2026-03-04 02:06:34 +0100 | <yin> | :t ((), ((), ((), ()))) |
| 2026-03-04 02:06:01 +0100 | <Leary> | Yeah. |
| 2026-03-04 02:03:52 +0100 | <EvanR> | with nested tuples you can stash a variety of types on the "stack" ? |
| 2026-03-04 02:02:47 +0100 | <yin> | the little haskeller |
| 2026-03-04 01:59:22 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 01:57:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 01:57:39 +0100 | <Leary> | It's much cooler with tuples than lists. :) |
| 2026-03-04 01:57:30 +0100 | <lambdabot> | 9 |
| 2026-03-04 01:57:29 +0100 | <Leary> | > let start = \k -> k (); push s x = \k -> k (x, s); apply (f, (x, s)) = \k -> k (f x, s); end (x, ()) = x in start push 1 push 2 push (+) apply apply push 3 push (*) apply apply end |
| 2026-03-04 01:52:30 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 246 seconds) |
| 2026-03-04 01:51:37 +0100 | <geekosaur> | (or far too many error messages…) |
| 2026-03-04 01:51:27 +0100 | <geekosaur> | so, a warning message? 😛 |
| 2026-03-04 01:50:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 01:50:04 +0100 | tmu | (~tmu@71.227.230.155) (Ping timeout: 265 seconds) |
| 2026-03-04 01:49:56 +0100 | xff0x | (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 2026-03-04 01:48:55 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-03-04 01:48:20 +0100 | <chromoblob> | oh: "once written, never read" |
| 2026-03-04 01:48:13 +0100 | <yin> | AI intensifies |
| 2026-03-04 01:47:09 +0100 | <chromoblob> | introducing a new memory type: writable and executable but not readable :p |
| 2026-03-04 01:46:25 +0100 | <chromoblob> | write once, read never :) |
| 2026-03-04 01:45:25 +0100 | <yin> | and parser readers |
| 2026-03-04 01:44:43 +0100 | <chromoblob> | only torture for parser writers ;) |
| 2026-03-04 01:44:29 +0100 | <chromoblob> | it's a pleasure |
| 2026-03-04 01:44:25 +0100 | <chromoblob> | who said it's a torture? |
| 2026-03-04 01:43:46 +0100 | <geekosaur> | but of we cared that much, we wouldn't thropw parsing torture tests such as Haskell and Perl at them 😛 |
| 2026-03-04 01:42:00 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 01:41:51 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 255 seconds) |
| 2026-03-04 01:41:49 +0100 | <chromoblob> | i mean, parse and execute |
| 2026-03-04 01:41:38 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-03-04 01:40:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 01:38:57 +0100 | <chromoblob> | geekosaur: if we didn't care about computer reading programs, though, then it couldn't read them :ь |
| 2026-03-04 01:38:14 +0100 | <int-e> | I guess there's that (the type for the full example won't fit inside an IRC message) |
| 2026-03-04 01:37:43 +0100 | <yahb2> | \f -> let start c = c []; push z x c = c (x:z); end z = z in (start `asTypeOf` f) push 1 end ; :: Num t => ; (([t] -> t -> ([t] -> [t]) -> [t]) -> t -> ([t] -> [t]) -> [t]) ; -> [t] |
| 2026-03-04 01:37:43 +0100 | <int-e> | % :t \f -> let start c = c []; push z x c = c (x:z); end z = z in (start `asTypeOf` f) push 1 end |
| 2026-03-04 01:37:06 +0100 | <chromoblob> | i'm too impatient, though :) |
| 2026-03-04 01:36:40 +0100 | <chromoblob> | yin: i think a bit of both |
| 2026-03-04 01:35:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 01:34:39 +0100 | <chromoblob> | i hoped it would print the actual type in the error message lol |
| 2026-03-04 01:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 01:34:14 +0100 | <EvanR> | () is not a specialization of ([a] -> b) -> b |
| 2026-03-04 01:34:08 +0100 | <chromoblob> | i'm silly... |
| 2026-03-04 01:33:53 +0100 | <lambdabot> | Probable cause: ‘start’ is applied to too few arguments |
| 2026-03-04 01:33:53 +0100 | <lambdabot> | with actual type ‘([a0] -> t0) -> t0’ |
| 2026-03-04 01:33:53 +0100 | <lambdabot> | Couldn't match expected type ‘()’ |