Newest at the top
| 2026-04-29 07:16:24 +0000 | <gentauro> | (reason you use `Foo_` and `Bar_`? |
| 2026-04-29 07:16:10 +0000 | <gentauro> | however, we are in Haskell land so no `shadow` definitions right? |
| 2026-04-29 07:15:39 +0000 | <gentauro> | Leary: yeah, it seems like that. Thx |
| 2026-04-29 07:11:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 07:10:56 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2026-04-29 07:06:53 +0000 | synchromesh | (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) synchromesh |
| 2026-04-29 07:06:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:05:45 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer) |
| 2026-04-29 07:05:45 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 268 seconds) |
| 2026-04-29 07:00:52 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-29 06:57:42 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-29 06:56:32 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-29 06:53:50 +0000 | <Leary> | gentauro: I'm not familiar with F# so I may be missing something, but with `PatternSynonyms` you can expose patterns without constructors, e.g. `module FooBar (FooBar(Foo,Bar)) where { data FooBar = Foo_ Int | Bar_ Char; pattern Foo i <- Foo_ i; pattern Bar c <- Bar_ c }`. |
| 2026-04-29 06:49:27 +0000 | <davean> | you can do view patterns |
| 2026-04-29 06:44:47 +0000 | mzg_ | (mzg@abusers.hu) (Ping timeout: 268 seconds) |
| 2026-04-29 06:40:29 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-29 06:38:15 +0000 | <gentauro> | is there a way to replicate/mimic this behaviour in Haskell: https://paste.tomsmeding.com/qoZq3jhq (In F#, you can hide the constructors and then (Active) pattern match on them: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns) |
| 2026-04-29 06:27:18 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-29 06:20:41 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-29 05:44:56 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-29 05:42:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-29 05:37:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 05:35:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-29 05:32:11 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-04-29 05:29:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 05:24:29 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-04-29 05:16:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-29 05:11:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 05:11:24 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2026-04-29 05:08:27 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-29 05:08:06 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2026-04-29 05:06:05 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-29 05:04:31 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-04-29 05:03:14 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 248 seconds) |
| 2026-04-29 05:03:12 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-04-29 05:02:41 +0000 | michalz | (~michalz@185.246.207.193) |
| 2026-04-29 04:59:37 +0000 | cephei8 | (b8652603d7@user/cephei8) (Ping timeout: 256 seconds) |
| 2026-04-29 04:59:30 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2026-04-29 04:58:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-29 04:55:46 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Ping timeout: 248 seconds) |
| 2026-04-29 04:53:52 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2026-04-29 04:53:38 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 248 seconds) |
| 2026-04-29 04:53:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 04:52:26 +0000 | DetourNe- | DetourNetworkUK |
| 2026-04-29 04:51:19 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2026-04-29 04:51:10 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2026-04-29 04:51:03 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 244 seconds) |
| 2026-04-29 04:50:23 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-29 04:50:04 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-04-29 04:49:47 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |