«agda» etiketlenmiş sorular

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 

Yakın zamanda Haskell ve Agda'yı (bağımlı tipte bir işlevsel programlama dili) içeren bir üniversite kursunu tamamladım ve bunlarda lambda hesabını birleştirici mantıkla değiştirmenin mümkün olup olmadığını merak ediyordum. Haskell ile bu, S ve K kombinasyonlarını kullanarak mümkün görünüyor, bu da onu noktasız hale getiriyor. Agda için eşdeğerinin ne olduğunu merak …

87 haskell  types  functional-programming  logic  agda