2
Agda ve Idris arasındaki farklar
Bağımlı tipte programlamaya dalmaya başladım ve Agda ve Idris dillerinin Haskell'e en yakın olduğunu buldum, o yüzden orada başladım. Sorum şu: aralarındaki temel farklar nelerdir? Tip sistemleri her ikisinde de eşit derecede açık mı? Kapsamlı bir karşılaştırmalı ve faydalar hakkında bir tartışma yapmak harika olurdu. Bazılarını tespit edebildim: Idris'in Haskell …
165
agda
type-theory
idris