Newest at the top
| 2024-11-05 10:25:14 +0100 | <geekosaur> | it's too overloaded, I suspect, especially given `forall …. .` |
| 2024-11-05 10:25:13 +0100 | <tomsmeding> | but it's a newtype |
| 2024-11-05 10:25:09 +0100 | <Inst> | ah |
| 2024-11-05 10:25:06 +0100 | <Inst> | the problem is that Either is supposed to be the standard sum type |
| 2024-11-05 10:25:05 +0100 | <tomsmeding> | Inst: it's called Compose |
| 2024-11-05 10:24:53 +0100 | <tomsmeding> | (though yes it's ugly and fairly unreadable sometimes) |
| 2024-11-05 10:24:47 +0100 | <Inst> | sorry |
| 2024-11-05 10:24:46 +0100 | <Inst> | (.) doesn't seem to work that well on type level, though |
| 2024-11-05 10:24:46 +0100 | haskellbridge | hellwolf slaps myself with a large trout in good old IRC fashion |
| 2024-11-05 10:24:28 +0100 | <tomsmeding> | (isn't "cancer" a bit overblown?) |
| 2024-11-05 10:24:09 +0100 | <haskellbridge> | <hellwolf> sorry, I forget this is IRC channel, I was aware of it. |
| 2024-11-05 10:23:55 +0100 | <geekosaur> | ugh, those edits are cancer IRC-side |
| 2024-11-05 10:23:42 +0100 | <haskellbridge> | <hellwolf> * >=>, |
| 2024-11-05 10:23:27 +0100 | <haskellbridge> | <hellwolf> * <*, |
| 2024-11-05 10:23:15 +0100 | <haskellbridge> | <hellwolf> * "$, <$>, <$, $>, <_>, <_, *>, >>=, >=<, |
| 2024-11-05 10:23:12 +0100 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-820004.4.2 |
| 2024-11-05 10:22:53 +0100 | <haskellbridge> | <hellwolf> * <$> <$ $> <_> <_ *> >>= >=< <=<" |
| 2024-11-05 10:22:46 +0100 | <haskellbridge> | <hellwolf> * "$ \<$> \<$ $> \<_\> \<_ \*> >>= >=\< \<=\<\" |
| 2024-11-05 10:22:38 +0100 | <haskellbridge> | <hellwolf> * >=< |
| 2024-11-05 10:22:27 +0100 | <haskellbridge> | <hellwolf> I think there is beauty in '$ <$> <$ $> <_> <_ *> >>= >=> <=<` |
| 2024-11-05 10:22:04 +0100 | <geekosaur> | I strongly prefer to save operator syntax for things that are actually operator-like |
| 2024-11-05 10:21:36 +0100 | <Inst> | Haskell 98 apparently defaults to infixl 9, section seems missing in Haskell 2010, though |
| 2024-11-05 10:21:19 +0100 | <geekosaur> | anyway I think it's acceptable to the compiler (at type level, of course) but it makes code harder to read |
| 2024-11-05 10:21:03 +0100 | <Inst> | *riduculousness |
| 2024-11-05 10:20:51 +0100 | <Inst> | I don't know, but tbh anti-parens crusade, and the ridiculously we do with crazy stuff like do bulleting |
| 2024-11-05 10:20:15 +0100 | <Inst> | kaol: try :k instead of :t |
| 2024-11-05 10:20:03 +0100 | <geekosaur> | how much of that is complaining about `($)` in general? |
| 2024-11-05 10:19:28 +0100 | <Inst> | I heard people complaining about `type ($) a b = a b |
| 2024-11-05 10:19:24 +0100 | <geekosaur> | last I heard Julian was doing his own builds on the default channel, so I imagine adding extra ones would be even more work for him. (The vanilla channel contains upstream-provided builds.) |
| 2024-11-05 10:15:30 +0100 | <tomsmeding> | arahael: I guess ghcup doesn't provide versions for newer distro versions because 1. the older ones work and 2. fewer distribution artifacts lightens the load on release managers / CI infra etc. :) |
| 2024-11-05 10:13:44 +0100 | <Leary> | Anyway, you can always just `type (+) = Either`. |
| 2024-11-05 10:13:22 +0100 | <Leary> | Type level or not doesn't make a difference; infix is fine iff the identifier is suitably named. "a `Or` b" would be fine, but "a `Either` b" isn't. |
| 2024-11-05 10:11:09 +0100 | <kaol> | I get "Illegal term-level use of the type constructor or class ‘Either’" when I try anything like that. |
| 2024-11-05 10:10:02 +0100 | <Inst> | also, where's the config for default fixity / precedence when you backtick a function? |
| 2024-11-05 10:09:13 +0100 | <Inst> | or is it an actually acceptable use of Haskell syntax? |
| 2024-11-05 10:09:06 +0100 | <Inst> | is Text `Either` Bool cancerous? |
| 2024-11-05 10:08:39 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-05 10:08:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-05 10:08:33 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) (Ping timeout: 276 seconds) |
| 2024-11-05 10:05:14 +0100 | abyss | (~nandv@37.19.205.154) |
| 2024-11-05 10:04:43 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2024-11-05 10:04:27 +0100 | enikar | (~enikar@user/enikar) (Quit: WeeChat 3.0) |
| 2024-11-05 09:58:30 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-05 09:48:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 09:48:47 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-05 09:48:31 +0100 | euleritian | (~euleritia@dynamic-176-000-012-045.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-05 09:46:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 09:38:39 +0100 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-11-05 09:34:09 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-11-05 09:33:48 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |