Newest at the top
| 2025-01-07 17:11:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-07 17:11:38 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:11:01 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:04:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-07 17:02:59 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-07 17:01:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:01:02 +0100 | homo_ | homo |
| 2025-01-07 17:00:53 +0100 | homo | (~homo@user/homo) (Ping timeout: 248 seconds) |
| 2025-01-07 17:00:41 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 16:56:55 +0100 | homo_ | (~homo@user/homo) homo |
| 2025-01-07 16:56:42 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 16:56:32 +0100 | jespada | (~jespada@2800:a4:df:5500:7cf2:7592:7185:e171) jespada |
| 2025-01-07 16:54:56 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-07 16:53:21 +0100 | jespada | (~jespada@2800:a4:c5:2900:7896:24d4:be22:1827) (Ping timeout: 248 seconds) |
| 2025-01-07 16:40:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-07 16:32:16 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-07 16:29:16 +0100 | turlando | (~turlando@user/turlando) () |
| 2025-01-07 16:28:54 +0100 | kuribas | (~user@ptr-17d51emkwlp9y9rv9mz.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-07 16:24:49 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-07 16:22:54 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds) |
| 2025-01-07 16:19:51 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 16:13:21 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-07 16:02:48 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-07 16:02:17 +0100 | turlando | (~turlando@user/turlando) () |
| 2025-01-07 15:47:58 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-07 15:46:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-07 15:43:13 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 15:42:02 +0100 | agent314 | (~quassel@138.199.43.74) agent314 |
| 2025-01-07 15:36:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-07 15:29:57 +0100 | kuribas | (~user@ptr-17d51eobwafm7a8n0pk.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-01-07 15:28:50 +0100 | l_k | (~student@85.172.110.96) (Ping timeout: 260 seconds) |
| 2025-01-07 15:25:54 +0100 | l__k | (~student@85.172.110.161) |
| 2025-01-07 15:19:18 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-07 15:15:14 +0100 | <absence> | Oh right, I was confused by the necessity of an explicit forall in one case, but not the other. If I use GADT syntax for Test, I don't need any foralls. Thanks! |
| 2025-01-07 15:14:36 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-07 15:11:00 +0100 | dysthesi1 | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-07 15:09:05 +0100 | <sim590> | But since it's the default, you don't need the explicit `forall a b.`. |
| 2025-01-07 15:08:36 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-07 15:08:34 +0100 | <sim590> | which I gues is equivalent to: Test3 :: forall a b. (a -> b) -> Test3 a. |
| 2025-01-07 15:05:43 +0100 | <Leary> | absence: Try `data Test3 a where Test3 :: (a -> b) -> Test3 a`. The `b` is existential, not universal. That field is the type of something like `absurd` or `const undefined`. |
| 2025-01-07 15:05:28 +0100 | dysthesi1 | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-07 15:00:17 +0100 | CiaoSen | (~Jura@2a05:5800:240:da00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-07 14:58:19 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 14:57:55 +0100 | kuribas | (~user@ptr-17d51eobwafm7a8n0pk.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-07 14:57:18 +0100 | <absence> | Disregarding the obvious contrivedness, why doesn't test3 work when test2 does, and can the definition of Test3 be changed to make it work? https://play.haskell.org/saved/xAfH2AaD |
| 2025-01-07 14:53:37 +0100 | <sim590> | You're right. I'll try to do it also then! |
| 2025-01-07 14:53:27 +0100 | <geekosaur> | and if it's worth packaging for a distro then it's worth packaging for Hackage imo |
| 2025-01-07 14:53:10 +0100 | <geekosaur> | up to you but it's generally good practice to put stuff on Hackage so people not on Arch can install it |
| 2025-01-07 14:52:39 +0100 | <sim590> | With this, I could avoid uploading on Hackage if I don't find it relevant. My package is a simple Card game, not a library. Not sure if that's relevant to put on Hackage. |
| 2025-01-07 14:52:39 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 265 seconds) |