Perguntas com a marcação «agda»

Estou começando a mergulhar na programação de tipo dependente e descobri que as linguagens Agda e Idris são as mais próximas de Haskell, então comecei por lá. Minha pergunta é: quais são as principais diferenças entre eles? Os sistemas de tipos são igualmente expressivos em ambos? Seria ótimo ter um …

165 agda  type-theory  idris 

Recentemente, concluí um curso universitário que apresentava Haskell e Agda (uma linguagem de programação funcional com tipo dependente) e queria saber se seria possível substituir o cálculo lambda nestes pela lógica combinatória. Com Haskell, isso parece possível usando os combinadores S e K, tornando-o livre de pontos. Fiquei me perguntando …

87 haskell  types  functional-programming  logic  agda