2026/06/17

Newest at the top

2026-06-17 14:37:41 +0000 <davean> vms14: why did you think you'd need template haskell and boilerplate wrapping and unwrapping?
2026-06-17 14:37:37 +0000 <vms14> also the book is relatively short, 200 pages
2026-06-17 14:36:51 +0000 <vms14> jaror: there is a section in that book about gadts and right after it heterogeneous lists in page 55
2026-06-17 14:31:35 +0000 <vms14> i thought i would have to rely on template haskell to generate boilerplate code for wrapping and unwrapping
2026-06-17 14:31:23 +0000 <lambdabot> IO ()
2026-06-17 14:31:22 +0000 <mauke> :t interact $ unlines . words
2026-06-17 14:28:26 +0000 <merijn> vms14: They're neat tricks that (when used with some restraint) can help a lot, but easier to wrap your head around when simpler stuff is more natural
2026-06-17 14:25:58 +0000 <vms14> thing*
2026-06-17 14:25:49 +0000 <vms14> the only think i can do is a hello world xde
2026-06-17 14:25:17 +0000 <vms14> i was considering that book because i thought mastering the type system of haskell would be good, but i am also impatient to start doing things with haskell
2026-06-17 14:23:27 +0000 <jaror> https://thinkingwithtypes.com/
2026-06-17 14:23:25 +0000 <jaror> I haven't read it but maybe Sandy Maguire's "thinking with types" covers this?
2026-06-17 14:22:31 +0000 <jaror> To be able to use lists at the type level
2026-06-17 14:22:09 +0000 <jaror> You also need DataKinds
2026-06-17 14:21:57 +0000 <vms14> ty
2026-06-17 14:21:44 +0000jgee242(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net)
2026-06-17 14:21:37 +0000 <vms14> but seems to be what i want
2026-06-17 14:21:25 +0000 <vms14> i've read gadts many times but ignored it like "that will come later"
2026-06-17 14:21:18 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (#haskell)
2026-06-17 14:21:06 +0000 <vms14> yeah i was asking google ai xd
2026-06-17 14:21:00 +0000 <vms14> Generalised Algebraic Data Types
2026-06-17 14:20:17 +0000mauke(~mauke@user/mauke) mauke
2026-06-17 14:20:11 +0000 <merijn> vms14: Because it's not really introductory level, since you need either GADTs or ExistentialQuantification extension :)
2026-06-17 14:19:45 +0000preflex(~preflex@user/mauke/bot/preflex) preflex
2026-06-17 14:18:09 +0000 <vms14> where can i read about this? i didn't see that in introductory books
2026-06-17 14:17:43 +0000 <vms14> sorry i fell asleep yesterday
2026-06-17 14:17:32 +0000 <vms14> seens to be exactly what i wanted though
2026-06-17 14:17:31 +0000preflex(~preflex@user/mauke/bot/preflex) (Read error: Connection reset by peer)
2026-06-17 14:17:17 +0000 <vms14> Leary: :0 that's awesome, but i do not understand it
2026-06-17 14:16:43 +0000mauke(~mauke@user/mauke) (Remote host closed the connection)
2026-06-17 14:16:40 +0000noctux(~noctux@user/noctux) noctux
2026-06-17 14:15:55 +0000noctux(~noctux@user/noctux) (Ping timeout: 264 seconds)
2026-06-17 13:44:03 +0000Axma13884(~Axman6@user/axman6) (Ping timeout: 253 seconds)
2026-06-17 13:43:33 +0000nyc(~nyc@user/nyc) nyc
2026-06-17 13:41:58 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-17 13:36:34 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-06-17 13:30:55 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2026-06-17 13:18:16 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net)
2026-06-17 13:06:38 +0000rekahsoft(~rekahsoft@70.51.99.119) rekahsoft
2026-06-17 12:57:10 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-17 12:55:20 +0000Axma13884(~Axman6@user/axman6) Axman6
2026-06-17 12:50:21 +0000puke(~puke@user/puke) (Quit: puke)
2026-06-17 12:45:39 +0000haritz(~hrtz@user/haritz) haritz
2026-06-17 12:45:39 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2026-06-17 12:45:39 +0000haritz(~hrtz@140.228.70.141)
2026-06-17 12:44:49 +0000xff0x(~xff0x@2405:6580:b080:900:9325:142:ba38:e294)
2026-06-17 12:41:24 +0000xff0x(~xff0x@2405:6580:b080:900:cd58:b179:e216:1b68) (Quit: xff0x)
2026-06-17 12:40:11 +0000tremon(~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon
2026-06-17 12:25:50 +0000euphores(~SASL_euph@user/euphores) euphores
2026-06-17 12:20:12 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur