Discussion :

[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]

Or j'ai essayé ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

et la fonction vrai :

vrai a = True

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

(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

[Jedai]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

vrai 2 flot

est équivalent à

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

True flot

Ce qui n'a aucun sens...

Que voulais-tu faire ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

vrai a = (==) a

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

--
Jedaï

[Jedai]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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ï

[mavina]

Coucou,

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

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

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

Merci beaucoup

Fred

[Jedai]

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

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ï

[mavina]

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

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[InOCamlWeTrust]

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.

[Jedai]

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.

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

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

a = \f -> f 3

--
Jedaï