Newest at the top
| 2025-03-13 13:17:17 +0100 | df | (~ben@justworks.xyz) |
| 2025-03-13 13:17:02 +0100 | <dminuoso> | They are a rather poor fit for de/-serialization precisely for reasons like you just encountered. |
| 2025-03-13 13:16:46 +0100 | <dminuoso> | Just dont use typeclass machinery. |
| 2025-03-13 13:16:44 +0100 | df | (~ben@justworks.xyz) (Ping timeout: 260 seconds) |
| 2025-03-13 13:16:38 +0100 | <dminuoso> | Square2: You are not forced to use FromJSON/ToJSON |
| 2025-03-13 13:16:35 +0100 | <tomsmeding> | this is what makes the Data.Set / Data.Map API work, for example: if you could pass the same Map between different modules with different Ord instances on the key in scope, you'll severly break the internal invariants of the Map data structure |
| 2025-03-13 13:16:21 +0100 | <Square2> | Ah ok. I thought it could work with careful arrangement of things, but I could see it becoming real troublesome |
| 2025-03-13 13:16:03 +0100 | <tomsmeding> | and furthermore it breaks the general assumption in haskell that typeclass instances are confluent, which is precisely the assumption that any particular class - type combination has at most _one_ instance |
| 2025-03-13 13:15:39 +0100 | unlucy | (sid572875@user/unlucy) unlucy |
| 2025-03-13 13:15:29 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2025-03-13 13:15:27 +0100 | <tomsmeding> | having two different instances of the same class for the same type in different modules is a recipe for trouble |
| 2025-03-13 13:15:23 +0100 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2025-03-13 13:15:19 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-03-13 13:15:14 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2025-03-13 13:15:11 +0100 | <tomsmeding> | (and also re-export them automatically) |
| 2025-03-13 13:15:08 +0100 | unlucy | (sid572875@user/unlucy) (Read error: Connection reset by peer) |
| 2025-03-13 13:15:08 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2025-03-13 13:15:06 +0100 | astra | (sid289983@user/amish) (Read error: Connection reset by peer) |
| 2025-03-13 13:15:06 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 2025-03-13 13:15:03 +0100 | <tomsmeding> | Square2: instances are viral -- you can't choose to _not_ export them, and if you import them, you inherit them automatically |
| 2025-03-13 13:14:59 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-03-13 13:14:53 +0100 | igemnace | (~igemnace@user/igemnace) (Remote host closed the connection) |
| 2025-03-13 13:14:44 +0100 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2025-03-13 13:14:42 +0100 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2025-03-13 13:14:42 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-03-13 13:14:35 +0100 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 2025-03-13 13:14:32 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2025-03-13 13:14:30 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2025-03-13 13:13:34 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) k_hachig |
| 2025-03-13 13:09:59 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-13 13:07:03 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 245 seconds) |
| 2025-03-13 13:06:49 +0100 | <Square2> | Jack, Oh thanks. Just curious, why? Too hard to keep all imports in your head? |
| 2025-03-13 13:06:44 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-03-13 13:06:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-03-13 13:04:38 +0100 | <haskellbridge> | <Jack> Square2: I’d suggest newtype trickery. |
| 2025-03-13 13:03:34 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-03-13 13:00:04 +0100 | infohazards | (~user@user/fmira) fmira |
| 2025-03-13 12:59:17 +0100 | infohazards | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-13 12:54:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-13 12:49:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-13 12:41:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 2025-03-13 12:35:03 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-03-13 12:33:25 +0100 | <Square2> | I need to maintain multiple versions of Aeson To-/FromJSON for the same types. What do you think is the easiest path for this. Careful module/import management. Use newtype trickery? |
| 2025-03-13 12:27:13 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180::ac59) (Ping timeout: 248 seconds) |
| 2025-03-13 12:24:22 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) |
| 2025-03-13 12:11:06 +0100 | mange | (~user@user/mange) mange |
| 2025-03-13 12:08:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-13 12:06:20 +0100 | jespada | (~jespada@2800:a4:22a9:8000:65f8:4b81:436a:cdbf) jespada |
| 2025-03-13 12:04:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-13 12:02:14 +0100 | caconym | (~caconym@user/caconym) caconym |