Getting dangerously close to becoming an “ML module guy”
Conversation
What if the typeclasses… were bad
4
1
8
yes, yes,
…but still can I have something like modular implicits or instance arguments?
1
3
The programmer can have a little modular implicits, as a treat
1
3
yes, I like treats!
1
3
just kind of a mistake to make me try to make a main course out of the treat imo (as much as I like them)
1
3
Moving out of shitposting mode for a sec, my main gripe with typeclasses is that global coherence rarely makes sense for “good” typeclasses, and wrapping everything in a pile of newtypes, calling a function, then unwrapping is a lot of ceremony!
2
4
Also, they conflate a bunch of notions that _ought_ to be distinct, namely syntax + dynamic dispatch
Like, do notation is hardwired to Monad, even though it still makes sense when we have monad-ish things that aren’t Monad on the nose
2
4
Replying to
What do you mean by ‘dynamic dispatch’? Just kind of interesting as Rust defaults to static dispatch, then allows you to switch to dynamic dispatch with trait objects (which are a bit goofy/weird, alas)