O'Haskell, Ohaskell это объектно-ориентированное, параллельное расширение языка программирования Haskell. Язык разрабатывается совместно несколькими институтами.

O'Haskell это:

• 
  полностью функциональный язык, который был расширен
  • 
    подтипами
    
  • 
    объектами монады
    

• 
  объектно-ориентированный императивный язык расширенный
  • 
    параметрическим полиморфизмом
    
  • 
    автоматическим выводом типов
    

• 
  параллельный язык с
  • 
    реагирующей моделью взаимодействия
    
  • 
    синхронным и асинхронным обменом сообщений