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
Replying to
yep, I'm not a fan of global coherence… Rust's rules for traits make things a bit better but it just seems like a strange place to design from