| 2026-04-18 00:01:17 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-18 00:02:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-18 00:05:00 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 00:09:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 00:09:58 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 265 seconds) |
| 2026-04-18 00:14:30 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-18 00:14:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 00:15:45 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-18 00:18:20 +0000 | Googulator95 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-18 00:18:25 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-18 00:25:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 00:26:49 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-18 00:32:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-18 00:36:13 +0000 | vols | (~vols@user/vols) vols |
| 2026-04-18 00:38:44 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 00:39:52 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-18 00:42:58 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-18 00:43:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 00:45:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 00:48:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 00:51:59 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e514d29093b409f92ccc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-18 00:57:54 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 00:58:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:02:42 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 256 seconds) |
| 2026-04-18 01:03:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 01:15:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:20:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 01:23:05 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 01:27:33 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-18 01:31:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:36:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 01:43:56 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 01:44:20 +0000 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Ping timeout: 245 seconds) |
| 2026-04-18 01:46:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:48:05 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-18 01:49:36 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-18 01:50:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 01:50:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 01:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 01:57:54 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2026-04-18 02:02:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:04:58 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-18 02:06:43 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 02:08:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 02:14:04 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 276 seconds) |
| 2026-04-18 02:18:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 02:18:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 02:20:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:22:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 02:23:38 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-18 02:24:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 02:24:26 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-04-18 02:24:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 02:26:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 02:28:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 02:30:27 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-18 02:32:28 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 02:35:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:40:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-18 02:41:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-18 02:48:33 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-18 02:50:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:55:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-18 03:00:02 +0000 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-04-18 03:05:00 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-04-18 03:06:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:09:27 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 03:10:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 03:12:37 +0000 | vols | (~vols@user/vols) (Quit: ~) |
| 2026-04-18 03:21:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:26:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 03:27:05 +0000 | Googulator95 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-18 03:27:10 +0000 | Googulator84 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-18 03:30:34 +0000 | Googulator84 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Client Quit) |
| 2026-04-18 03:31:00 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 03:36:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:39:53 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 03:40:26 +0000 | xal | (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 2026-04-18 03:41:39 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-18 03:43:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 03:45:30 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 03:50:07 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2026-04-18 03:51:40 +0000 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-04-18 03:55:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:59:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 04:06:06 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 04:08:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) (Ping timeout: 244 seconds) |
| 2026-04-18 04:09:18 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 04:10:15 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-18 04:10:18 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 04:10:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 04:12:54 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-04-18 04:16:24 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) |
| 2026-04-18 04:18:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 04:18:55 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 04:29:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 04:31:08 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-18 04:33:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 04:34:27 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-04-18 04:34:27 +0000 | polykernel_ | polykernel |
| 2026-04-18 04:42:08 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 04:44:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 04:46:39 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2026-04-18 04:49:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 04:58:41 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-18 05:00:18 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-18 05:00:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:02:11 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 05:04:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 05:06:54 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2026-04-18 05:09:21 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 05:13:44 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 256 seconds) |
| 2026-04-18 05:15:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:22:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 05:33:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:38:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 05:43:28 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 05:48:18 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 05:49:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:54:00 +0000 | <haskellbridge> | <maerwald> kinda confused to learn that Dhall doesn't have text equality... |
| 2026-04-18 05:54:11 +0000 | <haskellbridge> | <maerwald> but Natural/Integer equality. What's the difference lol |
| 2026-04-18 05:54:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-18 05:57:28 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 06:04:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:09:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 06:15:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:19:01 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-18 06:19:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-18 06:22:32 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 06:29:40 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-04-18 06:30:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:33:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-18 06:35:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 06:41:47 +0000 | <haskellbridge> | <maerwald> Maybe should give Nickel a try |
| 2026-04-18 06:46:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:47:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 06:47:31 +0000 | mags_ | (~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net) |
| 2026-04-18 06:47:57 +0000 | <mags_> | quit |
| 2026-04-18 06:48:00 +0000 | <mags_> | oops |
| 2026-04-18 06:48:01 +0000 | mags_ | (~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net) (Client Quit) |
| 2026-04-18 06:50:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 06:54:55 +0000 | pyook | (~puke@user/puke) puke |
| 2026-04-18 06:54:56 +0000 | puke | Guest8632 |
| 2026-04-18 06:54:56 +0000 | pyook | puke |
| 2026-04-18 06:55:06 +0000 | Guest8632 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-18 07:01:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:02:37 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2026-04-18 07:03:07 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2026-04-18 07:04:46 +0000 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:08:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-18 07:09:16 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:11:59 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@95.179.128.10) |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:14:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-18 07:14:12 +0000 | <gentauro> | maerwald: so you can't compare strings? |
| 2026-04-18 07:14:22 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 276 seconds) |
| 2026-04-18 07:16:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:20:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 07:21:20 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-18 07:21:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-18 07:24:16 +0000 | Logio | (em@kapsi.fi) (Quit: Lost terminal) |
| 2026-04-18 07:28:22 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:29:30 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@95.179.128.10) |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:29:55 +0000 | <haskellbridge> | <maerwald> yes |
| 2026-04-18 07:31:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:32:34 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 248 seconds) |
| 2026-04-18 07:36:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 07:36:26 +0000 | <yushyin> | afair, that was a deliberate design decision |
| 2026-04-18 07:36:39 +0000 | <yushyin> | "The main reason for forbidding Text equality comparisons is to prevent people from parsing Text values at all, in order to encourage them to use more structured data types instead." -- https://github.com/dhall-lang/dhall-haskell/issues/72#issuecomment-309074784 |
| 2026-04-18 07:37:04 +0000 | <yushyin> | whether this is sensible or not is beyond my expertise :D |
| 2026-04-18 07:38:40 +0000 | <haskellbridge> | <maerwald> that makes no sense |
| 2026-04-18 07:39:12 +0000 | <haskellbridge> | <maerwald> because I can hack around it by encoding sum types as integers and doing equality checks on them |
| 2026-04-18 07:39:57 +0000 | <haskellbridge> | <maerwald> it's just that everything looks horrible |
| 2026-04-18 07:40:20 +0000 | <haskellbridge> | <ozkutuk> Dhall provides extension points to introduce your own built-ins, so if you are using Dhall as a library, you can extend it to add a Text/equal built-in |
| 2026-04-18 07:40:35 +0000 | <haskellbridge> | <ozkutuk> docs have an example: https://hackage-content.haskell.org/package/dhall-1.42.3/docs/Dhall-Tutorial.html#g:23 |
| 2026-04-18 07:41:06 +0000 | <haskellbridge> | <maerwald> aha, now I have to fork dhall? |
| 2026-04-18 07:42:55 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-04-18 07:43:03 +0000 | <haskellbridge> | <ozkutuk> no fork needed, you write your custom normalizer in your application code and pass it as an argument to the Dhall library functions rather than using the implicit default one |
| 2026-04-18 07:43:45 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-04-18 07:43:45 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-04-18 07:43:45 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:44:38 +0000 | <haskellbridge> | <ozkutuk> Say, you use "Dhall.inputWithSettings <yourSettings>", rather than "Dhall.input" |
| 2026-04-18 07:44:50 +0000 | <haskellbridge> | <maerwald> What application code? I want to use it to generate yaml. Now everyone who wants to use my config has to build their own dhall binary. |
| 2026-04-18 07:47:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:48:38 +0000 | <haskellbridge> | <ozkutuk> Ah, I see. This solution assumed you are using Dhall in your application to parse config, hence I qualified my initial response with "if you are using Dhall as a library" |
| 2026-04-18 07:48:52 +0000 | <haskellbridge> | <ozkutuk> In your case I don't think there is much you can do |
| 2026-04-18 07:49:19 +0000 | <haskellbridge> | <maerwald> Also, the Map interface... oh dear |
| 2026-04-18 07:49:50 +0000 | <haskellbridge> | <maerwald> keys have to be text (but guess what... you can't compare text, lol)... |
| 2026-04-18 07:49:56 +0000 | <haskellbridge> | <maerwald> you can't do lookup even |
| 2026-04-18 07:50:30 +0000 | <haskellbridge> | <maerwald> no sensible way to do updates (e.g. to do deeply nested merges) |
| 2026-04-18 07:51:54 +0000 | <haskellbridge> | <maerwald> it seems the only value it brings is a little bit of string interpolation... and that's all |
| 2026-04-18 07:52:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) (Ping timeout: 244 seconds) |
| 2026-04-18 07:52:52 +0000 | <haskellbridge> | <maerwald> using functions like fold/map with all the verbose type annotations looks super confusing too |
| 2026-04-18 07:53:42 +0000 | xff0x | (~xff0x@2405:6580:b080:900:73ce:e440:32fb:1d76) |
| 2026-04-18 07:56:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 07:57:29 +0000 | <haskellbridge> | <ozkutuk> maerwald: yeah this gets annoying super fast. There is a function to do function composition ("compose"), but it is pretty much useless because you need to explicitly provide the type of both sides and also the return type... |
| 2026-04-18 08:00:32 +0000 | <haskellbridge> | <maerwald> What I'm trying to do is to have a flat description of data that gets turned into a deeply nested map... but you have to handle value updates for collisions |
| 2026-04-18 08:00:49 +0000 | <haskellbridge> | <maerwald> I don't need a turing complete language for that |
| 2026-04-18 08:01:19 +0000 | <haskellbridge> | <ozkutuk> maerwald: I am confused by this though, the Prelude functions seem to be general over the key type? |
| 2026-04-18 08:04:32 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 08:11:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds) |
| 2026-04-18 08:11:24 +0000 | <haskellbridge> | <maerwald> hm, maybe I did something wrong then |
| 2026-04-18 08:12:49 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-18 08:13:28 +0000 | <haskellbridge> | <maerwald> Error: Wrong type of function argument |
| 2026-04-18 08:13:28 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uAHVWSKXlolUhvmlYrnhpPBa/dt9xjbb6wZM (3 lines) |
| 2026-04-18 08:13:40 +0000 | <haskellbridge> | <maerwald> This is what I get when using "keyValue" with a sum type |
| 2026-04-18 08:13:46 +0000 | <haskellbridge> | <maerwald> so it seems to expect Text |
| 2026-04-18 08:14:32 +0000 | <haskellbridge> | <maerwald> https://store.dhall-lang.org/Prelude-v23.1.0/Map/keyValue.dhall.html |
| 2026-04-18 08:14:35 +0000 | <haskellbridge> | <maerwald> yes it expects Text |
| 2026-04-18 08:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 08:23:52 +0000 | <haskellbridge> | <maerwald> you can create a record "{ mapKey = SomeUnionType, mapValue = "foo" }" but it seems it won't recognize it as an actual Map then |
| 2026-04-18 08:27:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-18 08:27:43 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 08:30:11 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5141894a807bc2030f5.dip0.t-ipconnect.de) |
| 2026-04-18 08:30:42 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-18 08:32:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:36:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 08:36:44 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:39:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 08:41:12 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 08:50:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:51:08 +0000 | <gentauro> | yushyin: :o |
| 2026-04-18 08:55:19 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 08:55:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-18 08:55:26 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:57:29 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-04-18 08:57:54 +0000 | raelie | (~raelie@user/raelie) raelie |
| 2026-04-18 09:00:11 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 09:06:08 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-18 09:09:10 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 09:10:27 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-18 09:11:17 +0000 | cawfee | (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.8.1) |
| 2026-04-18 09:11:34 +0000 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
| 2026-04-18 09:18:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 09:18:53 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 09:21:41 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 09:22:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 09:25:51 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 09:33:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 09:35:17 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 09:37:52 +0000 | PickChea | (~PickChea@user/pickchea) Pickchea |
| 2026-04-18 09:38:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 09:45:26 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-18 09:49:06 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-18 09:50:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 09:52:54 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-18 09:53:13 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e506416acdcc27bf5aca.dip0.t-ipconnect.de) acidjnk |
| 2026-04-18 09:53:33 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-18 09:56:40 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-18 09:56:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5141894a807bc2030f5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-18 09:56:55 +0000 | Guest62 | (~Guest62@p200300ca8f0fd6005fc48170fd0a94cd.dip0.t-ipconnect.de) |