Questions programmation dependent-type

Score Aff Date
Avatar de Sriotchilism O'Zaic

6

1 Rép
112 Aff

Comment puis-je combiner cette famille de type fermé avec une classe de type dépendant ?

Résolu
Demandé el 21 de Novembre, 2019 par Sriotchilism O'Zaic
Etiquettes :
Photo de Nick

128

4 Rép
13515 Aff

Qu'est-ce que la saisie dépendante ?

Ouvert
Demandé el 18 de Février, 2012 par Nick
Etiquettes :
Avatar de ruben.moor

27

2 Rép
3766 Aff

Différence entre Haskell et Idris: Réflexion du Runtime / Compiletime dans les univers types

Résolu
Demandé el 21 de Mai, 2016 par ruben.moor
Etiquettes :
Photo de user3237465

37

1 Rép
675 Aff

Pourquoi avons-nous besoin de conteneurs?

Résolu
Demandé el 17 de Décembre, 2015 par user3237465
Etiquettes :
Photo de luochen1990

45

2 Rép
1581 Aff

Comment pouvons-nous surmonter les temps de compilation et les délais d'exécution lors de la programmation dans un langage à typage dépendant?

Ouvert
Demandé el 6 de Janvier, 2018 par luochen1990
Etiquettes :
Avatar de Alec

34

1 Rép
2539 Aff

Que manque-t-il à Haskell pour la vérification de la totalité?

Ouvert
Demandé el 10 de Février, 2017 par Alec
Etiquettes :
Photo de ashy_32bit

42

2 Rép
1842 Aff

Par où commencer avec la programmation de type dépendante?

Fermé
Demandé el 21 de Novembre, 2012 par ashy_32bit
Etiquettes :
Photo de aleator

36

1 Rép
618 Aff

Promotion de type de données pour les personnes à charge

Ouvert
Demandé el 22 de Décembre, 2011 par aleator
Etiquettes :
Avatar de Viclib

46

5 Rép
949 Aff

Les types dépendants peuvent prouver que votre code est correct jusqu'à une spécification. Mais comment prouver que les spécifications sont correctes?

Résolu
Demandé el 11 de Octobre, 2015 par Viclib
Etiquettes :
Photo de András Kovács

103

1 Rép
332 Aff

Résolution de type de trou erratique

Ouvert
Demandé el 27 de Février, 2014 par András Kovács
Etiquettes :
Avatar de ashy_32bit

113

4 Rép
4216 Aff

Y a-t-il une raison pour laquelle Scala ne supporte pas explicitement les types dépendants ?

Ouvert
Demandé el 17 de Octobre, 2012 par ashy_32bit
Etiquettes :
Photo de MathematicalOrchid

168

3 Rép
6486 Aff

Pourquoi ne pas être dépendante tapé ?

Résolu
Demandé el 18 de Octobre, 2012 par MathematicalOrchid
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