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. Syntax Irken's syntax is nearly identical to Scheme's. The main differences are: postfix array-indexing (e.g., "(+ x[i]