BlaA functional programming language with first-class environments. It also has a shopping list of features, some available in ML, such as:
- Hindley-Milner type-inference.
- Multiple inheritance and subtyping.
- Higher-order functions.
- Module-based encapsulation.
- Equational pattern-matching.
- Late binding and genericity.
Bla is one of many fine languages created by Wouter van Oortmerssen.
See the homepage.
This page is linked from: Wouter van Oortmerssen