«agda» 태그된 질문

나는 의존적으로 유형이 지정된 프로그래밍에 뛰어 들기 시작했고 Agda와 Idris 언어가 Haskell에 가장 가깝다는 것을 알았습니다. 내 질문은 : 그들 사이의 주요 차이점은 무엇입니까? 타입 시스템이 둘 다 똑같이 비싸습니까? 종합적인 비교와 혜택에 대한 토론을 갖는 것이 좋을 것입니다. 나는 몇 가지를 발견 할 수 있었다 : Idris의 유형 클래스는 …

165 agda  type-theory  idris 

나는 최근에 Haskell과 Agda (종속 형 함수형 프로그래밍 언어)를 특징으로하는 대학 과정을 마쳤고, 이것들의 람다 미적분을 조합 논리로 대체 할 수 있는지 궁금했습니다. Haskell을 사용하면 S 및 K 결합자를 사용하여 가능해 보이므로 포인트가 없습니다. Agda에 해당하는 것이 무엇인지 궁금합니다. 즉, 변수를 사용하지 않고 Agda와 동등한 종속 유형의 함수 프로그래밍 언어를 …

87 haskell  types  functional-programming  logic  agda