A conservative extension of the *(functional) *(programming language) *(Haskell), providing better subtyping and direct support for monads.

This makes it also a *(concurrent) and *(object-oriented) language. Its "reactive" concurrency model allows for synchronous and asynchronous message-passing, and its object system is parametrically-polymorphic, unlike ordinary Haskell which mainly provides abstract data types.

<ul class="links">
<li>The _(home page|http://www.cs.chalmers.se/~nordland/ohaskell/)
</ul>
