Ernest

Ernest

Ernest is a small functional language for concurrent programs, on the Erlang runtime. It has two concepts: functions, with Hindley-Milner types, and processes with typed mailboxes, the only way to affect the world.