[Haskell] Flot et fonctions

Bonjour,

J'ai un petit probleme avec une fonction toute bête sur un flot infini.

Supposons une fonction apply qui prend en parametre une fonction unaire et qui l'applique à toutes les valeurs d'un flot (infini dans notre cas) passé en parametre.

Voila le type de la fonction :

(a -> b) -> [a] -> [b]

Or j'ai essayé ceci :

Code:

---

1 2	apply1 fonction flot = (fonction (last(take (1 flot)))): (apply1 (fonction takeWhile (vrai 2 flot)))

---

et la fonction vrai :

Citation:

---

vrai a = True

---

Dans ma logique, il applique la fonction au dernier element de la liste contenant le premier element du flot (:aie:) qu'il concatene avec apply1 du reste. Or il me met une erreur de type :

Citation:

---

(line 10): Type error in application
*** Expression : vrai 2 flot
*** Term : vrai
*** Type : d -> Bool
*** Does not match : a -> b -> c

---

Ou est l'erreur ? je comprend pas trop

Merci

Fred

Citation:

---

Envoyé par mavina

Ou est l'erreur ? je comprend pas trop

Merci

Fred

---

Je ne suis pas sûr du tout du reste de ta fonction, mais de toute façon, tu n'as pas l'air d'avoir compris ce que faisait "vrai" : d'après ta définition, vrai prend un paramètre et renvoie True, donc :

Code:

---

vrai 2 flot

---

est équivalent à

Code:

---

True flot

---

Ce qui n'a aucun sens...

Que voulais-tu faire ?

Code:

---

vrai a = (==) a

---

(NB : cela fait de vrai un synonyme de (==))

--
Jedaï

Citation:

---

Envoyé par mavina

Bonjour,

J'ai un petit probleme avec une fonction toute bête sur un flot infini.

Supposons une fonction apply qui prend en parametre une fonction unaire et qui l'applique à toutes les valeurs d'un flot (infini dans notre cas) passé en parametre.

Voila le type de la fonction :

(a -> b) -> [a] -> [b]

---

Ta définition fait de apply un synonyme de map, ce qui s'écrit simplement :

Code:

---

apply f l = f (head l) : apply f (tail l)

---

Ca marche aussi bien pour une liste infinie que finie.

Peut-être essaie-tu de faire quelque chose de différent, mais dans ce cas tu n'as pas l'air d'être très sûr de quoi, pourrais-tu l'expliquer plus clairement ?

--
Jedaï

Coucou,

Oui je suis débutant et j'ai un peu de mal avec Haskell :aie:

C'est bien la solution de Jedai :)

Pour ce qui est de vrai, j'ai fait une erreur de parenthèse, je voulais écrire (vrai 2) flot .

En fait, takeWhile prend les elements d'une liste avec une condition d'arret, je voulais la condition d'arret toujours vrai.

Ta définition marche parfaitement. En fait, mon problème n'était pas dans le principe, mais j'ignorais l'existance de head et tail, je n'ai pas trouvé dans le peu de documentation que j'ai trouvée :aie:

En fait oui c'était la redéfinition de map :x

Merci beaucoup

Fred

Citation:

---

Envoyé par mavina

Ta définition marche parfaitement. En fait, mon problème n'était pas dans le principe, mais j'ignorais l'existance de head et tail, je n'ai pas trouvé dans le peu de documentation que j'ai trouvée :aie:

---

Quel compilateur/interpréteur Haskell utilises-tu ? Je te recommande GHC.
En tout cas, tu dois avoir une doc avec, lis le "Prelude" au moins une fois (ou au moins par petits bouts), ça t'aidera beaucoup. (le Prelude est plein de méthodes très utiles).

--
Jedaï

J'utilise Hugs98 :)

Je ne cache pas que je seche sur les exos qu'on me fait faire là, je n'ai absolument pas l'habitude de programmer en fonctionnel :aie:

Une derniere question : admétons une fonction définie ainsi :

Code:

---

1 2	fonction a = (...)

---

supposons ensuite que a est une fonction qui prend un parametre : a->b

Comment dans le corps de "fonction" récupérer le parametre de a ?

Merci

Fred

Ca n'a pas de sens ce que tu dis-là : peux-tu préciser ta pensée ? C'est quoi fonction ? un mot-clef ? C'est quoi a ?

Une fonction, ça reste une fonction ! C'est comme en C ! On l'applique à un paramètre mais on obtient alors une valeur du type de retour.

Citation:

---

Envoyé par mavina

J'utilise Hugs98 :)

---

Je te conseille plutôt GHC si tu as le choix. En plus, c'est ce que j'utilise, donc je pourrais plus facilement t'aider sur les questions techniques.

Citation:

---

Envoyé par mavina

Je ne cache pas que je seche sur les exos qu'on me fait faire là, je n'ai absolument pas l'habitude de programmer en fonctionnel :aie:

Une derniere question : admétons une fonction définie ainsi :

Code:

---

1 2	fonction a = (...)

---

supposons ensuite que a est une fonction qui prend un parametre : a->b

Comment dans le corps de "fonction" récupérer le parametre de a ?

---

fonction n'est pas un mot clé de haskell, je ne comprend pas la question...
Veux-tu parler des "lambda" (ou fonction anonyme) ?

Code:

---

a = \f -> f 3

---

--
Jedaï

On va faire plus simple pour le moment

supposons la fonction carré suivante :

Code:

---

carre a = a*a

---

tout bêtement programmée.

Maintenant, j'aimerai faire une fonction qui transforme cette fonction carrée en une fonction carrée qui prend un flux et retourne ce flux "elevé au carré"

En clair, je veux que la fonction retournée prenne un flux ( au hasard [1,2,5,6,3,4] et me retourne le même flux dont les elements sont retournés au carré (dans notre exemple [1,3,25,36,9,16]).

J'avoue que je seche un peu beaucoup :s

pour faire ceci, j'ai acces à plusieurs fonctions que j'ai faites précédemment :

Code:

---

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

--flot constant de 0 f_0 = 0:f_0   --prend un a et renvoie un flot constant de a constant a = a:constant a   --prend une fonction et l'applique a un flot apply1 fonction flot = fonction (head flot) : apply1 fonction (tail flot)     --prend une fonction binaire et l'applique a toutes les valeurs de deux flots apply2 fonction flot1 flot2 = fonction (head flot1) (head flot2) : apply2 fonction (tail flot1) (tail flot2)   --racourci pour constant raise0 a = constant a

---

Je ne demande évidemment pas la solution (tu n'es pas là pour faire mes exos non plus ^^), à la base j'avais pensé à utiliser apply1 mais en fait ca ne va pas aller, et je suis totalement bloqué :aie: et je ne sais pas par ou prendre le truc

edit :

un petit bout de code que j'ai entammé mais je seche sur le fait que ca doit renvoyer un flot :

Code:

---

raise1 fonction = (apply1 fonction [])

---

le [] est à défaut d'autre chose :(

Merci d'avance

Fred

Tu as un petit problème avec les notions d'ordre supérieur visiblement... On t'a parlé de fonctions curryfiées ou non ?

Code:

---

carreList = apply1 carre

---

En Haskell on ne parle pas de flot, on parle de liste, finie ou infinie.

--
Jedaï

Il faudrai aussi que tu aprennes à utiliser le filtrage de motifs... Par exemple, cette fonction s'écrit plus naturellement ainsi :

Code:

---

1 2 3

apply1 f [] = [] apply1 f x:xs = (f x) : apply1 f xs

---

Plus clair, tu ne trouves pas ?

Comme le dit très justement Jedai, tu n'as aucunement besoin de te soucier du fait que les listes sont infinies ou non, en Haskell : il n'y a que la notion de liste qui existe en Haskell, finie ou non, là n'est pas le problème. Ce n'est pas comme en Objective Caml (langage strict, à la différence de Haskell)...

Citation:

---

Envoyé par InOCamlWeTrust

Il faudrai aussi que tu aprennes à utiliser le filtrage de motifs... Par exemple, cette fonction s'écrit plus naturellement ainsi :

Code:

---

1 2 3

apply1 f [] = [] apply1 f x:xs = (f x) : apply1 f xs

---

Plus clair, tu ne trouves pas ?

---

Non seulement plus clair, mais aussi plus correct (la définition que j'avais donné plante sur la liste vide, alors qu'il est logique de renvoyer une liste vide dans ce cas) ! ;)

--
Jedaï

coucou,

J'ai changé mon compilateur, comme tu me l'as suggéré, j'utilise GHC.
Cependant, les messages d'erreur sont vraiment moins clairs. Exemple sur la fonction que InOcamlWeTrust a donnée :

Citation:

---

Prelude> :load tp.hs
[1 of 1] Compiling Main ( tp.hs, interpreted )

tp.hs:8:0: Parse error in pattern
Failed, modules loaded: none.
Prelude>

---

Il ne dit pas d'où peut venir l'erreur.
Hugs98 me disait un "unexpected ":" line 8"

Je comprends le principe, un peu comme en caml un match avec le pattern "::", mais pourquoi ca ne fonctionne pas ... :aie:

Fred

Citation:

---

Envoyé par mavina

Il ne dit pas d'où peut venir l'erreur.
Hugs98 me disait un "unexpected ":" line 8"

---

Au contraire, il est encore plus précis : il te dit que le problème vient de la ligne 8 colonne 0 ; on dirait que c'est un motif qui pose problème.

Citation:

---

Envoyé par GHC

tp.hs:8:0: Parse error in pattern

---

Essaye avec des parenthèses pour voir. J'avoue ne pas avoir essayé avant de poster. J'ai pas internet chez moi, et donc quand je poste un code, c'est souvent à l'aveuglette !

en effet, il faut mettre des parenthèses à

Code:

---

x:xs

---

Ce qui donne

Code:

---

1 2	apply1 f [] = [] apply1 f (x:xs) = (f x) : (apply1 f xs)

---

Je laisse ce topic en fil rouge, la suite me parrait sympatique je risque de m'ammuser avec vous :aie:

merci pour l'aide

Fred