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.
Testez vos connaissances avec un QCM de 12 questions sur Maîtrise des types et fonctions en Idris.
1. Qu'est-ce que la 'Signature fonction Idris' ?
2. Quelle est la définition précise d'une clause dans le contexte de Idris ?
Révisez le cours complet dans la fiche de révision de Maîtrise des types et fonctions en Idris.
Voir la fiche →Intelligence Artificielle
Bases de données
Bases de données
Bases de données
Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards