2007-09-17
Vodka - An Interesting Concurrent Language
Recently on Lambda the Ultimate there was an announcement about the Vodka programming language. The language is a masters thesis project by Tiark Rompf and has some interesting ideas.
It is designed to be a concurrency oriented language, based on the ideas of Join Calculus and Petri Nets. It has multimethod dispatch (like CLOS, Dylan and Nice), generators and many interesting features of other languages can be implemented as libraries.
The Vodka web site has some examples:
- Mutable State and Transactions"
- Generators
- Web Applications
- Dining Philosophers
- Declarative GUIs
- Walking Robot
The language itself is explained in Tiark's thesis document and a reference implementation is in an SVN repository. There is a discussion group about it at google groups.