Logs: liberachat/#haskell
| 2026-03-04 00:34:08 | <chromoblob> | i'm silly... |
| 2026-03-04 00:34:14 | <EvanR> | () is not a specialization of ([a] -> b) -> b |
| 2026-03-04 00:34:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 00:34:39 | <chromoblob> | i hoped it would print the actual type in the error message lol |
| 2026-03-04 00:35:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 00:36:40 | <chromoblob> | yin: i think a bit of both |
| 2026-03-04 00:37:06 | <chromoblob> | i'm too impatient, though :) |
| 2026-03-04 00:37:43 | <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 00:37:43 | <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 00:38:14 | <int-e> | I guess there's that (the type for the full example won't fit inside an IRC message) |
| 2026-03-04 00:38:57 | <chromoblob> | geekosaur: if we didn't care about computer reading programs, though, then it couldn't read them :ь |
| 2026-03-04 00:40:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 00:41:38 | → | fgarcia joins (~lei@user/fgarcia) |
| 2026-03-04 00:41:49 | <chromoblob> | i mean, parse and execute |
| 2026-03-04 00:41:51 | × | jtnuttall quits (~jeremy@user/jeremyn) (Ping timeout: 255 seconds) |
| 2026-03-04 00:42:00 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) |
| 2026-03-04 00:43:46 | <geekosaur> | but of we cared that much, we wouldn't thropw parsing torture tests such as Haskell and Perl at them 😛 |
| 2026-03-04 00:44:25 | <chromoblob> | who said it's a torture? |
| 2026-03-04 00:44:29 | <chromoblob> | it's a pleasure |
| 2026-03-04 00:44:43 | <chromoblob> | only torture for parser writers ;) |
| 2026-03-04 00:45:25 | <yin> | and parser readers |
| 2026-03-04 00:46:25 | <chromoblob> | write once, read never :) |
| 2026-03-04 00:47:09 | <chromoblob> | introducing a new memory type: writable and executable but not readable :p |
| 2026-03-04 00:48:13 | <yin> | AI intensifies |
| 2026-03-04 00:48:20 | <chromoblob> | oh: "once written, never read" |
| 2026-03-04 00:48:55 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-03-04 00:49:56 | × | xff0x quits (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 2026-03-04 00:50:04 | × | tmu quits (~tmu@71.227.230.155) (Ping timeout: 265 seconds) |
| 2026-03-04 00:50:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 00:51:27 | <geekosaur> | so, a warning message? 😛 |
| 2026-03-04 00:51:37 | <geekosaur> | (or far too many error messages…) |
| 2026-03-04 00:52:30 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 246 seconds) |
| 2026-03-04 00:57:29 | <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 00:57:30 | <lambdabot> | 9 |
| 2026-03-04 00:57:39 | <Leary> | It's much cooler with tuples than lists. :) |
| 2026-03-04 00:57:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 00:59:22 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) |
| 2026-03-04 01:02:47 | <yin> | the little haskeller |
| 2026-03-04 01:03:52 | <EvanR> | with nested tuples you can stash a variety of types on the "stack" ? |
| 2026-03-04 01:06:01 | <Leary> | Yeah. |
| 2026-03-04 01:06:34 | <yin> | :t ((), ((), ((), ()))) |
| 2026-03-04 01:06:34 | <lambdabot> | ((), ((), ((), ()))) |
| 2026-03-04 01:07:13 | <yin> | let x = (x,x) in x |
| 2026-03-04 01:07:16 | <yin> | > let x = (x,x) in x |
| 2026-03-04 01:07:17 | <lambdabot> | Couldn't match expected type ‘b1’ with actual type ‘(a1, b1)’ |
| 2026-03-04 01:07:18 | <lambdabot> | ‘b1’ is a rigid type variable bound by |
| 2026-03-04 01:07:18 | <lambdabot> | the inferred type of x :: (a1, b1) |
| 2026-03-04 01:07:36 | <yin> | shame |
| 2026-03-04 01:08:17 | <EvanR> | did you try to make an infinite tuple with an infinite type |
| 2026-03-04 01:08:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 01:09:08 | <Leary> | @let newtype T = MkT (T, T) deriving Show |
| 2026-03-04 01:09:09 | <lambdabot> | Defined. |
| 2026-03-04 01:09:17 | <Leary> | > let x = MkT (x, x) in x |
| 2026-03-04 01:09:17 | <EvanR> | it used to actually report something about infinite types |
| 2026-03-04 01:09:18 | <lambdabot> | MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (M... |
| 2026-03-04 01:10:03 | <EvanR> | newtype to the rescue |
| 2026-03-04 01:10:24 | <yin> | Leary: \o/ |
| 2026-03-04 01:13:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 01:15:44 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 01:19:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 01:19:58 | → | jtnuttall joins (~jeremy@user/jeremyn) |
| 2026-03-04 01:24:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 01:26:22 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) |
| 2026-03-04 01:29:24 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-04 01:32:18 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-04 01:33:20 | → | califax joins (~califax@user/califx) |
| 2026-03-04 01:34:01 | × | tremon quits (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-04 01:34:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 01:38:39 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 01:38:50 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-04 01:39:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 01:40:22 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-04 01:41:31 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-04 01:41:59 | × | Guest913 quits (bnc4free@here.and.ready-to.party) (Changing host) |
| 2026-03-04 01:41:59 | → | Guest913 joins (bnc4free@user/jinsun) |
| 2026-03-04 01:41:59 | Guest913 | is now known as jinsun |
| 2026-03-04 01:45:00 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-03-04 01:50:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 01:55:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-04 01:55:43 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-04 01:58:10 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-03-04 02:01:31 | × | jtnuttall quits (~jeremy@user/jeremyn) (Ping timeout: 264 seconds) |
| 2026-03-04 02:06:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 02:11:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 02:14:52 | → | aaronv joins (~aaron@2601:602:8d00:c320:fa05:ec22:dea5:5e61) |
| 2026-03-04 02:20:48 | → | mange joins (~mange@user/mange) |
| 2026-03-04 02:21:03 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-04 02:21:05 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2026-03-04 02:21:19 | → | califax joins (~califax@user/califx) |
| 2026-03-04 02:22:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 02:27:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 02:30:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-03-04 02:32:36 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-03-04 02:36:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-04 02:43:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 02:45:38 | × | u0_a2162 quits (~molidae@223.187.121.211) (Ping timeout: 248 seconds) |
| 2026-03-04 02:46:59 | × | aaronv quits (~aaron@2601:602:8d00:c320:fa05:ec22:dea5:5e61) (Ping timeout: 245 seconds) |
| 2026-03-04 02:47:47 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-04 02:50:56 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-04 02:50:59 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
All times are in UTC.