Questions marquées «agda»

Différences entre Agda et Idris

Je commence à me plonger dans la programmation à typage dépendant et j'ai trouvé que les langages Agda et Idris sont les plus proches de Haskell, alors j'ai commencé là. Ma question est: quelles sont les principales différences entre eux? Les systèmes de types sont-ils également expressifs dans les deux? …

165 agda type-theory idris

Quel est l'équivalent en logique combinatoire de la théorie des types intuitionnistes?

J'ai récemment terminé un cours universitaire qui présentait Haskell et Agda (un langage de programmation fonctionnel typé dépendant), et je me demandais s'il était possible de remplacer le calcul lambda dans ces derniers par la logique combinatoire. Avec Haskell, cela semble possible en utilisant les combinateurs S et K, ce …

87 haskell types functional-programming logic agda

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.