package lutin
Lutin: modeling stochastic reactive systems
Install
dune-project
Dependency
Authors
Maintainers
Sources
lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de
doc/lutin/CkTypeEff/index.html
Module CkTypeEffSource
TYPE/BINDING CHECK : typage
------------------------------------------------------------
Type effectif :
- implémente l'équivalence de type
- et aussi le typage "fonctionnel" des macros, en prennant en compte le polymorphisme et la sucharge des opérations numériques
N.B. Pour ce qui est de l'équivalence, pour l'instant c'est un peu du luxe, vu qu'on n'a que des types simples ...
----------------------------------------------------------
pour typer les variables et les expressions
pour typer les macros
GESTION DES PROFILS
TYPES USUELS
PROFILS USUELS on utilise les mnémo. b -> bool i -> int n -> int ou real x -> int ou real ou bool t -> trace w -> weight e -> exception
- simples :
- polymorphes :
- surchargés :
EXPRESSION DE TYPE -> TYPE EFFECTIF
PRETTY-PRINT
COMPATIBILITÉ DES t lifts_to x y ssi un x peut être utilisé en place d'un y en particulier eq => lifts_to
RÉSOLUTION DES profils :
- renvoie le type eff du résultat si compatible
- raise Failure ou Invalid_argument sinon