2 ms·
Scala has overloading, currying not-by-default, optional and named parameters. Some similar stuff exist*, but they interfere with those Scala features, which I
by ackfoobar 5y ago
Scala has overloading, currying not-by-default, optional and named parameters. Some similar stuff exist*, but they interfere with those Scala features, which I value more.
* https://eed3si9n.com/learning-scalaz/Applicative.html https://eed3si9n.com/learning-scalaz/Applicative.html
I know the Haskell operators, but the Idris syntax are new to me.
BTW * has to be escaped with a \.
- shirogane86x 5y agoI see that scala(z)'s operators are adapted from haskell which seems to make it quite nice, although I don't know the finer details. Also thanks for letting me know about the escaping, sadly I can't edit the comment anymore