CDuce/型別/字元

Char 型別對應於所有 Unicode 字元的集合。

字元字面量

Unicode 字元字面量用單引號括起來 

'a'
'b'

五個特殊字元被轉義

'\n'
'\t'
'\r'
'\''
'\\'

任意 Unicode 值可以以十進位制或十六進位制的方式寫入

'\55;'
'\055;'
'\x37;'
'\x0037;'
'7'

對應於同一個字元。請注意必須有分號。

對於 Int 型別，可以定義字元的間隔。Byte 型別以標準方式定義為

type Byte = '\0;'--'\255;'

String 和 Latin1 型別分別定義為 序列 的 Char 和 Byte。

#print_type String;;
-> [ Char* ]
#print_type Latin1;;
-> [ Byte* ]