Lambda Associates provides advanced
software for students, educators, and scientists
engaged in software research. We build on top of
the best of what has been done, and for that
reason, the foundation of our work is in Lisp.
But though all of our work is based on Lisp, most
of our actual coding is in Qi.
Qi is an award-winning
functional programming language that offers the
best of Common Lisp with the advantages of
pattern matching, l calculus consistency,
and optional static type checking. It uses
sequent calculus notation to define types, and
has the most powerful type system of any existing
functional language, including ML and Haskell.
Qi
is free for educational and personal use. A full
commercial license is included free in the
standard text Functional Programming in Qi
(second edition).
|
