Soucis pour démarrer avec Haskell

Bonjour,

Je démarre avec Haskell, langage que j'utilise en cours de concepts des langages informatiques.

J'ai une question vraiment "bête", je n'arrive à rien écrire du tout comme comme code excepté les trucs genre print (5).

Sous hugs, par exemple quelques exemples de mes problèmes...

Code:

---

1 2 3

Hugs> int 5 ERROR - Undefined variable "int"

---

Ou encore avec cet exemple :

Code:

---

1 2 3

Hugs> foo bar = bar * 10 + 4 ERROR - Syntax error in input (unexpected `=')

---

Je suis sous linux, j'ai installé GHC et Hugs et même résultat pour les 2, je suis sûr que c'est un problème tout con mais après une aprèm de recherche, impossible de trouver d'où ça vient.

Merci pour votre aide !

Code:

---

1 2	Hugs> int 5 ERROR - Undefined variable "int"

---

Et que voudrais tu que cela fasse ? int n'est pas une fonction définie.

Code:

---

foo bar = bar * 10 + 4

---

Les interpréteurs Haskell (et je te recommande chaudement GHC/GHCi plutôt que Hugs) n'acceptent que deux choses après leur prompt : une expression ou une action IO. Là tu lui donnes une définition. Si tu étais sous GHCi, tu pourrais écrire :

Code:

---

let foo bar = bar * 10 + 4

---

(Comme si tu étais dans un do-bloc)
et utiliser foo pour la suite.
Mais on m'a dit que Hugs n'acceptais même pas ceci.

Donc si tu veux voir si ta fonction marche, tu peux faire :

Code:

---

let foo bar = bar * 10 + 4 in foo 5

---

(là c'est une expression)

J'ai toujours trouvé remarquablement plus facile de simplement utiliser un bon éditeur avec un mode Haskell qui me permet de lancer un interpréteur sur le script que je suis en train d'éditer pour tester quelques fonctions, lancer quelques calculs, etc... Emacs en particulier a un excellent haskell-mode.

--
Jedaï

Donc si je comprends bien, il faut absolument tout déclarer, même les types Int ?

Ce n'est pas expliqué en début des tutoriels, celui sur ce site donne des exemples en disant de les tester mais on ne peut car les types n'existent pas en fait.

Il est aussi expliqué que le type Int est sur 32 bits tandis que le type Integer est infini, ils existent donc bien quelque part non ?

Comment faire pour pouvoir tester les fonctions du tutoriel de Eric Etheridge ? Il faut charger une certaine librairie ?

Et comment définir un type, ou une fonction ? Qui m'évite ce genre d'erreur ?

Code:

---

1 2	Hugs> inc :: Integer -> Integer ERROR - Undefined variable "inc"

---

Je précise que je vais uiliser Hugs parce que c'est là dessus que l'on va devoir travailler à la fac.

Merci

Citation:

---

Envoyé par Fused

Donc si je comprends bien, il faut absolument tout déclarer, même les types Int ?

---

Non justement. Les types ne se déclarent pas explicitement : ils sont déduit par inférence.

As-tu déjà utiliser un interpréteur ? comme celui de python par exemple.
Là non plus on ne déclare pas les types.

Les exemples du tutoriel que tu mentionnes sont prévus pour le compilateur.
Essayes simplement

Code:

---

5 + 4

---

Mais tu devrais demander à l'assistant ou au prof chargé du cours un peu d'aide -_- Il serait étonnant qu'à l'UQAM ou à l'UdeM on ne réponde pas à tes questions ;)

Citation:

---

Envoyé par Fused

Donc si je comprends bien, il faut absolument tout déclarer, même les types Int ?

---

Prend le temps de lire précisément ce que j'écris : il n'est jamais question de Int mais de int, de plus il n'est jamais question de types non plus, les types dans un interpréteur Haskell tu ne les verras jamais autre part qu'à droite du ::.

Code:

---

int 5

---

Ceci est l'application de la fonction "int" au nombre 5, or "int" n'est pas une fonction standard (et je ne sais pas ce que tu voudrais qu'elle fasse si elle existait).

Code:

---

inc :: Integer -> Integer

---

Ceci veut dire "affiche moi la fonction 'inc' préexistante avec le type Integer vers Integer" or la fonction "inc" n'existe pas non plus...

Si tu veux définir et utiliser une fonction 'inc', tu peux faire ceci, comme je te l'ai déjà montré :

Code:

---

let inc x = x + 1 in inc 5

---

--
Jedaï

Ah oui, en effet, il se peut qu'il y ai certaines notions que je n'ai pas saisi.
Je vais essayer de mieux comprendre.

Citation:

---

Envoyé par Jedai

Si tu veux définir et utiliser une fonction 'inc', tu peux faire ceci, comme je te l'ai déjà montré :

Code:

---

let inc x = x + 1 in inc 5

---

---

Je trouve ça bizarre que ce n'est écrit dans aucun des tutos que j'ai lu, et de plus dans mon cours dans tous les exemples que j'ai vu, on commence par écrire :

Code:

---

1 2	fonction :: type1 -> type2 fonction (.......

---

Citation:

---

Envoyé par Garulfo

As-tu déjà utiliser un interpréteur ? comme celui de python par exemple.

---

Qu'entends tu par là ? Compilateur ? J'utilise Hugs en mode console sous Unix là.

Citation:

---

Envoyé par Garulfo

Mais tu devrais demander à l'assistant ou au prof chargé du cours un peu d'aide -_- Il serait étonnant qu'à l'UQAM ou à l'UdeM on ne réponde pas à tes questions ;)

---

UdeM en effet oui :) mais certains profs ici on une fâcheuse tendance à embrouiller sans répondre à la question au final...

Citation:

---

Envoyé par Fused

Je trouve ça bizarre que ce n'est écrit dans aucun des tutos que j'ai lu, et de plus dans mon cours dans tous les exemples que j'ai vu, on commence par écrire :

Code:

---

1 2	fonction :: type1 -> type2 fonction (.......

---

---

Ceci, c'est ce que tu écris dans un script (un fichier .hs), pas dans l'interpréteur...

Citation:

---

Citation:

---

As-tu déjà utiliser un interpréteur ? comme celui de python par exemple.

---

Qu'entends tu par là ? Compilateur ? J'utilise Hugs en mode console sous Unix là.

---

Non, il veut dire "interpréteur en ligne de commande" comme Hugs en fait... Tu ne sembles pas avoir énormément d'expérience avec eux.
Un compilateur prend ton fichier .hs et le transforme en un exécutable (GHC est un compilateur, GHCi est l'interpréteur associé, Hugs est un autre interpréteur pour Haskell).

--
Jedaï

Ok je comprends, c'est comme PROLOG en fait, on écrit des règles et fonctions dans un fichier, on le charge à partir du terminal et on utilise tout ce qui a été créé en appelant les fonctions etc.

Je m'attaque à comprendre la syntaxe maintenant, c'est pas évident !

Pouvez vous m'aider à comprendre ce code ?

Code:

---

1 2 3 4 5 6 7

data Exp = Enum Int -- Une constante | Eplus Exp Exp -- e1 + e2 | Etimes Exp Exp -- e1 * e2 | Eneg Exp -- (- e) | Egt Exp Exp -- e1 > e2 | Enot Exp -- (not e) | Eif Exp Exp Exp -- if e1 then e2 else e3

---

C'est la déclaration d'un type inductif :

• c'est un type récursif
• à droite de = on t'en donne une partition

La barre verticale | se lit "ou bien" :

• ou bien l'expression est une constante
• ou bien l'expression est une somme
• ou bien l'expression est un produit
• ...

Exp est le nom du type déclaré, Enum est l'un des constructeurs pour ce type (tout comme Eplus, Etimes, Eneg, Enot, Egt et Eif), les types après les constructeurs sont les paramètres de ce constructeur.
Ce qui signifie que

Code:

---

Enum 5

---

est une valeur du type Exp, tout comme :

Code:

---

Eplus (Etimes (Enum 3) (Enum 2)) (Enum 36)

---

...

"--" introduit un commentaire au cas où tu ne le saurais pas...

--
Jedaï

Citation:

---

Envoyé par Fused

[...]
UdeM en effet oui :) mais certains profs ici on une fâcheuse tendance à embrouiller sans répondre à la question au final...

---

C'est vrai partout. Mais au DIRO, il suffit souvent de demander de répéter et ils le font gentillement ;)

Bon sinon je ne dis pas ça pour pas que tu ne postes ici. C'est un bon réflexe de chercher de l'aide. Cependant, tu devrais commencer par l'aide que tu as autour de toi. Il y a bien un assistant de lab non ? Un correcteur disponible ? Il pourra te montrer en deux trois mouvements ce qu'on essaye de dire en mille mots.

Merci bien pour vos exclaircicements, heureusement pour moi que vous êtes là !
Encore, cet aprem j'ai posé la question suivante à un prof, mais après 10 minutes, j'avais rien compris... :?
Pas évident de dire la vérité aux profs, donc j'ai préféré chercher par moi même mais je n'ai pas compris mon problème.

Enoncé :
Exp est un type qui représente des expressions simples incluant des opérateurs arithmétiques et booléens.
Val est un type qui représente des valeurs entères ou booléennes.
eval est une function qui doit évaluer une expression et retourner la valeur qui en résulte.

Voilà le code (vous noterez que je commence tout de même à m'améliorer ;))

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

data Exp = Enum Int -- Une constante | Eplus Exp Exp -- e1 + e2   data Val = Vnum Int | Vbool Bool   instance Show Val where show (Vnum x) = show x show (Vbool True) = "Vrai !" show (Vbool False) = "Faux !"   eval :: Exp -> Val eval (Enum n) = Vnum n eval (Eplus e1 e2) = eval(e1) + eval(e2)

---

Si je met la dernière ligne en commentaire, cela fonctionne, sinon j'ai pour message d'erreur :

Code:

---

Instance of Num Val required for definition of eval

---

Une idée de ce qui ne va pas ?

Lis donc le sujet qui précède juste le tien, apparemment vous suivez le même cours... Et j'y réponds précisément à cette question (ainsi que quelques autres qui pourraient te passer par l'esprit).

--
Jedaï