Adrien Durier PRO
Enseignant-Chercheur en informatique @ Université Paris-Saclay
Programmation Fonctionnelle
Polytech Paris Saclay
2024-2025
Adrien Durier
OCaml
II. Types - Partie 2
II. Types - Partie 2
OCaml
Types Simples
(suite)
Types Simples - Rappel
let z = 4 + 1 - 2 * 2let x = 4.3e4 +. 1.2 *. -2.3let x = false || true
let x = 3 <= 1
let x = not (0=2) && 1 >= 3
let x = if 2 < 0 then 2.0 else (4.6 *. 1.2)- Les
int
- Les
float
- Les
bool
Types Simples
let z = 'a'let x = "hello"- Les
char
- Les
string
Types Simples - strings
let z = 'a'- Les
char
On a les fonctions int_of_char et char_of_int:
# int_of_char 'a' ;;
- : int = 97
# char_of_int 100 ;;
- : char = 'd'/!\ L'apostrophe ' indique un caractère
Le double apostrophe " une chaîne de caractères
Code ASCII
Types Simples
let z = 'a'let x = "hello"- Les
char
- Les
string
Types Simples
let x = "hello"- Les
string
- L'opérateur
^concatène les chaînes -
.[i]accède au caractèrei(commence à 0)
# "" ;;
- : string = ""
# "hello".[1] ;;
- : char = 'e'
# string_of_int 123 ;;
- : string = "123"Types Simples
-
Printfest de typeunit -
unitsert pour les fonctions qui n'ont que des effets de bord:- Sinon ils n'auraient pas de type !
-
Un peu comme
void
-
Une seule valeur de type
unit, notée() -
Donc toutes les valeurs de type
unitsont égales !!!
# () ;;
- : unit = ()
# Print.printf "bonjour\n" ;;
bonjour
- : unit = ()Types Simples
-
(1,2)est de typeint * int -
(1,"WTF")est de typeint * string
let u = (1, 2)
let uu = (1,"AAAAAAAAAh")
let f (x, y, z) w = if x + y < 0 then w^"NON" else z
let fst x = let (w,z) = x in w
let snd x = let (w,z) = x in wTypes Simples
-
(1,2)est de typeint * int -
(1,"WTF")est de typeint * string -
Quel est le type de
f,fst,snd ?
let f (x, y, z) w = if x + y < 0 then w^"NON" else z
let fst x = let (w,z) = x in w
let snd x = let (w,z) = x in wTypes Simples
-
(1,2)est de typeint * int -
(1,"WTF")est de typeint * string -
Quel est le type de
f,fst,snd ?
let f (x, y, z) w = if x + y < 0 then w^"NON" else z
let fst x = let (w,z) = x in w
let snd x = let (w,z) = x in zRéponse:
-
f:(int * int * string) -> string -> string -
fstest de type('a * 'b) -> 'a -
sndest de type('a * 'b) -> 'b
Programmation Fonctionnelle - II. Complément Typage (Version Web)
By Adrien Durier
Programmation Fonctionnelle - II. Complément Typage (Version Web)
Programmation Fonctionnelle: Cours 2 - Complément du cours 1 sur le typage
