|
Postscript, PDF | Didier Rémy | Polytechnique, INRIA |
|
|
||||
StdLabels
avec la commande
open StdLabels;; |
|
|
f
et init
, ce qui
s'écrit ainsi (les étiquettes d'argument sont préfixée par ~
):
|
|
|
|
|
|
|
|
-labels
(aussi bien pour le toplevel que pour le compilateur). -labels
n'existe plus.
Le choix du mode étiquetté se fait en ouvrant ou pas le module
stdLabels
.
|
-labels
est de rendre
certains arguments optionnels, en fournissant lors de la définition de la
fonction une valeur par défaut.
|
pas
qui est optionnel avec la valeur par défaut 1
pour
l'argument de nom pas. On peut alors écrire:comme auparavant:
|
ou bien
|
|
'a option
... avec un peu
de sucre syntaxique.
|
|
|
`
)
mais dont le domaine est typé plus finement.
|
Demi
signifie que demi
est construit
avec l'étiquette `Float
de type float
et peut être mélangé à
des valeurs construites avec d'autres étiquettes.
|
x
est une liste de valeur construite avec l'étiquette
`Float
portant des valeurs de type float
, avec l'étiquette
`Int
portant des valeurs de type int
, ou avec d'autres
étiquettes.
|
|
float_of_num
est une valeur construite au plus avec
l'étiquette `Float
portant des valeurs de type float
ou avec
l'étiquette `Int
portant des valeurs de type int
.This document was translated from LATEX by HEVEA and HACHA.