Newest at the top
2024-10-10 21:21:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 21:19:19 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-10 21:12:40 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-10 21:11:18 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 21:08:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-10 21:06:40 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-10 21:06:19 +0200 | LukeHoersten_ | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-10 21:06:09 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-10 21:04:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-10 21:04:02 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 21:01:37 +0200 | LukeHoersten_ | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 21:01:16 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Read error: Connection reset by peer) |
2024-10-10 21:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-10 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-10 20:59:20 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
2024-10-10 20:57:04 +0200 | supercode | (~supercode@user/supercode) supercode |
2024-10-10 20:56:55 +0200 | vanishing | vanishingideal |
2024-10-10 20:56:51 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Killed (NickServ (GHOST command used by vanishing))) |
2024-10-10 20:56:12 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 20:55:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 20:55:44 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:54:59 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:54:46 +0200 | morb | (~morb@108.41.100.120) |
2024-10-10 20:53:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-10 20:52:38 +0200 | <lambdabot> | Okay. |
2024-10-10 20:52:38 +0200 | <Lears> | @where+ rtfm https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
2024-10-10 20:52:09 +0200 | Oraculo | (mirc-rockc@177.100.68.254) Oraculo |
2024-10-10 20:51:25 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 20:51:02 +0200 | <haskellbridge> | <thirdofmay18081814goya> good point ty |
2024-10-10 20:49:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 20:49:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:49:20 +0200 | <monochrom> | (That's what I did every time I needed something, e.g., that's where I learned GADTs) |
2024-10-10 20:48:40 +0200 | <monochrom> | IMO you should simply consult the GHC user's guide. |
2024-10-10 20:48:30 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-10 20:47:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-10 20:47:42 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-10 20:47:21 +0200 | <monochrom> | I have never used it. I only saw https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_abstractions.html |
2024-10-10 20:46:54 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-10-10 20:46:35 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: hm having a bit of trouble using it properly. having better luck? |
2024-10-10 20:44:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 20:43:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
2024-10-10 20:42:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> nice thanks a lot! |
2024-10-10 20:42:18 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: ah this was it! |
2024-10-10 20:40:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 20:40:07 +0200 | <monochrom> | Err, \ @a x -> x |
2024-10-10 20:40:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 20:39:16 +0200 | <haskellbridge> | <thirdofmay18081814goya> i.e. "\x -> x" is polymorphic only in the derived sense of a property of the type inference algorithm, not as the property of a term |
2024-10-10 20:39:11 +0200 | <monochrom> | OK OK we have big lambda since GHC 9.8. It's TypeAbstractions and \(x[@a] -> x) I think. |
2024-10-10 20:38:44 +0200 | <haskellbridge> | <thirdofmay18081814goya> or type-infers to a polymorphic value |
2024-10-10 20:38:30 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: i would want to say type-reconstructs to a polymorphic value instead here, because the syntax is ambiguous and non-canonical |