Questions programmation type-inference

Score Aff Date
Photo de Ed A

4

3 Rép
1433 Aff

Méthodes et opérateurs génériques F#

Résolu
Demandé el 10 de Août, 2012 par Ed A
Etiquettes :
Avatar de madgen

2

1 Rép
86 Aff

Comment GHC déduit-il le type prévu pour ce GADT ?

Résolu
Demandé el 17 de Juin, 2018 par madgen
Etiquettes :
Photo de Peter Drake

3

1 Rép
102 Aff

En Haskell, pourquoi le fait de lier une valeur à un nom de variable ne force plus le système à s'engager sur un type ?

Résolu
Demandé el 27 de Septembre, 2022 par Peter Drake
Etiquettes :
Avatar de Suma

3

1 Rép
94 Aff

Pourquoi un littéral de fonction utilisé comme argument par défaut nécessite-t-il un type de paramètre ?

Résolu
Demandé el 13 de Septembre, 2017 par Suma
Etiquettes :
Avatar de Matthieu Riegler

6

1 Rép
92 Aff

Pourquoi a = null ? [] de type jamais[] ?

Résolu
Demandé el 21 de Décembre, 2021 par Matthieu Riegler
Etiquettes :
Avatar de RCIX

1

2 Rép
242 Aff

Haskell -- plus de problèmes d'inférence de type

Résolu
Demandé el 14 de Janvier, 2010 par RCIX
Etiquettes :
Avatar de Roy Astro

2

4 Rép
3480 Aff

Puis-je déclarer une variable inférée globale en C# ?

Résolu
Demandé el 14 de Janvier, 2009 par Roy Astro
Etiquettes :
Photo de Imray

42

2 Rép
16511 Aff

Pourquoi le mot clé infer est nécessaire dans Typescript ?

Ouvert
Demandé el 5 de Février, 2020 par Imray
Etiquettes :
Photo de Ben

76

3 Rép
140755 Aff

Les arguments de type pour la méthode ne peuvent pas être déduits de l'utilisation

Résolu
Demandé el 12 de Octobre, 2010 par Ben
Etiquettes :
Photo de FredOverflow

37

4 Rép
1511 Aff

La relation entre auto et decltype

Résolu
Demandé el 29 de Juillet, 2011 par FredOverflow
Etiquettes :
Photo de Petr Pudlák

27

2 Rép
696 Aff

Y a-t-il des avantages à utiliser Rank2Types en faveur de RankNTypes?

Résolu
Demandé el 22 de Février, 2013 par Petr Pudlák
Etiquettes :
Photo de Jacob G.

36

1 Rép
1479 Aff

Méthode principale avec paramètre générique; pourquoi cela fonctionne-t-il?

Résolu
Demandé el 15 de Juillet, 2018 par Jacob G.
Etiquettes :
Avatar de sdgfsdh

44

3 Rép
6968 Aff

Java 10 fournit-il un mot-clé val? Sinon, pourquoi pas?

Résolu
Demandé el 22 de Mars, 2018 par sdgfsdh
Etiquettes :
Avatar de tonyhoan

28

2 Rép
842 Aff

Pourquoi est-ce que j'obtiens une AssertionError lors de l'attribution directe de Arrays.asList () à var?

Résolu
Demandé el 29 de Mars, 2018 par tonyhoan
Etiquettes :
Photo de Van Du Tran

37

4 Rép
42323 Aff

Swift 3 - Comment vérifier le type de classe d'un objet

Ouvert
Demandé el 2 de Novembre, 2016 par Van Du Tran
Etiquettes :
Avatar de primfaktor

37

5 Rép
2264 Aff

Comment écrire une fonction pour des nombres génériques?

Résolu
Demandé el 19 de Janvier, 2011 par primfaktor
Etiquettes :
Photo de Andreas Grech

54

5 Rép
1895 Aff

Déduire une constante en C #

Résolu
Demandé el 24 de Janvier, 2010 par Andreas Grech
Etiquettes :
Photo de Noldorin

46

5 Rép
7018 Aff

Fonctions avec des types de paramètres génériques

Résolu
Demandé el 1 de Février, 2009 par Noldorin
Etiquettes :
Photo de sebweisgerber

36

4 Rép
1594 Aff

L'utilisation de var avec un littéral entraîne-t-elle une classe de wrapper primitive ou primitive?

Résolu
Demandé el 22 de Mars, 2018 par sebweisgerber
Etiquettes :
Avatar de Luigi Plinge

40

1 Rép
5795 Aff

Scala String vs java.lang.String - inférence de type

Résolu
Demandé el 2 de Juillet, 2011 par Luigi Plinge
Etiquettes :
Photo de Karl von L

54

4 Rép
11897 Aff

Pourquoi utiliser Collections.emptySet () avec des génériques fonctionne-t-il dans l'affectation, mais pas comme paramètre de méthode?

Résolu
Demandé el 17 de Juin, 2010 par Karl von L
Etiquettes :
Avatar de Curry

38

5 Rép
5784 Aff

Qu'est-ce qui rend le système de types de Haskell plus "puissant" que les systèmes de types d'autres langages?

Ouvert
Demandé el 24 de Septembre, 2010 par Curry
Etiquettes :
Avatar de Jacob G.

36

3 Rép
1715 Aff

Java 10: Diamond Inference de Java 7 fonctionnera-t-il avec l'inférence de type locale?

Résolu
Demandé el 24 de Janvier, 2018 par Jacob G.
Etiquettes :
Avatar de is7s

41

5 Rép
1618 Aff

Comment définir l'application de Lisp dans Haskell ?

Résolu
Demandé el 29 de Mai, 2011 par is7s
Etiquettes :
Photo de airportyh

51

5 Rép
21148 Aff

Scala: Comment définir des paramètres de fonction "génériques"?

Résolu
Demandé el 10 de Août, 2009 par airportyh
Etiquettes :
Avatar de paul

40

3 Rép
753 Aff

Java 8 échoue dans l'inférence pour les lambdas lanceuses d'exceptions

Résolu
Demandé el 1 de Septembre, 2015 par paul
Etiquettes :
Photo de sschaef

48

4 Rép
1998 Aff

Pourquoi l’inférence de type Scalas n’est-elle pas aussi puissante que celle de Haskells?

Résolu
Demandé el 29 de Août, 2011 par sschaef
Etiquettes :
Avatar de Steven

81

4 Rép
3060 Aff

Pourquoi C # n'infère-t-il pas mes types génériques?

Résolu
Demandé el 14 de Décembre, 2011 par Steven
Etiquettes :
Avatar de FredOverflow

53

3 Rép
1795 Aff

decltype et parenthèses

Résolu
Demandé el 22 de Juin, 2010 par FredOverflow
Etiquettes :
Avatar de Zefick

62

3 Rép
4380 Aff

Pourquoi les consommateurs acceptent-ils les lambdas avec des corps de déclaration mais pas de corps d'expression?

Résolu
Demandé el 2 de Août, 2017 par Zefick
Etiquettes :

Top Tags

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X