Discussion :

[alex_pi]

sinon tu peux jouer avec cela

Code :

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

1
2
3
4
5
6
7
# let f1 a lst = [];;
val f1 : 'a -> 'b -> 'c list = <fun>
# let app f lst =
      (f 2 lst, f 2.0 lst)
    ;;
This expression has type float but is here used with type int

pourtant si je considère app f1 lst, elle est théoriquement correct et renverra ([],[])


en Haskell

Code :

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

1
2
3
4
5
Prelude> let f1 a lst = []
Prelude> let f1 a lst = [] in app f1 [1,2,3]
([],[])
Prelude>

on peut en sortir des tonnes ^^

Euh... Tu n'a pas dutout appliqué le même cas "pathologique" en Haskell là, si ?

[Jedai]

Euh... Tu n'a pas dutout appliqué le même cas "pathologique" en Haskell là, si ?

En fait c'est une confusion des genres, Gorgonite a probablement écrit :

Code :

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

app f xs = (f 2 xs, f 2.0 xs)

qui compile effectivement sans problème. Mais le type de app n'est probablement pas celui auxquel il pensait :

Code :

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

app :: (Fractional a) => (a -> b -> c) -> b -> (c, c)

Haskell ne voit pas le premier 2 comme un entier, mais comme un Fractional, soit un Double soit un Float, puisque f doit aussi être capable de prendre 2.0 comme premier argument.
En OCaml, 2 est un entier, 2.0 est un double.

Maintenant, il est effectivement possible de faire ce à quoi pensait Gorgonite en Haskell, avec une annotation explicite de type :

Code :

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

1
2
app' :: (forall a. a -> b -> c) -> b -> (c, c)
app' f x = (f () x, f "hello" x)

(Et en activant le polymorphisme de rang 2)
--
Jedaï

[gasche]

ça fait plaisir de voir que la confiance règne ici...

Bah écoute, tout le monde peut se tromper, la preuve

Histoire de boucher le trou dans la conversation, une version rang-2 en OCaml :

Code :

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

let app' : <app : 'a. 'a -> 'b -> 'c> -> 'b -> 'c * 'c = fun f x -> (f#app () x, f#app "hello" x)