Logs: liberachat/#haskell
| 2025-09-08 16:38:19 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 16:38:31 | <haskellbridge> | <geekosaur> Originally it was |
| 2025-09-08 16:42:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 16:44:03 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-08 16:44:19 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-09-08 16:53:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 16:54:33 | <ski> | yea, i know |
| 2025-09-08 16:55:48 | <ski> | .. also waiting for `id @a (x :: a) :: a = x' / `\ @a (x :: a) -> x :: a' |
| 2025-09-08 16:58:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 16:59:03 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-08 16:59:20 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-09-08 17:00:57 | × | tromp quits (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 17:04:04 | × | gorignak quits (~gorignak@user/gorignak) (Client Quit) |
| 2025-09-08 17:04:22 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-09-08 17:08:14 | → | sindu joins (~sindu@176.75.108.200) |
| 2025-09-08 17:08:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 17:09:06 | × | gorignak quits (~gorignak@user/gorignak) (Client Quit) |
| 2025-09-08 17:09:21 | → | mari16947 joins (~mari-este@user/mari-estel) |
| 2025-09-08 17:09:42 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-09-08 17:10:35 | × | mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-08 17:13:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 17:13:49 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-08 17:19:44 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-08 17:24:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 17:29:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-08 17:31:06 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-08 17:34:55 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-08 17:37:18 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-09-08 17:38:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 17:39:29 | × | alecs quits (~alecs@nat16.software.imdea.org) (Ping timeout: 250 seconds) |
| 2025-09-08 17:40:33 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-08 17:41:16 | → | myxos joins (~myxos@syn-065-025-110-175.res.spectrum.com) |
| 2025-09-08 17:43:57 | × | mari16947 quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-08 17:45:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 17:47:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-08 17:54:15 | → | DavidSch1_ joins (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 2025-09-08 17:58:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 17:59:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 18:00:25 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 18:00:38 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 18:05:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 18:07:26 | × | lyxia quits (~lyxia@poisson.chat) (Quit: WeeChat 4.6.3) |
| 2025-09-08 18:09:07 | → | lyxia joins (~lyxia@poisson.chat) |
| 2025-09-08 18:15:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 18:16:57 | <monochrom> | ScopedAndPatternTypeSignatures :) |
| 2025-09-08 18:17:51 | <monochrom> | SystemFSyntax >:) |
| 2025-09-08 18:20:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 18:21:25 | <tomsmeding> | if you supply a type signature, you can already do something like the second |
| 2025-09-08 18:21:25 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 18:21:35 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: a) = x |
| 2025-09-08 18:21:35 | <yahb2> | <interactive>:55:21: error: [GHC-78249] ; Illegal invisible type pattern: a ; Suggested fix: ; Perhaps you intended to use the ‘TypeAbstractions’ extension ; You may enable this... |
| 2025-09-08 18:21:41 | <tomsmeding> | % :seti -XTypeAbstractions |
| 2025-09-08 18:21:41 | <yahb2> | <no output> |
| 2025-09-08 18:21:43 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: a) = x |
| 2025-09-08 18:21:43 | <yahb2> | <no output> |
| 2025-09-08 18:21:48 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: b) = x |
| 2025-09-08 18:21:48 | <yahb2> | <no output> |
| 2025-09-08 18:21:50 | <tomsmeding> | oh |
| 2025-09-08 18:22:05 | <monochrom> | "no news is good news" :) |
| 2025-09-08 18:22:10 | <monochrom> | % foo 4 |
| 2025-09-08 18:22:11 | <yahb2> | 4 |
| 2025-09-08 18:22:16 | → | img joins (~img@user/img) |
| 2025-09-08 18:22:46 | <[exa]> | Franciman: btw what are you doing with ontologies? (curious, /me gonna hit that issue later this year) |
| 2025-09-08 18:23:10 | <tomsmeding> | bah both the @a and the ::a bind a in the RHS |
| 2025-09-08 18:23:36 | <tomsmeding> | but the `\@a (x :: a) -> x :: a` syntax that ski was asking for would be highly ambiguous in haskell where you have automatic generalisation :) |
| 2025-09-08 18:24:14 | <tomsmeding> | (if you write `foo @a (x :: b) = RHS` then both a and b are in scope in RHS, and are equal) |
| 2025-09-08 18:24:20 | → | sprotte24 joins (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) |
| 2025-09-08 18:24:20 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-08 18:24:43 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-08 18:26:50 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-09-08 18:27:25 | → | OftenFaded86 joins (~OftenFade@user/tisktisk) |
| 2025-09-08 18:30:35 | → | OftenFaded28 joins (~OftenFade@user/tisktisk) |
| 2025-09-08 18:31:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 18:32:28 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 18:32:41 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 18:34:31 | × | OftenFaded86 quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 18:36:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-08 18:39:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 18:41:15 | → | OftenFaded49 joins (~OftenFade@user/tisktisk) |
| 2025-09-08 18:44:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 18:44:29 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-08 18:44:55 | × | OftenFaded28 quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 18:47:08 | → | OftenFaded34 joins (~OftenFade@user/tisktisk) |
| 2025-09-08 18:51:25 | × | OftenFaded49 quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 18:53:07 | → | sprotte24_ joins (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) |
| 2025-09-08 18:54:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 18:59:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 19:00:01 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-08 19:00:43 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-08 19:07:27 | × | OftenFaded34 quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 19:08:06 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-08 19:10:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 19:15:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 19:16:56 | → | OftenFaded30 joins (~OftenFade@user/tisktisk) |
| 2025-09-08 19:18:20 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 19:19:36 | → | img joins (~img@user/img) |
| 2025-09-08 19:26:01 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-08 19:26:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 19:26:59 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-08 19:28:13 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.