Newest at the top
| 2026-03-12 17:56:46 +0100 | <davean> | You wouldn't have the context to enjoy it. Its public because it was being posted in a facebook group. |
| 2026-03-12 17:56:31 +0100 | <haskellbridge> | <ijouw> I was experimenting with naming my class of things to add (+) (using type operators) and using functional dependencies to make sure the compiler can infer the types (if 2 of (left arg, right arg, result) type are known). That does limit it to Vector a + a = Vector a or Vector a + Vector a = Vector a |
| 2026-03-12 17:56:30 +0100 | <davean> | He's entertaining a specific few of us with a specific project |
| 2026-03-12 17:56:00 +0100 | <Wygulmage> | \O/ |
| 2026-03-12 17:55:40 +0100 | <davean> | Wygulmage: assume the AI slop is an inside joke thing. |
| 2026-03-12 17:55:07 +0100 | <davean> | Wygulmage: Haha, the AI slop in his youtube feed is a very specific thing and I want more of it ... |
| 2026-03-12 17:53:45 +0100 | <Wygulmage> | Which, judging by the AI slop in his youtube feed... |
| 2026-03-12 17:52:58 +0100 | <Wygulmage> | I'm OK with that as long as Edward Kmett has been replaced with a sufficiently advanced chatbot that I can't tell the difference ;( |
| 2026-03-12 17:52:02 +0100 | <EvanR> | 🤖 |
| 2026-03-12 17:51:41 +0100 | <EvanR> | Wygulmage, the humans are dead |
| 2026-03-12 17:51:33 +0100 | <Wygulmage> | That's a totally fair point about `Read` and `Show` , but I think they're more clearly "utility" classes that don't have to follow any laws. But you REALLY want your numeric hierarchy to follow well defined laws. |
| 2026-03-12 17:51:30 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2026-03-12 17:51:10 +0100 | ski | . o O ( "Class Alias Proposal for Haskell" <http://repetae.net/recent/out/classalias.html>,"Supertyping Suggestion for Haskell" <http://repetae.net/recent/out/supertyping.html>, both by jmeacham) |
| 2026-03-12 17:47:27 +0100 | ski | coughs and stares at `Read' and `Show' |
| 2026-03-12 17:44:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-03-12 17:43:59 +0100 | <ski> | Wygulmage : i was just (before i read your responses) about to comment on the same issue with not having a single place in the source which takes resposibility for ensuring that distributivity holds |
| 2026-03-12 17:30:20 +0100 | <Wygulmage> | `deriving via WrapMonad M instance Applicative M` ? |
| 2026-03-12 17:30:19 +0100 | <Wygulmage> | I do have another question that's vaguely related to my initial rant. Are there any major roadblocks in GHC preventing class alias definitions or automatic defaulted superclasses? For example, allowing someone to just write `instance Monad M where...` and let GHC silently take care of `Functor` and `Applicative`, without even having to write |
| 2026-03-12 17:29:04 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2026-03-12 17:27:13 +0100 | Digitteknohippie | Digit |
| 2026-03-12 17:25:56 +0100 | <Wygulmage> | And possibly a Discourse problem. |
| 2026-03-12 17:24:32 +0100 | <Wygulmage> | When I look at what I have blocked, both for discourse-cdn and haskell.org, everything is enabled. But yeah, I won't try to make #haskell into my IT helpers. Clearly that's a me problem. |
| 2026-03-12 17:23:56 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-12 17:23:24 +0100 | <haskellbridge> | <sm> I wondered why you couldn't comment at discourse. It requires js I see. |
| 2026-03-12 17:22:44 +0100 | <haskellbridge> | <sm> :) we're still here |
| 2026-03-12 17:22:23 +0100 | <Wygulmage> | Not for haskell.org. |
| 2026-03-12 17:22:11 +0100 | <Wygulmage> | Thanks, sm. Just got worried that all the humans had left. *deep breaths* |
| 2026-03-12 17:21:58 +0100 | <haskellbridge> | <sm> do you have javascript disabled in your browser ? |
| 2026-03-12 17:20:50 +0100 | <haskellbridge> | <sm> s/but.*// |
| 2026-03-12 17:20:27 +0100 | <haskellbridge> | <sm> it has quiet and busy times. Definitely not dead here, but you may need to wait more than 5m |
| 2026-03-12 17:19:33 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2026-03-12 17:16:11 +0100 | <Wygulmage> | Sorry. Is IRC dead, or did I just come at a bad time? |
| 2026-03-12 17:12:02 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 248 seconds) |
| 2026-03-12 17:10:47 +0100 | <Wygulmage> | they're both monoidal, with `one = 1` and `zero = one`. Again, the laws are still satisfied. And then the library claims you have a `Semiring`, and perhaps assumes that `zero` (1) is annihilative for `mul`. |
| 2026-03-12 17:10:46 +0100 | <Wygulmage> | Clearly not. So, for example, say you have an instance of `AdditiveSemigroup`. Presumably the only law is that it's a semigroup. Cool. So you define `instance AdditiveSemigroup Integer where add = (*)`. Why not? It satisfies the law. And then you define `instance MultiplicativeSemigroup Integer where mul = (*)` Again, it satisfies the law. And |
| 2026-03-12 17:08:59 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-03-12 17:07:34 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-12 17:05:14 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 16:50:26 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-12 16:49:25 +0100 | <Wygulmage> | I'd comment on Discourse but apparently my non-AI browser is not supported... |
| 2026-03-12 16:48:53 +0100 | <Wygulmage> | Has anyone else looked at https://discourse.haskell.org/t/sneak-peek-bolt-math/13766 and thinks it's well intentioned but unworkable as written? |
| 2026-03-12 16:48:04 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2026-03-12 16:44:21 +0100 | myme | (~myme@2a01:799:d5e:5f00:303a:da6f:3ef4:dbc1) myme |
| 2026-03-12 16:43:19 +0100 | myme | (~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) (Ping timeout: 244 seconds) |
| 2026-03-12 16:38:14 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-12 16:36:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-12 16:35:56 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-12 16:09:13 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 244 seconds) |
| 2026-03-12 15:56:48 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-12 15:56:45 +0100 | Digitteknohippie | (~user@user/digit) Digit |