Newest at the top
2024-07-07 11:16:22 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
2024-07-07 11:16:14 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) (Remote host closed the connection) |
2024-07-07 11:13:19 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 272 seconds) |
2024-07-07 11:07:11 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
2024-07-07 11:04:53 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-07-07 11:04:17 +0200 | destituion | (~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5) (Ping timeout: 268 seconds) |
2024-07-07 10:58:02 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
2024-07-07 10:57:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-07-07 10:52:48 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
2024-07-07 10:48:25 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 10:35:49 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-07 10:35:32 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-07 10:35:14 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
2024-07-07 10:35:05 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-07-07 10:33:45 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-07 10:30:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-07-07 10:30:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-07-07 10:25:31 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-07 10:24:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-07 10:20:12 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2024-07-07 10:09:53 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 10:09:53 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 10:09:53 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 09:30:10 +0200 | sprout | (~quassel@2a02-a448-3a80-0-45f5-cd70-d2c3-af5d.fixed6.kpn.net) |
2024-07-07 09:29:15 +0200 | sprout | (~quassel@2a02-a448-3a80-0-6981-debe-91f4-8f74.fixed6.kpn.net) (Ping timeout: 256 seconds) |
2024-07-07 09:25:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-07 09:25:34 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-07 09:23:20 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
2024-07-07 09:22:18 +0200 | rosco | (~rosco@175.136.155.137) |
2024-07-07 09:21:35 +0200 | lewisje | (~lewisje@74.215.19.22) |
2024-07-07 09:21:08 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
2024-07-07 09:19:46 +0200 | lewisje | (~lewisje@74.215.19.22) (Read error: Connection reset by peer) |
2024-07-07 09:04:45 +0200 | qqe | (~qqq@92.43.167.61) (Remote host closed the connection) |
2024-07-07 09:04:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb1245269f140bd925b3.dip0.t-ipconnect.de) |
2024-07-07 09:03:07 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
2024-07-07 09:01:00 +0200 | <tomsmeding> | the structure is sufficiently simple, and the metadata is sufficiently wordy, that you probably almost need no documentation at all any more at that point (if you're conversant with -XDataKinds) |
2024-07-07 09:00:29 +0200 | <tomsmeding> | and seeing what comes out |
2024-07-07 09:00:26 +0200 | <tomsmeding> | my favourite method for getting familiar with what GHC.Generics really does, is doing `:k! Rep T` on some data types T in ghci, and doing `from x` for some values x |
2024-07-07 09:00:07 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-07-07 08:58:31 +0200 | <tomsmeding> | whether you use this to take, transform, or produce data is up to you |
2024-07-07 08:58:05 +0200 | <tomsmeding> | essentially what it gives you is a normalised kind-of-sum-of-products (but not quite) representation of a data _type_, with some additional metadata on the type level; people typically induct on this type-level structure using a type class |
2024-07-07 08:56:49 +0200 | <tomsmeding> | hololeap: GHC.Generics has both `from` _and_ `to` ;) |
2024-07-07 08:38:10 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
2024-07-07 08:33:11 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2024-07-07 08:28:07 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
2024-07-07 08:23:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-07-07 08:19:25 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-07-07 08:18:26 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-07-07 08:16:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-07-07 08:09:00 +0200 | phma | (phma@2001:5b0:212a:e8b8:9807:a029:7b5e:a865) |