Newest at the top
| 2025-01-16 06:59:45 +0100 | alp | (~alp@2001:861:8ca0:4940:e814:f100:32a:4db4) (Ping timeout: 248 seconds) |
| 2025-01-16 06:59:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-16 06:54:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 06:48:02 +0100 | tnt2 | tnt1 |
| 2025-01-16 06:48:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-16 06:47:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-16 06:47:34 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-01-16 06:46:19 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-16 06:46:03 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-01-16 06:43:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-16 06:42:59 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2025-01-16 06:39:38 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-16 06:39:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 06:39:24 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-16 06:35:52 +0100 | raym | (~ray@user/raym) raym |
| 2025-01-16 06:30:33 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-16 06:30:12 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-16 06:29:50 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-16 06:28:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 06:24:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 06:21:58 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-16 06:19:36 +0100 | <mauke> | then the rest boils down to tree conversion, not json parsing |
| 2025-01-16 06:19:22 +0100 | <mauke> | Square: I mean, you could use aeson to decode to Value |
| 2025-01-16 06:13:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-16 06:08:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 06:08:31 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-16 06:05:58 +0100 | <jackdk> | Is it fair to characterise the problem as "I want to provide a set of keys, whether or not the keys are optional, and the types of their expected value, and get a JSON deserialiser for an object with those keys"? |
| 2025-01-16 06:05:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-16 06:04:28 +0100 | <jackdk> | I'm sorry, I still don't really understand what I'm looking at. Is `Wrap a` meant to be a sum type? Is the universe of keys meant to be finite? |
| 2025-01-16 06:01:29 +0100 | CaptainSlog | (~user@67.237.174.60) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2025-01-16 05:57:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 05:57:33 +0100 | CaptainSlog | (~user@67.237.174.60) |
| 2025-01-16 05:51:09 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-01-16 05:49:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 05:37:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-16 05:31:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 05:28:37 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-16 05:23:40 +0100 | Guest20 | (~Guest71@2800:a4:10ef:7400:35a0:bf8a:5772:25a7) (Ping timeout: 240 seconds) |
| 2025-01-16 05:20:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 05:18:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-16 05:17:07 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-16 05:15:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 05:14:23 +0100 | <Square> | I guess the parser would use a "Output Box" where box would be the sumtype housing the listing of type I mentioned in the paste. That "Box" would need existential quantifican (+ Typeable) as the enums would be arbitrary. |
| 2025-01-16 05:12:21 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 276 seconds) |
| 2025-01-16 05:12:12 +0100 | <Square> | So I redifined my idea a bit, so ignore types mentioned in posts before the paste. |
| 2025-01-16 05:10:23 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-16 05:10:06 +0100 | <Square> | jackdk, Hope this makes sense https://paste.tomsmeding.com/dCXlspBC |
| 2025-01-16 05:05:24 +0100 | jzargo | (~jzargo@user/jzargo) jzargo |
| 2025-01-16 05:04:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 05:00:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |