Флашкарти: Maîtrise des types et fonctions en Idris — 24 карти

Signature d’une fonction — définition ?

Déclaration indiquant nom, types d’entrée et de sortie.

Clause — rôle ?

Règle associée à une fonction, motif + expression.

Portée paramètre — localisation ?

Limitée à l’expression à droite du `=` où il est déclaré.

Types de base Idris — exemples ?

Integer, Nat, Bool, String.

Type Integer — description ?

Entiers relatifs, positifs ou négatifs.

Type Nat — description ?

Entiers naturels, non négatifs.

Type Bool — valeurs ?

True et False.

Type String — contenu ?

Chaînes de caractères.

Fonction show — rôle ?

Convertit une valeur en chaîne de caractères.

Print vs printLn — différence ?

print sans saut de ligne, printLn avec saut.

Type IO () — signification ?

Action d’entrée/sortie sans valeur de retour.

Exécution REPL Idris — commande ?

:exec main

Signature — exemple simple ?

abs : Integer -> Integer.

Clause — syntaxe ?

motif = expression.

Portée paramètre — comment ?

Limitée à l’expression à droite du `=`.

Types Idris — majuscule ou minuscule ?

Majuscule.

Type Integer — valeur ?

Entiers relatifs, négatifs ou positifs.

Type Nat — valeur ?

Entiers naturels, ≥ 0.

Type Bool — valeurs ?

True, False.

Type String — exemple ?

"Bonjour".

show — contrainte ?

Classe Show, pour convertir en String.

print — utilisation ?

Afficher une valeur, sans saut de ligne.

printLn — utilisation ?

Afficher avec saut de ligne.

main : IO () — rôle ?

Point d’entrée pour actions d’entrée/sortie.