> But since you don't mind Lisp syntax, and really like type systems, have you tried Shen? I also want: (0) Type inference. Shen seems to require all typed co

> But since you don't mind Lisp syntax, and really like type systems, have you tried Shen? I also want: (0) Type inference. Shen seems to require all typed code to be manually type-annotated. (1) A decent module system. There seems to be no mention of abstract types in Shen's documentation. (2) A guarantee that dynamically typed code won't break abstractions defined in statically typed code.