projprog/HSK1.md

Haskell 1

### Exercice 1

1. C'est un langage qui execute ses instructions de manière séquentielle. Cf cours de THprog ^^.
2. C'est un langage qui manipule des fonctions, des objets et dont l'execution est plutôt arborescente.
3. Dans un langage fonctionnel pur, la valeur ou état d'une variable n'est pas modifiable. L'instruction let n'alloue pas une case mémoire donnée au programme, mais affecte un nom à une valeur.
4. Un langage fonctionnel pur n'a pas d'effet de bord (side effect). Simplement une entrée, et une sortie.
5. C'est un paradigme différent, adapté à certains algorithmes. Les erreurs de développement sont moins fréquentes car l'objectif d'une fonction nommée est en général plus clair que celui d'une série d'instructions. (Plus pas de variable qui traine et dont la valeur est modifiée par une impromptue ligne perdue).

Exercice 2

1. L'évaluation paresseuse décrit la non execution/évaluation de segments de code dont le résultat ne sera pas utilisé. Par exemple, dans une conjonction logique, si un terme est évalué à faux, alors il n'est plus utile d'évaluer les autres.
2. Le programme évalue d'abord addTwo(4) -> 6. Puis il peut ensuite évaluer addTwo(addTwo(4)) -> addTwo(6) -> 8. Enfin, il peut évaluer addTwo(addTwo(addTwo(4))) -> addTwo(8) -> 10.
3. Le typage statique signifie qu'une variable du code a un et un seul type qui lui est assigné par le compilateur. Cela permet de ne pas confondre les variable et de ne pas effectuer d'opération illégales car fausses par maladresse (ajouter un entier et une chaine de caractère est souvent signe de code non intentionnel).
4. Cela signifie que le compilateur va essayer de comprendre les types des variables utilisées de lui-même, en utilisant le contexte et les types connus. Par exemple, si l'expression 7+x est présente, le compilateur va associée à la variable x le type «entier».

Ça évite d'avoir à préciser tous les types, ce qui peut être redondant, notamment dans les fonctions manipulant de nombreuses variables. 5. Le compilateur devrait comprendre que a est de type «entier» par inférence de type justement.

Exercice 3

1. Haskell a d'autres compilateurs, comme l'UHC ou le LHC.
2. J'installe Haskell.... AH. 1Go d'installation. Je vais faire le reste des questions ...
3. La plateforme Haskelle contient:

• GHC le compilateur
• Cabal le gestionnaire de paquets Haskell
• Stack un outil aidant au développement de projets Haskell.
• haskell-language-server une api permettant d'utiliser Haskell dans son IDE favori.

4. Le mode interactif de GHC permet d'évaluer des expression Haskell de manière interactive, plutôt que de compiler puis executer l'intégralité du programme. C'est utile pour deboguer un programme, ou jouer avec/tester les fonctionnalités de Haskell.
5. Pour lancer GHCi, il faut taper la commande .... ghci.
6. Pour quitter, on peut lancer le caractère EOF, typiquement avec Ctrl+D.