Chaine de caractère [string]

Déclaration

Une chaine de caractères est entre guillemets doubles ".

let a = "chaine de caractères"

Il existe plusieurs façons de saisir un caractère :

en le tapant directement au clavier
en écrivant son code ASCII décimal sur trois chiffres précédé d'un \ : \097 pour a
en utilisant un caractère d'échappement \ quand c'est nécessaire :

Caractères d'échappement
Caractère	Signification
\n	saut à la ligne
\t	tabulation
\\	antislash
\"	guillemet double
\'	guillemet simple (inutile pour les strings)

Pour accéder aux éléments d'une chaîne de caractères, on utilise la notation chaine.[i] où i est la position de l'élement dans la chaîne :

# let chaine = "abcde";;
val chaine : string = "abcde"
# chaine.[2];;
- : char = 'c'

On récupère alors un élément de type char.