The Programming Languages Zoo

A potpourri of programming languages

poly

[source] [example]

A simple lazy purely functional language with parametric polymorphism. The implementation contains a parser, type inference, and an efficient interpreter. The language has integers, booleans, lists, pairs, functions, and a general fixpoint operator.

Poly is very similar to miniHaskell. The only difference is that it infers polymorphic types.

The file example.minply defines basic operations on lists.