COCA-ML

Attention la version courante est la 0.2a06, c'est juste une adaptation aux nouveaux traits de camlp4.

L'idee principale est d'introduire la relation de sous-héritage au niveau des déclarations de classes.

Description

Cette extension introduit sept nouvelles constructions syntaxiques :

• déclaration de classe

  "subinherit c ..."

• prédicats

  	"of"	"instanceof"	"instanceof and subtype"
  Syntax	expr of c	expr instanceof c	expr subinstanceof c
  Typing	bool	bool	bool
  Evaluation	true ou false	true ou false	true ou false

• contraintes de types

  	"cast"	"upcast"	"downcast"
  Syntax	cast expr to c2	upcast expr from c1 to c2	downcast expr from c1 to c2
  Typing	c2	c2	c2
  Evaluation	valeur de expr	valeur de expr	valeur de expr

Exemples

• test1.ml : héritage simple de 3 classes
• test2.ml : deux fils d'une classe abstraite
• test3.ml : héritage multiple

Récentes modifications

• version pour O'Caml 3.06 (27/9/2002)
• version pour o'caml 3.04 (22/1/2002)
• nouvelle version 0.2a (10/12/2001)
• ancienne version v0-1

Distribution