Newest at the top
| 2026-03-04 02:45:00 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-04 02:41:59 +0100 | Guest913 | jinsun |
| 2026-03-04 02:41:59 +0100 | Guest913 | (bnc4free@user/jinsun) jinsun |
| 2026-03-04 02:41:59 +0100 | Guest913 | (bnc4free@here.and.ready-to.party) (Changing host) |
| 2026-03-04 02:41:31 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-04 02:40:22 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-04 02:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:38:50 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-04 02:38:39 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 02:34:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:34:01 +0100 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-04 02:33:20 +0100 | califax | (~califax@user/califx) califx |
| 2026-03-04 02:32:18 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-04 02:29:24 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-04 02:26:22 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 02:24:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:19:58 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-04 02:19:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:15:44 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 02:13:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:10:24 +0100 | <yin> | Leary: \o/ |
| 2026-03-04 02:10:03 +0100 | <EvanR> | newtype to the rescue |
| 2026-03-04 02:09:18 +0100 | <lambdabot> | MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (M... |
| 2026-03-04 02:09:17 +0100 | <EvanR> | it used to actually report something about infinite types |
| 2026-03-04 02:09:17 +0100 | <Leary> | > let x = MkT (x, x) in x |
| 2026-03-04 02:09:09 +0100 | <lambdabot> | Defined. |
| 2026-03-04 02:09:08 +0100 | <Leary> | @let newtype T = MkT (T, T) deriving Show |
| 2026-03-04 02:08:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:08:17 +0100 | <EvanR> | did you try to make an infinite tuple with an infinite type |
| 2026-03-04 02:07:36 +0100 | <yin> | shame |
| 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) |