1
Irken Language – A Scheme with parametric polymorphism
Irken is a simplified, statically-typed dialect of Scheme . It uses an ML-like type system supporting parametric polymorphism (i.e., "let polymorphism") and algebraic datatypes . With type inference and a pattern-matching syntax, it could be considered ML with a lisp/scheme syntax .