Quiz: Maîtrise des types et fonctions en Idris — 12 domande

1. Qu'est-ce que la 'Signature fonction Idris' ?

A. Une règle de définition d’une fonction sous la forme motif = expression.

B. La règle ou l'instruction associée à une fonction, sous la forme motif = expression.

C. La zone dans laquelle un paramètre est visible, généralement l’expression à droite du '='.

D. La déclaration indiquant le nom de la fonction, ses types d’entrée et de sortie.

Answer: (D)

Spiegazione

La 'Signature fonction Idris' est la déclaration qui indique le nom de la fonction, ses types d’entrée et de sortie, par exemple 'abs : Integer -> Integer'. Elle définit la structure de la fonction sans en préciser la mise en œuvre.

2. Quelle est la définition précise d'une clause dans le contexte de Idris ?

A. Une règle ou une instruction dans une fonction, de la forme '<motif> = <expression>'

B. Un type fondamental en Idris, comme 'Integer' ou 'Bool'

C. Une déclaration du nom d'une fonction avec ses types d'entrée et de sortie

D. La zone dans laquelle un paramètre est visible, généralement limitée à l'expression à droite du '='

Answer: (A)

Spiegazione

La clause est définie comme une règle ou instruction dans une fonction, de la forme '<motif> = <expression>', indiquant comment évaluer une expression selon un motif spécifique.

3. Quel est le rôle de la portée d’un paramètre dans une clause en Idris ?

A. Elle permet au paramètre d’être accessible dans toute la fonction.

B. Elle permet au paramètre d’être modifié dans d’autres clauses ou fonctions.

C. Elle rend le paramètre accessible dans toutes les clauses de la fonction.

D. Elle limite la visibilité du paramètre à l’expression à droite du `=` dans la clause.

Answer: (D)

Spiegazione

La portée d’un paramètre dans une clause Idris est limitée à l’expression à droite du `=` où il est déclaré, ce qui signifie qu’il n’est pas accessible en dehors de cette expression. Cela permet de contrôler la visibilité et la durée de vie du paramètre, évitant ainsi toute confusion ou erreur d’utilisation en dehors de sa zone définie.

4. Quand la première version officielle d'Idris a-t-elle été publiée ?

A. En 2012

B. En 2015

C. En 2010

D. En 2018

Answer: (A)

Spiegazione

La première version officielle d'Idris a été publiée en 2012, ce qui correspond à la date de publication initiale du langage.

5. En quoi les types Integer et Nat en Idris diffèrent-ils principalement ?

A. Integer est un type pour les nombres rationnels, alors que Nat est pour les entiers naturels.

B. Integer inclut tous les entiers relatifs, tandis que Nat ne contient que des entiers non négatifs.

C. Les deux types sont identiques et peuvent être utilisés indifféremment pour représenter des nombres entiers.

D. Integer et Nat représentent tous deux uniquement des entiers positifs.

Answer: (B)

Spiegazione

La différence principale est que Integer couvre tous les entiers relatifs, y compris négatifs, zéro et positifs, tandis que Nat ne contient que les entiers naturels (zéro et positifs).

6. Qui a formulé la théorie de la relativité restreinte ?

A. Albert Einstein

B. Galilée

C. Niels Bohr

D. Isaac Newton

Answer: (A)

Spiegazione

Albert Einstein est crédité d'avoir formulé la théorie de la relativité restreinte en 1905, ce qui en fait la réponse correcte. Isaac Newton est connu pour la loi de la gravitation universelle et la mécanique classique, Galilée pour ses observations astronomiques, et Niels Bohr pour ses contributions à la structure atomique.

7. Quel est le rôle principal du type Bool dans la programmation en Idris ?

A. Permettre la prise de décision et le contrôle du flux d'exécution

B. Représenter des valeurs numériques pour les calculs arithmétiques

C. Stocker des données binaires pour la gestion de fichiers

D. Gérer les chaînes de caractères pour l'affichage

Answer: (A)

Spiegazione

Le type `Bool` est utilisé pour représenter des valeurs logiques `True` ou `False`, qui servent à contrôler le flux d'exécution via des expressions conditionnelles comme `if ... then ... else ...`, établissant ainsi une relation cause-effet dans la logique du programme.

8. Comment appliquer la fonction show pour afficher une chaîne de caractères représentant une valeur en Idris ?

A. Utiliser show directement sur une chaîne de caractères pour l'afficher.

B. Utiliser show sur une valeur non-String pour la convertir en String, puis l’afficher avec putStrLn.

C. Utiliser show pour transformer une valeur en chaîne de caractères, puis l’afficher avec print ou printLn.

D. Utiliser show pour convertir une chaîne en valeur, puis l’afficher avec print.

Answer: (C)

Spiegazione

La fonction show convertit une valeur d’un type appartenant à la classe Show en une chaîne de caractères (String). Pour l’afficher, on utilise ensuite print ou printLn, ou putStr ou putStrLn pour afficher cette chaîne. La bonne pratique est de convertir la valeur avec show, puis de l’afficher, ce qui correspond à l’option 4.

9. Quelle est la caractéristique principale de la fonction show en Idris ?

A. Elle affiche directement la valeur sans la convertir en chaîne.

B. Elle nécessite que le type de la valeur appartienne à la classe Show pour fonctionner.

C. Elle ne peut convertir que des valeurs de type String.

D. Elle convertit toute valeur en chaîne de caractères sans condition.

Answer: (B)

Spiegazione

La fonction show en Idris est conçue pour convertir toute valeur dont le type appartient à la classe Show en une chaîne de caractères (String). Sa signature, 'Show a => a -> String', indique que le type doit être dans la classe Show, ce qui est la propriété essentielle qui la caractérise.

10. Que font les fonctions `print` et `printLn` en Idris ?

A. Elles convertissent une valeur en chaîne de caractères mais ne l'affichent pas, laissant cette tâche à une autre fonction.

B. Elles affichent une valeur brute sans conversion, `print` sans saut de ligne et `printLn` avec saut de ligne.

C. Elles convertissent une valeur en chaîne de caractères avec `show` et l'affichent, `print` sans saut de ligne et `printLn` avec saut de ligne.

D. Elles prennent une chaîne de caractères en argument et l'affichent directement à l'écran.

Answer: (C)

Spiegazione

Les fonctions `print` et `printLn` en Idris utilisent la fonction `show` pour convertir une valeur en chaîne de caractères (`String`) avant de l'afficher. `print` affiche sans saut de ligne, tandis que `printLn` affiche avec un saut de ligne. Cette utilisation de `show` est essentielle pour afficher des valeurs de types variés dans la console.

11. Quelle est la signature de la fonction principale permettant d'effectuer des actions d'entrée/sortie dans Idris?

A. main : IO String

B. main : () -> IO ()

C. main : IO ()

D. main : String -> IO ()

Answer: (C)

Spiegazione

La signature correcte pour la fonction principale dans Idris, permettant d'effectuer des actions d'entrée/sortie sans retourner de valeur significative, est `main : IO ()`. Les autres options sont incorrectes car elles modifient la signature en ajoutant des paramètres ou des types qui ne correspondent pas à la signature standard attendue pour la fonction principale dans Idris.

12. Quel est le rôle principal de l'exécution REPL Idris dans le contexte de développement ?

A. Permet d'exporter des fonctions Idris vers d'autres langages de programmation

B. Permet de tester et d'évaluer rapidement des expressions ou fonctions dans Idris

C. Permet de compiler un programme Idris en un exécutable autonome

D. Permet de convertir des fonctions Idris en code C pour l'optimisation

Answer: (B)

Spiegazione

L'exécution REPL Idris, notamment via la commande `:exec main`, sert à tester et évaluer rapidement des expressions ou fonctions dans l'interpréteur Idris, facilitant le développement interactif et le débogage.