A *(functional) *(programming language) with first-class environments. It also has a shopping list of features, some available in _(ML), such as:
<ul>
<li>Hindley-Milner type-inference.
<li>Multiple inheritance and subtyping.
<li>_(Higher-order) functions.
<li>Module-based encapsulation.
<li>Equational _(pattern-matching).
<li>Late binding and genericity.
</ul>

Bla is one of many fine languages created by _(Wouter van Oortmerssen).

See _(the homepage| http://wouter.fov120.com/bla/).