Preguntas etiquetadas con agda

Estoy empezando a sumergirme en la programación de tipo dependiente y descubrí que los idiomas Agda e Idris son los más cercanos a Haskell, así que comencé allí. Mi pregunta es: ¿cuáles son las principales diferencias entre ellos? ¿Los sistemas de tipos son igualmente expresivos en ambos? Sería genial tener …

165 agda  type-theory  idris 

Recientemente completé un curso universitario que incluía Haskell y Agda (un lenguaje de programación funcional de tipo dependiente), y me preguntaba si era posible reemplazar el cálculo lambda en estos con lógica combinatoria. Con Haskell, esto parece posible usando los combinadores S y K, lo que lo hace sin puntos. …

87 haskell  types  functional-programming  logic  agda