«functional-programming» 태그된 질문

아마도 Haskell의 성능 문제의 주요 원인은 프로그램이 우연히 무한한 깊이의 덩어리를 쌓을 때입니다. 이는 평가할 때 메모리 누수와 잠재적 인 스택 오버플로를 유발합니다. 전형적인 예는 sum = foldr (+) 0Haskell에서 정의 됩니다. 게으른 언어를 사용하는 프로그램에서 그러한 썽크 부족을 정적으로 강제하는 유형 시스템이 있습니까? 이 방법은 유형 시스템 확장을 사용하는 …

10 type-theory  functional-programming  program-verification 

우리는 단순히 입력 된 람다 용어의 베타-균등성이 결정 가능하다는 것을 알고 있습니다. M, N : σ → τ가 주어지면 모든 X : σ, MX ≃β≃β≃_β NX에 대해 결정 가능한가 ?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

다음 데이터 구조에 대해 조금 읽었습니다. 백웰의 이상적인 해시 시도 라슨의 동적 해시 테이블 레드 블랙 나무 패트리샤 나무 ... 그리고 거기 에 다른 많은 사람들 이 있다고 확신 합니다. 나는 각각에 더 적합한 방식 또는 왜 서로를 선택해야 하는지를 거의 보지 못했습니다. 따라서 다음과 같은 몇 가지 질문이 있습니다. …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego 는 프로그래밍 변환 언어 / Rewriting DSL입니다. Anthony Sloane은 Scala에서 실행 되는 구현을 수행하는 일부 작업을 수행했습니다 . 기능적 언어로서 Stratego의 이론적 한계는 무엇입니까? (구현에 관계없이). Stratego에서 적용 순서 ycombinator를 작성할 수 있습니까?

10 functional-programming 

타입 시스템을 추가 할 필요없이 강력한 정규화되는 람다 미적분학과 유사한 시스템이 있습니까?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Foetus를 들어 보지 못했다면 여기에서 읽을 수 있습니다 . '호출 행렬'및 '호출 그래프'시스템을 사용하여 함수에서 재귀 호출의 모든 '재귀 동작'을 찾습니다. 함수가 종료됨을 나타 내기 위해 함수에 대한 재귀 호출의 모든 재귀 동작이 특정 '사전 순서'를 준수 함을 보여줍니다. 종료 검사기는 Ackermann 함수와 같은 모든 기본 재귀 함수 및 함수를 …

9 lo.logic  computability  functional-programming 

내가 아는 한, 유형 클래스 제약 조건이있는 Haskell 함수는 내부적으로 각 특정 유형 클래스의 필요한 구현으로 사전을받는 추가 인수가있는 함수로 컴파일됩니다. 타입 클래스를 컴파일하는 다른 가능성이 있습니까? 그렇다면, 그들의 장점은 무엇입니까? 그리고 어떤 컴파일러가 그것들을 사용합니까?

9 pl.programming-languages  functional-programming  compilers  type-systems