Newest at the top
| 2026-04-29 08:19:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-29 08:11:45 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 246 seconds) |
| 2026-04-29 08:10:40 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-29 08:10:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 08:08:11 +0000 | sm__ | (~sm@66.8.200.171) |
| 2026-04-29 07:59:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-29 07:54:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:47:34 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-29 07:44:23 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-29 07:43:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-29 07:38:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:38:17 +0000 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Read error: Connection reset by peer) |
| 2026-04-29 07:37:50 +0000 | jj_ | (~apropos@154.20.120.135) |
| 2026-04-29 07:35:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-29 07:32:45 +0000 | nattkyrro | (~serenity@user/nattkyrro) nattkyrro |
| 2026-04-29 07:29:37 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-29 07:27:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 07:26:06 +0000 | gabriel_sevecek | (~gabriel@92.180.228.17) gabriel_sevecek |
| 2026-04-29 07:24:17 +0000 | <Leary> | Right; to use the same name for the constructors and patterns they'd need to be declared in different modules. |
| 2026-04-29 07:23:54 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-29 07:23:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:23:07 +0000 | gabriel_sevecek | (~gabriel@92-180-228-17.dynamic.orange.sk) (Ping timeout: 264 seconds) |
| 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 |