Newest at the top
| 2026-02-05 20:06:55 +0100 | hellwolf | (~user@13cd-fe1e-a030-6e4e-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-02-05 20:06:06 +0100 | akegalj | (~akegalj@173-245.dsl.iskon.hr) (Quit: leaving) |
| 2026-02-05 20:05:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 20:05:27 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-05 20:01:32 +0100 | <Clint> | i'll give it a shot, thanks |
| 2026-02-05 20:00:24 +0100 | <[exa]> | yeah, view patterns or pattern synonyms |
| 2026-02-05 19:59:50 +0100 | Clint | reads. |
| 2026-02-05 19:59:04 +0100 | <tomsmeding> | have ConstructorV{1,2} actually be pattern synonyms that do whatever you want with the underlying Thingy definition |
| 2026-02-05 19:58:45 +0100 | <tomsmeding> | pattern synonyms? |
| 2026-02-05 19:58:35 +0100 | <EvanR> | o_O |
| 2026-02-05 19:58:11 +0100 | <Clint> | speaking of getting wild, is there any type magic which would let me do something like data Thingy = ConstructorV1 a | ConstructorV2 a b and be able to pattern-match a ConstructorV2 value with (ConstructorV1 a)? |
| 2026-02-05 19:58:06 +0100 | <tomsmeding> | I like how I get the most agreement here when I post the stupidest suggestions |
| 2026-02-05 19:57:54 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2026-02-05 19:57:40 +0100 | <[exa]> | tomsmeding: I love that |
| 2026-02-05 19:57:21 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-05 19:56:55 +0100 | <EvanR> | tomsmeding, now you're talking |
| 2026-02-05 19:56:36 +0100 | <[exa]> | EvanR: not really; you add instance Monad and overloaded lists and strings and labels, and you're generating this for free |
| 2026-02-05 19:56:30 +0100 | <tomsmeding> | it's all a function! Why throw an error if you pass 5 to a function expecting a Maybe String? It will just... do something! |
| 2026-02-05 19:56:01 +0100 | <tomsmeding> | may need to embed in `newtype X = X (X -> X)` for proper typelessness |
| 2026-02-05 19:55:57 +0100 | <EvanR> | oh? |
| 2026-02-05 19:55:43 +0100 | <tomsmeding> | EvanR: we have our own brand of that, try church encodings |
| 2026-02-05 19:55:37 +0100 | <EvanR> | would seem to expand the code vs idiomatic haskell.... maybe |
| 2026-02-05 19:54:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 19:54:01 +0100 | <[exa]> | well anyway you can go `data Scheme = Cons Scheme Scheme | Num Int | Symbol String | Nil | ...` and get wild |
| 2026-02-05 19:52:44 +0100 | <[exa]> | ah yes the List Technology |
| 2026-02-05 19:52:18 +0100 | <EvanR> | ["Just", "five"] vs ["Nothing"] |
| 2026-02-05 19:52:15 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-05 19:51:05 +0100 | <EvanR> | ok it's not a great start |
| 2026-02-05 19:51:00 +0100 | <EvanR> | I guess ("Nothing", undefined) xD |
| 2026-02-05 19:50:24 +0100 | <[exa]> | EvanR: you mean like, ("Just", "five") and ("Nothing", "") |
| 2026-02-05 19:47:55 +0100 | <EvanR> | (more code) |
| 2026-02-05 19:47:35 +0100 | <EvanR> | I wonder if it would make code smaller, or "even worse" trying to use this style xD |
| 2026-02-05 19:47:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 19:47:21 +0100 | <EvanR> | we love types for reasons... but type signatures are sometimes optional... and it's possible to get away with various dilutions of type safety in haskell. I.e. using strings in tuples instead of constructors, and the literal Dynamic type |
| 2026-02-05 19:40:18 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-05 19:40:02 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-05 19:36:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 19:33:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-05 19:32:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 19:27:11 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-05 19:26:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-05 19:26:23 +0100 | catties | Catty |
| 2026-02-05 19:21:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-05 19:16:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 19:14:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-05 19:13:46 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-05 19:08:10 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-02-05 19:03:31 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-05 18:56:43 +0100 | jackneill__ | (~Jackneill@94-21-15-213.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2026-02-05 18:56:29 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |