Logs: liberachat/#haskell
| 2026-04-18 07:03:07 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2026-04-18 07:04:46 | × | _0xa_ quits (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2026-04-18 07:05:00 | → | _0xa joins (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-04-18 07:05:00 | × | _0xa quits (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-04-18 07:05:00 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 2026-04-18 07:08:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-18 07:09:16 | → | uli-fem joins (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:11:59 | × | _0xa quits (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:12:49 | → | _0xa joins (~user@95.179.128.10) |
| 2026-04-18 07:12:49 | × | _0xa quits (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:12:49 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 2026-04-18 07:14:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-18 07:14:12 | <gentauro> | maerwald: so you can't compare strings? |
| 2026-04-18 07:14:22 | × | uli-fem quits (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 276 seconds) |
| 2026-04-18 07:16:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 07:20:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 07:21:20 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-18 07:21:57 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-18 07:24:16 | × | Logio quits (em@kapsi.fi) (Quit: Lost terminal) |
| 2026-04-18 07:28:22 | → | uli-fem joins (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:29:30 | × | _0xa quits (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:29:47 | → | _0xa joins (~user@95.179.128.10) |
| 2026-04-18 07:29:47 | × | _0xa quits (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:29:47 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 2026-04-18 07:29:55 | <haskellbridge> | <maerwald> yes |
| 2026-04-18 07:31:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 07:32:34 | × | uli-fem quits (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 248 seconds) |
| 2026-04-18 07:36:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 07:36:26 | <yushyin> | afair, that was a deliberate design decision |
| 2026-04-18 07:36:39 | <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 | <yushyin> | whether this is sensible or not is beyond my expertise :D |
| 2026-04-18 07:38:40 | <haskellbridge> | <maerwald> that makes no sense |
| 2026-04-18 07:39:12 | <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 | <haskellbridge> | <maerwald> it's just that everything looks horrible |
| 2026-04-18 07:40:20 | <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 | <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 | <haskellbridge> | <maerwald> aha, now I have to fork dhall? |
| 2026-04-18 07:42:55 | × | _0xa quits (~user@user/0xa/x-3134607) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-04-18 07:43:03 | <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 | → | _0xa joins (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-04-18 07:43:45 | × | _0xa quits (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-04-18 07:43:45 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 2026-04-18 07:44:38 | <haskellbridge> | <ozkutuk> Say, you use "Dhall.inputWithSettings <yourSettings>", rather than "Dhall.input" |
| 2026-04-18 07:44:50 | <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 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 07:48:38 | <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 | <haskellbridge> | <ozkutuk> In your case I don't think there is much you can do |
| 2026-04-18 07:49:19 | <haskellbridge> | <maerwald> Also, the Map interface... oh dear |
| 2026-04-18 07:49:50 | <haskellbridge> | <maerwald> keys have to be text (but guess what... you can't compare text, lol)... |
| 2026-04-18 07:49:56 | <haskellbridge> | <maerwald> you can't do lookup even |
| 2026-04-18 07:50:30 | <haskellbridge> | <maerwald> no sensible way to do updates (e.g. to do deeply nested merges) |
| 2026-04-18 07:51:54 | <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 | × | xff0x quits (~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) (Ping timeout: 244 seconds) |
| 2026-04-18 07:52:52 | <haskellbridge> | <maerwald> using functions like fold/map with all the verbose type annotations looks super confusing too |
| 2026-04-18 07:53:42 | → | xff0x joins (~xff0x@2405:6580:b080:900:73ce:e440:32fb:1d76) |
| 2026-04-18 07:56:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 07:57:29 | <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 | <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 | <haskellbridge> | <maerwald> I don't need a turing complete language for that |
| 2026-04-18 08:01:19 | <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 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-04-18 08:11:03 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds) |
| 2026-04-18 08:11:24 | <haskellbridge> | <maerwald> hm, maybe I did something wrong then |
| 2026-04-18 08:12:49 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2026-04-18 08:13:28 | <haskellbridge> | <maerwald> Error: Wrong type of function argument |
| 2026-04-18 08:13:28 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uAHVWSKXlolUhvmlYrnhpPBa/dt9xjbb6wZM (3 lines) |
| 2026-04-18 08:13:40 | <haskellbridge> | <maerwald> This is what I get when using "keyValue" with a sum type |
| 2026-04-18 08:13:46 | <haskellbridge> | <maerwald> so it seems to expect Text |
| 2026-04-18 08:14:32 | <haskellbridge> | <maerwald> https://store.dhall-lang.org/Prelude-v23.1.0/Map/keyValue.dhall.html |
| 2026-04-18 08:14:35 | <haskellbridge> | <maerwald> yes it expects Text |
| 2026-04-18 08:17:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 08:21:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 08:23:52 | <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 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-18 08:27:43 | × | tromp quits (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 08:30:11 | → | acidjnk_new joins (~acidjnk@p200300d6e700e5141894a807bc2030f5.dip0.t-ipconnect.de) |
| 2026-04-18 08:30:42 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-18 08:32:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 08:36:11 | → | tromp joins (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 08:36:44 | → | uli-fem joins (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:39:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 08:41:12 | × | uli-fem quits (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 08:50:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 08:51:08 | <gentauro> | yushyin: :o |
| 2026-04-18 08:55:19 | → | puke joins (~puke@user/puke) |
| 2026-04-18 08:55:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-18 08:55:26 | → | uli-fem joins (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:57:29 | → | bggd joins (~bgg@user/bggd) |
| 2026-04-18 08:57:54 | → | raelie joins (~raelie@user/raelie) |
| 2026-04-18 09:00:11 | × | uli-fem quits (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 09:06:08 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-18 09:09:10 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-04-18 09:10:27 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-18 09:11:17 | × | cawfee quits (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.8.1) |
| 2026-04-18 09:11:34 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 2026-04-18 09:18:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 09:18:53 | → | puke joins (~puke@user/puke) |
| 2026-04-18 09:21:41 | → | uli-fem joins (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 09:22:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 09:25:51 | × | uli-fem quits (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
All times are in UTC.