Logs: liberachat/#haskell
| 2026-04-29 05:44:56 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-29 06:20:41 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-04-29 06:27:18 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-29 06:38:15 | <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:40:29 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-29 06:44:47 | × | mzg_ quits (mzg@abusers.hu) (Ping timeout: 268 seconds) |
| 2026-04-29 06:49:27 | <davean> | you can do view patterns |
| 2026-04-29 06:53:50 | <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:56:32 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-29 06:57:42 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-29 07:00:52 | → | poscat joins (~poscat@user/poscat) |
| 2026-04-29 07:05:45 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 268 seconds) |
| 2026-04-29 07:05:45 | × | synchrom1 quits (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer) |
| 2026-04-29 07:06:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 07:06:53 | → | synchromesh joins (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) |
| 2026-04-29 07:10:56 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 2026-04-29 07:11:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 07:15:39 | <gentauro> | Leary: yeah, it seems like that. Thx |
| 2026-04-29 07:16:10 | <gentauro> | however, we are in Haskell land so no `shadow` definitions right? |
| 2026-04-29 07:16:24 | <gentauro> | (reason you use `Foo_` and `Bar_`? |
| 2026-04-29 07:23:07 | × | gabriel_sevecek quits (~gabriel@92-180-228-17.dynamic.orange.sk) (Ping timeout: 264 seconds) |
| 2026-04-29 07:23:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 07:23:54 | → | tromp joins (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-29 07:24:17 | <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:26:06 | → | gabriel_sevecek joins (~gabriel@92.180.228.17) |
| 2026-04-29 07:27:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 07:29:37 | → | xff0x joins (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-29 07:32:45 | → | nattkyrro joins (~serenity@user/nattkyrro) |
| 2026-04-29 07:35:27 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-29 07:37:50 | → | jj_ joins (~apropos@154.20.120.135) |
| 2026-04-29 07:38:17 | × | jj quits (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Read error: Connection reset by peer) |
| 2026-04-29 07:38:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 07:43:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-29 07:44:23 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-29 07:47:34 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-04-29 07:54:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 07:59:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-29 08:08:11 | → | sm__ joins (~sm@66.8.200.171) |
| 2026-04-29 08:10:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 08:10:40 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-29 08:11:45 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 246 seconds) |
| 2026-04-29 08:19:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-29 08:22:43 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-29 08:23:02 | × | ft quits (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-29 08:23:43 | × | xax__ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-29 08:24:54 | × | sm__ quits (~sm@66.8.200.171) (Ping timeout: 245 seconds) |
| 2026-04-29 08:24:58 | → | acidjnk_new joins (~acidjnk@p200300d6e700e50528dbb8120543e0c8.dip0.t-ipconnect.de) |
| 2026-04-29 08:28:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-29 08:29:51 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-29 08:30:38 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-29 08:31:38 | → | chele joins (~chele@user/chele) |
| 2026-04-29 08:33:17 | × | trampi quits (~trampi@mx.trampusch.info) (Read error: Connection reset by peer) |
| 2026-04-29 08:33:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 08:34:04 | → | qqq joins (~qqq@185.54.20.226) |
| 2026-04-29 08:34:44 | → | trampi joins (~trampi@mx.trampusch.info) |
| 2026-04-29 08:34:55 | × | lambdap23717 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2026-04-29 08:35:14 | → | lambdap23717 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2026-04-29 08:38:03 | → | Blabbage joins (~Blabbage@96.74.93.113) |
| 2026-04-29 08:38:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-29 08:38:38 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-29 08:39:28 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-29 08:39:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 08:42:17 | × | Blabbage quits (~Blabbage@96.74.93.113) (Ping timeout: 245 seconds) |
| 2026-04-29 08:44:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-29 08:48:31 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-29 08:49:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 08:54:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-29 09:03:28 | → | fp1 joins (~Thunderbi@130.233.70.229) |
| 2026-04-29 09:06:25 | → | puke joins (~puke@user/puke) |
| 2026-04-29 09:08:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 09:09:45 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 245 seconds) |
| 2026-04-29 09:10:21 | → | Guest78 joins (~Guest53@2600:1010:b0e0:4040:0:2:c731:b701) |
| 2026-04-29 09:10:56 | × | Guest78 quits (~Guest53@2600:1010:b0e0:4040:0:2:c731:b701) (Client Quit) |
| 2026-04-29 09:12:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 09:24:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 09:25:27 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-29 09:25:44 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-29 09:25:52 | → | puke joins (~puke@user/puke) |
| 2026-04-29 09:26:06 | → | JacquelineMartin joins (~pineo@96.74.93.113) |
| 2026-04-29 09:26:09 | → | Enrico63 joins (~Enrico63@85.255.235.90) |
| 2026-04-29 09:29:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-29 09:30:30 | × | JacquelineMartin quits (~pineo@96.74.93.113) (Ping timeout: 246 seconds) |
| 2026-04-29 09:36:30 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e542f647a2cff7c48503.dip0.t-ipconnect.de) |
| 2026-04-29 09:39:22 | × | acidjnk_new quits (~acidjnk@p200300d6e700e50528dbb8120543e0c8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-29 09:41:15 | × | qqq quits (~qqq@185.54.20.226) (Ping timeout: 256 seconds) |
| 2026-04-29 09:47:07 | → | r1bilski joins (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-29 09:47:07 | × | r1bilski quits (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-29 09:47:07 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-29 09:56:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 09:57:14 | × | oats quits (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-04-29 09:57:29 | → | oats joins (~oats@user/oats) |
| 2026-04-29 09:58:50 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-29 10:02:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 10:09:56 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:717e:69c3:d15a:38e0) |
| 2026-04-29 10:09:56 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:717e:69c3:d15a:38e0) (Changing host) |
| 2026-04-29 10:09:56 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-29 10:11:01 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 276 seconds) |
| 2026-04-29 10:14:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 10:19:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-29 10:19:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
All times are in UTC.