Questions programmation idris

Score Aff Date
Avatar de free_easy

2

1 Rép
131 Aff

Types dépendants

Résolu
Demandé el 22 de Mai, 2016 par free_easy
Etiquettes :
Avatar de rfliam

4

1 Rép
204 Aff

LTE pour les nombres entiers (ZZ)

Résolu
Demandé el 6 de Septembre, 2017 par rfliam
Etiquettes :
Photo de ruben.moor

27

2 Rép
3768 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 Crazycolorz5

30

3 Rép
1385 Aff

Les Listes sont à induction ou Coinductive en Haskell?

Résolu
Demandé el 4 de Octobre, 2016 par Crazycolorz5
Etiquettes :
Photo de luochen1990

45

2 Rép
1583 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 :
Photo de ashy_32bit

42

2 Rép
1845 Aff

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

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

46

5 Rép
951 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 serras

192

2 Rép
5269 Aff

Différences entre Agda et Idris

Résolu
Demandé el 27 de Février, 2012 par serras
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