The O'Haskell homepage
O'Haskell is
- the purely functional language Haskell, conservatively extended with
- subtyping
- monadic objects
- an object-oriented imperative language, enhanced with
- parameteric polymorphism
- automatic type inference
- a concurrent language, with
- a reactive communication model
- asynchronous and synchronous message-passing
all at the same time. The O in O'Haskell should be interpreted as standing
for both Objects and what remains of IO when the Evil I is
removed.
O'Haskell is currently being developed at
Oregon Graduate Institute and
Chalmers University of
Technology by
Johan Nordlander,
Magnus Carlsson, and
Björn von Sydow.
A rationale for O'Haskell
A survey of O'Haskell
Some O'Haskell programming examples
More examples, with screenshots
Papers on O'Haskell
O'Hugs, the O'Haskell
interpreter New release January 31 2001!
Page maintained by Johan Nordlander.
Last modified: January 31 2001