Un caractère est aussi une valeur à part entière. Son type est char
, prononcer "carr"
, pour abréviation de "character"
. Pour construire une valeur de type char
, on place entre des guillemets simples ce caractère.
Par exemple : 'a'
est le caractère correspondant à la lettre a. '\n'
est le caractère de retour à la ligne. ' '
est l'espace. Pour les caractères représentant des caractères spéciaux, il faut les précéder de backslashs. Ainsi : '\''
, '\"'
, '\\'
.
Un caractère est une valeur de type char
qu'on construit en plaçant le caractère entre des guillemets simples.
Pour afficher une valeur de type char
, on dispose de la fonction print_char
.
Et pour lire un caractère ? Non, il n'y a pas de fonction read_char()
. La raison est qu'il est très rare d'avoir besoin de lire qu'un seul caractère, et que de plus il est possible de lire une chaîne avec read_line()
et d'en récupérer le premier caractère. Ainsi on peut facilement définir soit même une fonction read_char()
:
let read_char () = let s = read_line() in s.[0] in