Questions et réponses pour le type-inference :

L'inférence de type est le processus d'inférence automatique de types pour les programmes, à l'aide de règles définies par un système de types.

9
votes

Existe-t-il un moyen de spécifier un sous-ensemble de paramètres de type dans Scala, en inférant le reste?

J'ai une classe qui ressemble à ceci: val x = new X[AssertionError](3, 4) val x = new X[AssertionError, _, _](3, 4) val x = new X[AssertionError,,](3, 4) ...

scala type-inference

0 commentaire(s)

9
votes

Types à Haskell

Je suis un peu nouveau à Haskell et j'ai du mal à comprendre comment des types dédurés et de telles œuvres. foldr :: (a -> b -> b) -> b -> [a] -& ...

types haskell type-inference inferred-type

9 commentaire(s)

8
votes

Pourquoi Scala ne peut-il pas déduire le paramètre de type dans cet exemple?

Supposons que j'ai deux classes, entrée code> et sortie code>, qui sont conçus pour être connectés les uns aux autres. sortie code> prod ...

types scala generics type-inference

2 commentaire(s)

8
votes

Generics: Pourquoi le compilateur ne peut-il pas déduire les arguments de type dans ce cas?

Je voulais écrire une méthode d'extension qui fonctionnerait sur des dictionnaires dont les valeurs étaient une sorte de séquence. Malheureusement, le compilateur ne se ...

c# generics type-inference

3 commentaire(s)

<< < 1 2 3 > >>