Newest at the top
| 2025-04-07 05:12:24 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 2025-04-07 05:10:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-04-07 04:58:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 04:57:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-07 04:46:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-07 04:46:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-07 04:42:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 04:37:20 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:d5a9:8f67:3cb9:6399) hgolden |
| 2025-04-07 04:31:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-07 04:28:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> ok I see that makes sense, ty! |
| 2025-04-07 04:27:52 +0200 | <geekosaur> | so in `data Maybe a = Nothing | Just a`, `a` is phantom in `Nothing` |
| 2025-04-07 04:26:47 +0200 | <geekosaur> | it only affects typing |
| 2025-04-07 04:26:37 +0200 | <geekosaur> | no. a phantom type is one that doesn't occur in the value |
| 2025-04-07 04:24:44 +0200 | <haskellbridge> | <thirdofmay18081814goya> or how a type gets inferred for a piece of syntax |
| 2025-04-07 04:24:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm ok right ty all for comments, and strictly speaking, a type being a phantom type is not a type-theoretical property but an implementation detail of how syntax gets typechecked, right? |
| 2025-04-07 04:22:50 +0200 | <monochrom> | Oh! |
| 2025-04-07 04:22:34 +0200 | <haskellbridge> | <dmjio> thirdofmay18081814goya: No |
| 2025-04-07 04:20:28 +0200 | <Leary> | monochrom: I think you want `Endo (Endo a)`, though that's still not polymorphic enough for some operations. |
| 2025-04-07 04:19:34 +0200 | <monochrom> | Does "data Proxy a = Proxy" count as phantom type? Does it count as GADTs? |
| 2025-04-07 04:18:38 +0200 | <haskellbridge> | <thirdofmay18081814goya> when people talk about phantom types, they're talking exactly about GADTs right? |
| 2025-04-07 04:18:05 +0200 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-04-07 04:16:26 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-04-07 04:13:39 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-04-07 04:09:08 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-04-07 04:05:09 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-04-07 03:54:34 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 252 seconds) |
| 2025-04-07 03:42:24 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-04-07 03:41:21 +0200 | <EvanR> | The Principal Type-Scheme of an Object in Combinatory Logic |
| 2025-04-07 03:40:10 +0200 | <EvanR> | hindley 1969 contains two interpretations of applying types to combinators, the second of which "the alternative system" makes it easier to give a set theoretic interpretation to the combinators. Saying in the first system it's not so clear what the set theoretic meaning of applying K combinator to itself is |
| 2025-04-07 03:39:38 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-07 03:32:56 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-04-07 03:24:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 03:13:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-07 03:12:46 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:d319:57ed:d2cb:68a5) (Ping timeout: 272 seconds) |
| 2025-04-07 03:08:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-07 03:05:26 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 252 seconds) |
| 2025-04-07 03:04:09 +0200 | <EvanR> | yeah going through Endo is a bit verbose |
| 2025-04-07 03:02:55 +0200 | otto_s | (~user@p5de2f09d.dip0.t-ipconnect.de) |
| 2025-04-07 03:01:09 +0200 | otto_s | (~user@p5de2fb60.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-07 02:57:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-07 02:53:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2d8c:c4f2:3458:8ce1) (Ping timeout: 246 seconds) |
| 2025-04-07 02:43:54 +0200 | <monochrom> | Oooohhhh I can put that for a tutorial exercise! |
| 2025-04-07 02:43:24 +0200 | <monochrom> | instance Num (Endo a) where bwhahahaha |
| 2025-04-07 02:42:46 +0200 | <monochrom> | Oh! Now I see why they called it "num". What you said. :) |
| 2025-04-07 02:39:51 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-04-07 02:36:26 +0200 | <monochrom> | EvanR: Would you accept "num n f x = appEndo (stimesMonoid n (Endo f)) x" ? |
| 2025-04-07 02:34:31 +0200 | msa | (msa@msa.planetofnix.com) |
| 2025-04-07 02:25:09 +0200 | <haskellbridge> | <Bowuigi> Found it, it's "createNamedPipe" on System.Posix.Files on the unix package |
| 2025-04-07 02:23:59 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f1484a8b96e5b185115.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-07 02:19:20 +0200 | <haskellbridge> | <Bowuigi> Any way to call mkfifo without the FFI? Can't find it on hoogle |