- 23 Mar 2010, 18:30
v2.6 has been released. More sophisticated wrong terms,
and error-handling, assert syntactic sugar, better parsing, and more.
- 23 Mar 2010, 10:00
v2.5 has been released, and "typed",
a new system has been implemented!
- 19 Mar 2010
v2.2 (a complete rewrite) has been released!
- 13 Mar 2010
v1.4.1, the final version of the 1.x series has been released.
- 11 Mar 2010
v0.77 is out.
TsouTAPL implements various systems similar to the ones in
Benjamin Pierce's book
Types and Programming Languages.
Thanos Tsouanas (that's me).
It is written in Haskell.
It has been tested on OpenBSD,
with various GHC compilers:
Some comes with the tarball, but do check the
of the latest version (2.6), produced by
It started as a small project for the Type Systems for Programming Languages
course, given at MPLA by
(But I got excited and kept working on it night after night.)
- Version 2.x
(latest, stable version)
is an almost-complete rewrite, since
I was not satisfied with neither the structure nor the implementation of
the previous version. At the moment, two systems have been implemented:
More calculi will be implemented soon.
the untyped lambda calculus with unit, booleans and arithmetic, and
the simply typed lambda calculus with unit, booleans, arithmetic
- Version 1.x
is the one
submitted for the course (see below). It implements a simply typed lambda
calculus with unit, booleans, arithmetic, wrong terms, and some
other bits here and there.
Unfortunately, I do not like this version anymore!
- Version 0.x
Forget about those versions, they are bad for you and your family.
Why would you care.