My plans for today are to go thru the Motoko at a glance page and define each element as best i can.
Semantics
- call-by-value (like Java, C, JS, and ML; unlike Haskell and Nix) // better name than
not lazy - declarations are locally mutually recursive // ?this one will need some research.
- parametric, bounded polymorphism //???
- subtyping as subsumption, not coercion //???
- no dynamic casts
- no inheritance // I think I will like this part – never really got the idea of
this.something
please don’t hesitate to reply with some info. 