2025/09/08

Newest at the top

2025-09-08 21:19:36 +0200img(~img@user/img) img
2025-09-08 21:18:20 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-08 21:16:56 +0200OftenFaded30(~OftenFade@user/tisktisk) OftenFaded
2025-09-08 21:15:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-08 21:10:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-08 21:08:06 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-09-08 21:07:27 +0200OftenFaded34(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-08 21:00:43 +0200caconym747(~caconym@user/caconym) caconym
2025-09-08 21:00:01 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-08 20:59:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-08 20:54:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-08 20:53:07 +0200sprotte24_(~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de)
2025-09-08 20:51:25 +0200OftenFaded49(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-08 20:47:08 +0200OftenFaded34(~OftenFade@user/tisktisk) OftenFaded
2025-09-08 20:44:55 +0200OftenFaded28(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-08 20:44:29 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-09-08 20:44:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-08 20:41:15 +0200OftenFaded49(~OftenFade@user/tisktisk) OftenFaded
2025-09-08 20:39:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-08 20:36:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-08 20:34:31 +0200OftenFaded86(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-08 20:32:41 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-08 20:32:28 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-08 20:31:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-08 20:30:35 +0200OftenFaded28(~OftenFade@user/tisktisk) OftenFaded
2025-09-08 20:27:25 +0200OftenFaded86(~OftenFade@user/tisktisk) OftenFaded
2025-09-08 20:26:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-09-08 20:24:43 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-09-08 20:24:20 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-09-08 20:24:20 +0200sprotte24(~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de)
2025-09-08 20:24:14 +0200 <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 20:23:36 +0200 <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 20:23:10 +0200 <tomsmeding> bah both the @a and the ::a bind a in the RHS
2025-09-08 20:22:46 +0200 <[exa]> Franciman: btw what are you doing with ontologies? (curious, /me gonna hit that issue later this year)
2025-09-08 20:22:16 +0200img(~img@user/img) img
2025-09-08 20:22:11 +0200 <yahb2> 4
2025-09-08 20:22:10 +0200 <monochrom> % foo 4
2025-09-08 20:22:05 +0200 <monochrom> "no news is good news" :)
2025-09-08 20:21:50 +0200 <tomsmeding> oh
2025-09-08 20:21:48 +0200 <yahb2> <no output>
2025-09-08 20:21:48 +0200 <tomsmeding> % foo :: a -> a ; foo @a (x :: b) = x
2025-09-08 20:21:43 +0200 <yahb2> <no output>
2025-09-08 20:21:43 +0200 <tomsmeding> % foo :: a -> a ; foo @a (x :: a) = x
2025-09-08 20:21:41 +0200 <yahb2> <no output>
2025-09-08 20:21:41 +0200 <tomsmeding> % :seti -XTypeAbstractions
2025-09-08 20:21:35 +0200 <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 20:21:35 +0200 <tomsmeding> % foo :: a -> a ; foo @a (x :: a) = x
2025-09-08 20:21:25 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-08 20:21:25 +0200 <tomsmeding> if you supply a type signature, you can already do something like the second
2025-09-08 20:20:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)