Programmierung agda

Unterschiede zwischen Agda und Idris

Ich fange an, mich mit abhängiger Programmierung zu beschäftigen, und habe festgestellt, dass die Sprachen Agda und Idris Haskell am nächsten kommen, also habe ich dort angefangen. Meine Frage ist: Was sind die Hauptunterschiede zwischen ihnen? Sind die Typsysteme in beiden gleichermaßen ausdrucksstark? Es wäre großartig, einen umfassenden Vergleich und …

164 agda type-theory idris

Was ist das kombinatorische logische Äquivalent der intuitionistischen Typentheorie?

Ich habe kürzlich einen Universitätskurs mit Haskell und Agda (einer abhängigen typisierten funktionalen Programmiersprache) abgeschlossen und mich gefragt, ob es möglich ist, Lambda-Kalkül in diesen durch kombinatorische Logik zu ersetzen. Mit Haskell scheint dies mit den S- und K-Kombinatoren möglich zu sein, wodurch es punktfrei wird. Ich fragte mich, was …

87 haskell types functional-programming logic agda

Als «agda» getaggte Fragen