Newest at the top
| 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) |
| 2024-07-07 08:07:56 +0200 | phma | (~phma@host-67-44-208-74.hnremote.net) (Read error: Connection reset by peer) |
| 2024-07-07 08:01:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 07:59:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-07 07:53:55 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 07:53:39 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 264 seconds) |
| 2024-07-07 07:52:35 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 260 seconds) |
| 2024-07-07 07:46:43 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2024-07-07 07:45:52 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-07-07 07:45:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-07 07:44:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-07 07:28:44 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-07-07 07:24:58 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Quit: dysthesis) |
| 2024-07-07 07:23:34 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 07:22:12 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 255 seconds) |
| 2024-07-07 07:19:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 07:11:27 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
| 2024-07-07 07:07:01 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 07:06:15 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 268 seconds) |
| 2024-07-07 06:52:40 +0200 | Abaddon | (~Apollyon@user/Apollyon) (Ping timeout: 268 seconds) |
| 2024-07-07 06:46:39 +0200 | pavonia | (~user@user/siracusa) |