TypeL is a Common Lisp sublanguage with strong typing and type inference a la ML.

This is the first version of TypeL, and it is very primitive. These features are implemented:

  1. Polymorphic type inference.
  2. Currying.
  3. TypeL is a Lisp-1.
  4. Arithmetic, boolean and list operations.

Features that will be implemented in feature releases:

  1. Algebraic types and pattern matching.
  2. Detailed error reporting.
  3. Code optimization based on type information and static analysis.

TypeL is licensed under the terms of the LLGPL.

You can download TypeL from http://web.archive.org/web/20040410205511/http://lispnik.newmail.ru/typel/typel-0.1.tar.bz2

programming language