H ? « »

Language peer sets for O'Haskell:
United States
United States/2002
Designed 2002
2000s languages
New internationlism


alternate simple view
Country: United States
Designed 2002

Polymorphic subtyping in O'Haskell

Johan Nordlander

Department of Computer Science and Engineering, Oregon Graduate Institute of Science and Technology, 20000 NW Walker Road, Beaverton, OR 97006, USA

Available online 6 February 2002.

O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type system with polymorphism and overloading, the type system of O'Haskell is much richer than what is the norm in almost any widespread object-oriented or functional language. Yet, there is strong evidence that O'Haskell is not a complex language to use, and that both Java and Haskell programmers can easily find their way with its polymorphic subtyping system. This paper describes the type system of O'Haskell both formally and from a programmer's point of view; the latter task is accomplished with the aid of an illustrative, real-world programming example: a strongly typed interface to the graphical toolkit Tk.

Author Keywords: Type inference; Subtyping; Polymorphism; Haskell; Graphical toolkit

  This Document  
  $Order Document  


  Cited By  
  Save as Citation Alert  
  Export Citation  

Science of Computer Programming
Volume 43, Issues 2-3, May-June 2002, Pages 93-127

Related languages
Haskell O'Haskell   Augmentation of

Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder