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.
-1
votes
Pourquoi le compilateur de rouille peut-il incliner des types sur des lignes séparées mais non si combinées en une seule ligne?
Pourquoi cela est-il autorisé: xxx pré> mais pas ceci: p> xxx pré> Il résulte de l'erreur: p> (expression)(suffix) ...
types
rust
syntax
type-inference
compiler-construction
0 commentaire(s)
12
votes
Sont des types infinis (types de types récursifs) non impossibles dans F #?
Je discutais avec Sadek Drobi sur Twitter lorsque F # ne semblait pas supporter des types infinis. Il s'avère que dans C #, vous pouv ...
types
type-inference
f#
3 commentaire(s)
10
votes
Pourquoi la somme x y est de type (num a) => A -> A -> A à haskell?
J'ai lu sur Haskell et j'ai du mal à comprendre comment les définitions de la fonction sont traitées dans cette langue. Disons que je définissais un somme ...
haskell
functional-programming
type-inference
typeclass
1 commentaire(s)
9
votes
Pourquoi Var Inférer Type Object et non XMLNode dans la boucle XMLnodelist?
Si on boucle à travers un xmlnodeliste comme celui-ci xxx tout fonctionne comme prévu - FOO est clairement de type xmlnode et le vs.net ID ...
c#
xml
type-inference
3 commentaire(s)
1
2
3
>
>>