Me too :) I like Scala a lot because of how it handled `apply` and `update` (and even more because of how library authors know not to make a trait govern syntax sugar)
Conversation
how does Scala solve for making indexable user collections anyways?
3
1
I think the call operator is overloadable?
1
1
Everything is overloadble.
1
1
Yeah, as an outsider things seem a bit nicer in Scala land since the move away from libraries like ScalaZ (which used far more operators than healthy), towards Cats which seems more restrained and careful in its choices of operators…
1
2
Never before seen levels of commitment to the bit
1
3
lol this is worse than I remembered
1
2
It's really bad. Can you even imagine entering codepoints for this nonsense all the time? Someone *wanted that* for some reason.
4
2
The editor extensions for theorem provers like Agda and Lean at least come with nice ways of inputting the symbols, like `\r` for right-arrow: agda.readthedocs.io/en/v2.6.2/tool