- Haskell-fr - Haskell.org

a function which return the type of element
by BOUNEB ZINE EL ABIDINE 10 Jan '08

10 Jan '08

Dear All ; I look for the function which return the type of un element in Haskell : For example If type(a) = Int then f else g Regards

5 6

Fractional etc...
by Dupont Corentin 05 Nov '07

05 Nov '07

Salut, J'ai vraiment du mal à mettre au point un petit programme... Il me sort souvent des problèmes du style : No instance for (Fractional Integer) arising from use of `/' at <interactive>:1:4-7 Possible fix: add an instance declaration for (Fractional Integer) Par exemple sous ghci si je fait: map (/5) [0..10] tout se passe bien. Mais si je me dit "tiens je voudrais bien paramétrer le 5": let m = 5 map (/m) [0..10] il me sort: No instance for (Fractional Integer) arising from use of `/' at <interactive>:1:4-7 Possible fix: add an instance declaration for (Fractional Integer) In the first argument of `map', namely `(/ m)' In the expression: map ((/ m)) ([0 .. 10]) In the definition of `it': it = map ((/ m)) ([0 .. 10]) Pourtant les 2 codes me sembles assez équivalents!!! Je peux utiliser des "fromInteger", ce qui résout temporairement le problème. Je me retrouve par la suite avec des (de mémoire) Infered type : Int Expected type : Integer Ce qui me laisse dans le flou... a+ Corentin

3 6

Re: Fractional etc...
by Dupont Corentin 29 Oct '07

29 Oct '07

J'ai ghci 6.6.1. Ce code ne passe pas: *Prelude> let m = 5 Prelude> map (/m) [0..10] <interactive>:1:4: No instance for (Fractional Integer) arising from use of `/' at <interactive>:1:4-7 *par contre ça ça passe dans ghci: *Prelude> let foo m = map (/m) [0..10] Prelude> foo 5 [0.0,0.2,0.4,0.6,0.8,1.0,1.2,1.4,1.6,1.8,2.0]* Mais... Bien sur: *Prelude> let n = 5* *Prelude> let foo m = map (/m) [0..10] Prelude> foo n* Ne passe pas plus! * * On 10/29/07, Stephane Bortzmeyer <bortzmeyer(a)nic.fr> wrote: > On Mon, Oct 29, 2007 at 11:09:43AM +0100, > Dupont Corentin <corentin.dupont(a)gmail.com> wrote > a message of 43 lines which said: > > > let m = 5 > > map (/m) [0..10] > > > > il me sort: > > No instance for (Fractional Integer) > > Quelle version ? Avec ghci 6.6, c'est accepté sans problème. (J'ai > essayé avec let et aussi avec : > > foobar m = > map (/m) [0..10] > > main = do > print (foobar 5) >

1 0

lagrange
by Dupont Corentin 26 Sep '07

26 Sep '07

Salut, récemment j'ai implémenté avec difficulté les polynômes de Lagrange en Haskell. Je pense que je passe à coté d'une écriture beaucoup plus élégante... Comment l'écririez-vous, avec la fameuse notation point-free?? Voici l'équation en annexe... a+ Corentin

4 7

inférence
by Dupont Corentin 21 Sep '07

21 Sep '07

Salut! J'ai besoin d'un peu d'aide... Je débute en haskell. J'essai d'écrire un petit programme qui implémente les "polynômes interpolateurs de Lagrange". Mais ma question est plus générale, c'est que j'ai souvent du mal avec le moteur d'inférence de Haskell. En effet, un coup mon code compile. Ensuite je fait une petite modif sur une ligne et ça ne compile plus en me levant une erreur sur une partie (apparemment) complètement différente du code!! Dans mon exemple j'ai une variable *nombre_points*. C'est clairement un entier. Comment le préciser? Je voudrais aussi l'utiliser dans des divisions. Comment faire? Je pense que c'est le problème dans mon exemple ci-dessous. Merci pour votre aide! Corentin PS: Y as t-il un forum en Français d'entraide? Il me sort une erreur du style: *Lagrange.hs:60:13: No instance for (Fractional Int) arising from use of `us' at Lagrange.hs:60:13-17 Possible fix: add an instance declaration for (Fractional Int) In the second argument of `map', namely `(us (m))' In the expression: map by (us (m)) In the definition of `ys': ys = map by (us (m))* Voici l'exemple: *module Lagrange where nombre_points = 7 -- creation d'une liste exluant i list i = [x | x <- [0..nombre_points-1], x /= i] -- un terme du polynôme de Lagrange un_terme t j i = (t - i)/(j - i) --produit des termes pour obtenir le polynôme d'un point les_termes t j = map (un_terme t j) (list j) poly t j = product (les_termes t j) --Si je décommente les 2 lignes suivantes et que je commente l'autre définition de blend ci-dessous, ça marche: --blend (a,t) = a(0) * (poly t 0) + a(1) * (poly t 1) + a(2) * (poly t 2) + a(3) * (poly t 3) + -- a(4) * (poly t 4) + a(5) * (poly t 5) + a(6) * (poly t 6) --t est le paramètre du polynôme, a sera la coordonnée (x ou y). blend_un_point t a numero_point = a(numero_point) * (poly t numero_point) blend_les_points t a = map (blend_un_point t a) [0..6] blend (a,t) = sum (blend_les_points t a) -- Sample points xy = [(-4.0,0.0), (-1.0,1.0), (-3.0,3.0), (0.0,4.0), (3.0,3.0),(1.0,1.0),( 4.0,0.0)] --creation des fonctions x et y x a = fst (xy !! a) y a = snd (xy !! a) -- Blend the sample points for some given u: bx(u) = blend(x,u) by(u) = blend(y,u) -- Take m+1 values for u, from 0 to nombre_points, equally spaced: us(m) = map (/m) [0.0..(7-1)*m] -- For m = 50.0 -- we get us(m)=[0.0, 0.125, 0.25, 0.375, 0.5, 0.625, 0.75, 0.875, 1.0]. -- Now get a list of points for the above values of the parameter: xs = map bx (us(m))* * ys = map by (us(m)) -- Running this, we get, where I've rounded the results to 2 digits: -- -- xs = [0.00, 0.38, 0.75, 1.1, 1.5, 1.9, 2.3, 2.6, 3.0] -- ys = [0.00, 0.46, 1.00, 1.7, 2.3, 2.8, 3.1, 3.2, 3.0] -- Finally, get a list of pairs (x,y), i.e. a list of points: ps = zip xs ys -- In this example, running "ps" we get, after rounding, the points: -- -- [(0, 0), (0.38, 0.46), (0.75, 1), (1.1, 1.7), -- (1.5, 2.3), (1.9, 2.8), (2.3, 3.1), (2.6, 3.2), (3, 3)] -- -- Now plot lines joining these points to get an approximation of the curve *

9 20

_
by Dupont Corentin 21 Sep '07

21 Sep '07

Salut, est-ce que vous auriez quelques exemples de l'utilisation des symboles _ et []? C'est utilisé dans le cadre du pattern matching, mais j'ai du mal avec le _... a+ Corentin

5 10

Re: inférence
by Dupont Corentin 13 Sep '07

13 Sep '07

On 9/13/07, Stephane Bortzmeyer <stephane(a)sources.org> wrote: > On Thu, Sep 13, 2007 at 02:05:37PM +0200, > Dupont Corentin <corentin.dupont(a)gmail.com> wrote > a message of 141 lines which said: > > > Dans la signature, que signifient les espaces entre les a,b,c...? > > Ben, en français, comme en anglais, on met des espaces pour séparer > les mots. > > f :: a b -> b > > f prend deux arguments de type a et b (pas très courant en Haskell car > pas curryfiable) OK, c'est bien ce que je pense, ça s'écrit d'habitude comme ça non? f :: a -> b -> b Forme non curryfiée: f :: (a,b) -> b C'est pour ça que la notation avec des espaces me laissait perplexe... En particulier dans l'exemple: (&&&) :: (Arrow a) => a b c -> a b c' -> a b (c, c') > > f :: ab -> b > > f prend un argument de type ab (rare, on utilise toujours des > identificateurs à une seule lettre). >

1 0

traduction
by Dupont Corentin 10 Sep '07

10 Sep '07

Salut, Je m'adresse particulièrement à Gorgonite car tu as déjà mené un projet de traduction sur Haskell ;) Tu l'as fait seul? As-tu eu de l'aide et comment l'as tu solicité? Si vous étiez plusieurs, as-tu utilisé un outils de travail collaboratif (ie un wiki...)? Bon j'ai déjà traduit l'intro de "Haskell for C programmers". J'ai obtenu la bénédiction de l'auteur par mail. Voili voilo a+ Corentin

2 1

présentation
by Dupont Corentin 19 Aug '07

19 Aug '07

Bonjour, Je viens de m'inscrire à la liste Haskell. Je l'ai découvert avec entousiasme il y a quelques mois. Je voudrais me lancer dans la traduction de "Haskell Tutorial for C Programmers" qui me parrais une très bonne introduction à Haskell, bien plus compréhensible que "A Gentle Introduction to Haskell"... http://www.haskell.org/~pairwise/intro/intro.html A+ Kau

10 11

help needed - in order to translate something for haskell-fr webpage
by Dan Popa 22 May '07

22 May '07

I have just ask Prof Anthony A. Aaby to put one of his webpages under a free licence. He, kindly, accepted. Would anybody help me to check and corect THE FIRST PART OF IT ? Take a look on haskell-fr to find the text. P.S. Let's finish the first part together. (premiere partie!) Dan Popa ____________________________________________________________________________________ Now that's room service! Choose from over 150,000 hotels in 45,000 destinations on Yahoo! Travel to find your fit. http://farechase.yahoo.com/promo-generic-14795097

2 1