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 +0000 | jgee242 | (~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 +0000 | jayanth | (~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 +0000 | mauke | (~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 +0000 | preflex | (~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 +0000 | preflex | (~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 +0000 | mauke | (~mauke@user/mauke) (Remote host closed the connection) |
| 2026-06-17 14:16:40 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2026-06-17 14:15:55 +0000 | noctux | (~noctux@user/noctux) (Ping timeout: 264 seconds) |
| 2026-06-17 13:44:03 +0000 | Axma13884 | (~Axman6@user/axman6) (Ping timeout: 253 seconds) |
| 2026-06-17 13:43:33 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-17 13:41:58 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-17 13:36:34 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-06-17 13:30:55 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2026-06-17 13:18:16 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-17 13:06:38 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-06-17 12:57:10 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-17 12:55:20 +0000 | Axma13884 | (~Axman6@user/axman6) Axman6 |
| 2026-06-17 12:50:21 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-06-17 12:45:39 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-06-17 12:45:39 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-06-17 12:45:39 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-06-17 12:44:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9325:142:ba38:e294) |
| 2026-06-17 12:41:24 +0000 | xff0x | (~xff0x@2405:6580:b080:900:cd58:b179:e216:1b68) (Quit: xff0x) |
| 2026-06-17 12:40:11 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon |
| 2026-06-17 12:25:50 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-06-17 12:20:12 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |