Запитання з тегом «agda»

Я починаю занурюватися в залежно від типового програмування і виявив, що мови Agda та Idris найближчі до Haskell, тому я почав саме там. Моє запитання: які основні відмінності між ними? Чи однаково виражені системи типів в обох? Було б чудово провести всебічне порівняння та обговорення переваг. Мені вдалося помітити декілька: …

165 agda  type-theory  idris 

Нещодавно я закінчив університетський курс, де проходили Haskell та Agda (залежний тип функціональної мови програмування), і мені було цікаво, чи можна замінити лямбда-числення в них комбінаційною логікою. З Haskell це здається можливим за допомогою комбінаторів S і K, що робить його безточковим. Мені було цікаво, що це еквівалент для Агди. …

87 haskell  types  functional-programming  logic  agda