fun map f [] = []
| map f (x::xs) = (f x) :: map f xs;
And boy, no TCO. What a shame. * Universal pattern-matching (everywhere)
* Obvious syntactic sugar for defining and applying curried
functions, partial application.
* Type-classes (as a one single major innovation in PL
since Smalltalk)
* receive (or select) with pattern matching (Erlang, protobuf).
* first class typed channels (Go).
* multimethods (CLOS).
Thank you!
We should learn more from Go and Erlang.
I hope the Tide will do.