Hacker News new | ask | show | jobs
by tmtvl 11 days ago
It is typed, but it's not very well typed. List is 'null or cons' for instance, not 'null or (cons * list)'. Also lack of generics so you can't have a class which holds an element of a generic type which can be determined later on in the compilation process (e.g. a weight-balanced tree which holds elements of a given type).