이론 컴퓨터 과학 functional-programming

2

유형 a의 요소 세트를 저장해야합니다. 그래서 비교하는 부분적으로 정렬되어 입력 1 및 2 작은 반환 할 큰은 같거나 비교할.a1a1a_1a2a2a_2 해시 테이블의 한 가지 문제는 두 개의 동일한 요소가 다르게 표현 될 수 있으며, 동등성과 일치하는 해싱 함수에 액세스 할 수 없다는 것입니다. 두 요소를 비교하는 것은 시간이 오래 걸리므로 비교를 …

15 ds.data-structures functional-programming sorting

2

지퍼 란 무엇이며 나무와 같은 구조와 어떤 관련이 있습니까?

나는 LYAH 에서 실제로 이해가되지 않는 장을 읽고있었습니다 . 나는 지퍼가 나무와 같은 구조를 임의로 가로 지르는 것을 이해하지만 그것에 대해 약간의 설명이 필요합니다. 또한 지퍼를 모든 데이터 구조로 일반화 할 수 있습니까?

15 ds.data-structures functional-programming tree

1

함수형 프로그래밍 언어에 가비지 수집이 필요한 이유는 무엇입니까?

ghc가 Haskell을 결합 논리와 같은 연결 프로그래밍 언어로 번역 한 다음 모든 것에 대해 스택 할당을 사용하는 것을 막는 이유는 무엇입니까? Wikipedia에 따르면 람다 미적분에서 조합 논리로의 변환은 사소한 일이며 연결 프로그래밍 언어는 메모리 할당을 위해 스택에만 의존 할 수 있습니다. 이 번역을 수행 할 수있어 Haskell 및 ocaml과 같은 …

14 functional-programming haskell

1

유형 클래스의 수학적 (범주) 설명

기능적 언어는 객체가 유형과 형태 기능인 카테고리 로 볼 수 있습니다 . 이 모델에서 타입 클래스 는 어떻게 맞습니까? 필자는 대부분의 유형 클래스가 가지고 있지만 Haskell로 표현되지 않은 제약 조건을 만족시키는 구현만을 고려해야한다고 가정합니다. 예를 들어, 우리는 Functorwhich fmap id ≡ id및 fmap f . fmap g ≡ fmap (f …

14 lo.logic functional-programming ct.category-theory denotational-semantics type-systems

2

B- 트리의 순전히 기능적 동등 물?

나는 순수하게 기능적인 방식으로 DBMS를 작성한다는 아이디어를 탐구하고 있습니다. 인덱싱에 사용되는 일반적인 데이터 구조는 B-Tree입니다. 디스크 액세스를 최소화하도록 최적화 된 B-Tree와 완전히 동일한 기능을 알고 싶습니다. 감사.

14 ds.data-structures functional-programming db.databases

3

연관 해시 믹싱

순전히 기능적인 설정에서 낮은 단독 링크 목록을 고려하십시오. 그 칭찬은 산 정상에서 부른 노래이며 계속 부를 것입니다. 여기에서 나는 많은 강점 중 하나를 다루고 그것이 나무를 기반으로 한 순전히 기능적 시퀀스의 광범위한 클래스로 어떻게 확장 될 수 있는지에 대한 질문을 다룰 것입니다. 문제는 다음과 같습니다. 강력한 해싱을 통해 O (1) …

14 ds.data-structures cr.crypto-security functional-programming hash-function

2

함수형 프로그래밍의 차이점 목록

질문 오카 사키 이후 순수하게 기능적인 데이터 구조의 새로운 점은 무엇입니까? , 및 jbapple의 장대 한 답변은 함수 프로그래밍 (논리 프로그래밍과 달리)에서 차이점 목록을 사용하여 언급 한 것으로 최근에 관심을 보였습니다. 이로 인해 Haskell 의 차이점 목록 구현 을 찾을 수 있었습니다. 두 가지 질문이 있습니다 (StackExchange에서 두 가지 다른 …

14 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

2

카테고리 이론과 파서

파서 (주로 파서 표현 문법)에 관심이 있기 때문에, 파싱을 범주 적으로 처리하는 작업이 있는지 궁금합니다. 카테고리 이론의 분석에 대한 모든 참조는 높이 평가됩니다. 베스트,

13 reference-request functional-programming ct.category-theory parsing

2

이진 함수의 연속 전달 변환

를 β A : = R R A ( R 이 고정 된 곳)에서 f : A → B 에서 β f : β A → β B 를 β로 정의한 연속 통과 변환 (CPS 변환)을 상기하십시오 .ㅏAAβA : = R아르 자형ㅏβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}아르 자형RR에프: A → Bf:A→Bf : …

13 functional-programming monad continuations cps-transforms

1

언어 (및 유형 시스템)가 자체 용어에 대한 이론을 증명할 수있게 만드는 요인은 무엇입니까?

나는 최근 에 자체 용어에 대한 수학적 이론을 입증 할 수있는 미니멀리스트 프로그래밍 언어 인 Aaron 's Cedille-Core 를 구현하려고 시도했다 . 또한 λ로 인코딩 된 데이터 유형에 대한 유도가 입증되었으므로 확장이 필요한 이유가 더 명확 해졌습니다. 더 적은 부분에서, 나는 여전히 그 확장이 어디에서 왔는지 궁금합니다. 왜 그들이 무엇입니까? …

12 type-theory functional-programming constructive-mathematics

2

Alternative, MonadPlus (LeftCatch) 및 MonadPlus (LeftDistributive)의 관계는 무엇입니까?

다음 은 대안이지만 MonadPlus가 아닌 Monad의 예는 무엇입니까? : 이 모나드라고 가정하십시오 . 관계의의 차이와의 무엇입니까 m 되는 대체 하는 MonadPlusCatch 과 MonadPlusDistr은 ? mmmmmm여섯 가지 가능한 쌍 각각에 대해 하나는 다른 것을 의미한다는 증거 또는 그렇지 않은 반례를 갖고 싶습니다. (사용하고 있습니다 왼쪽 캐치 규칙 을 만족 하는 MonadPlus …

12 pl.programming-languages functional-programming haskell monad applicative

2

O (1) concat이있는 단순 균형 트리?

에서 순수 기능 최악의 상수 시간 Catenable 정렬 된 목록 , Brodal 등. O (1) 연결 및 O (lg n) 삽입, 삭제 및 찾기를 통해 순전히 기능적 균형 트리를 제공합니다. 데이터 구조는 다소 복잡합니다. O (1)이 연결되고 기능적이거나 그렇지 않은 간단한 균형 검색 트리가 있습니까?

12 functional-programming ds.data-structures

1

“의미 적으로 관찰 가능한”부작용은 정확히 무엇을 의미합니까?

순수한 기능에 관한 질문이 있습니다. Wikipedia 페이지에 따르면 순수한 기능을위한 필수 조건 중 하나는 다음과 같습니다. 결과의 평가는 변경 가능한 객체의 돌연변이 또는 I / O 장치로의 출력과 같이 의미 적으로 관찰 가능한 부작용 또는 출력을 유발하지 않습니다. 이것이 실제로 무엇을 의미합니까? 또는 의미 론적으로 관찰 할 수없는 부작용을 어떻게 …

11 functional-programming semantics

3

데이터 병렬 연산자와 함께 전체 기능 언어를 사용하여 표현할 수있는 알고리즘은 무엇입니까?

데이터 유형 만 숫자 형 스칼라와 임의의 배열 배열 인 함수형 프로그래밍 언어를 상상해보십시오. 이 언어에는 무제한 반복 수단이 없으므로 다음은 허용되지 않습니다. 명시 적 루프 (어쨌든 부작용없이 많이 사용하지 않음) 재귀 임의의 일류 함수 (y-combinator 없음) 그러나이 언어에는 다음이 있습니다. 최상위 기능 어휘 범위가 지정된 let 바인딩 분기 제어 …

11 complexity-classes functional-programming dc.parallel-comp

1

상호 작용 결합기를 사용하여 Lamping의 추상 알고리즘을 어떻게 인코딩합니까?

상호 작용 결합기는 이전에 λ 미적분에 대한 컴파일 대상 으로 제안되었습니다 . 이 논문은 전체 λ 미적분을 구현합니다. 또한 , EAL- 타입 가능한 λ- 말단의 서브 세트에 대해 λ- 미적분의 상호 작용 네트 인코딩 을 최적화 하는 것이 가능하다는 것이 알려져있다 . 이 논문은 EAL 타입의 λ- 말단을 상호 작용 …

10 lambda-calculus functional-programming interaction-nets

«functional-programming» 태그된 질문