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...

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...