Re: typage statique automatique ?

Peut-être est-ce un abus de langage, mais par interface, je voulais dire comme en Java par exemple

Oui, oui c'est juste que je pensais que l'inférence de type était capable de faire ce lien de lui même. Comme c'est le cas avec les lambdas de Java justement.

public int foo(char c) {}
public interface MyType {
 int vroumvroum(char plonk);
}
public void bar(MyType cool) {}
bar(this::foo);

On passe la référence à la première méthode à la méthode bar et lui vérifie qu'elle peut être utilisée comme un MyType.

En fait, il n'y a pas de surcharge en haskell (ou presque)

Un type somme permet ça, non ?

Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)