«functional-programming» 태그된 질문

6
오카 사키 이후 순수하게 기능적인 데이터 구조의 새로운 기능
크리스 오카 사키의 1998 년 책 "순전히 기능적인 데이터 구조"이후로, 나는 전혀 새로운 흥미로운 순전히 기능적인 데이터 구조가 나타나는 것을 보지 못했습니다. 나는 몇 가지 이름을 지정할 수 있습니다. IntMap (1998 년 오카 사키가 발명했지만 그 책에는 존재하지 않음) 핑거 트리 (및 모노 이드에 대한 일반화) "불변 유형"또는 "일반 대수 …
2
순전히 기능적인 데이터 구조에서 눈에 띄는 질문은 무엇입니까?
이 질문은 1998 년 오카 사키의 책이 출판 된 이후 PFDS의 새로운 기능에 대한 또 다른 질문에서 영감을 얻었습니다 . 두 가지 질문으로 시작하겠습니다. 해시 테이블의 속도에 접근하는 순수 기능 집합 데이터 구조가 있습니까? 시도는 아직 없습니다. O (1)가 추가 된 순전히 기능적인 핑거 트리가 있습니까? 지금까지 가장 좋은 것은 …
2
범주 형 용어로 적용되는 펑터 설명-모노 이드 펑터
Applicative카테고리 이론의 관점 에서 이해하고 싶습니다 . 문서 에 대한이 Applicative가 있다고 말한다 강한 느슨한의 monoidal 펑터 . 첫째, 단일체 펑터 에 관한 Wikipedia 페이지는 단일체 펑터 가 느슨 하거나 강력 하다고 말합니다 . 그래서 소스 중 하나가 잘못되었거나 용어를 다르게 사용하는 것 같습니다. 아무도 그것을 설명 할 수 있습니까? …
8
고차 알고리즘
잘 알려진 알고리즘의 대부분은 입력 및 출력이 "일반"데이터라는 점에서 1 차입니다. 일부는 사소한 방식으로 정렬, 해시 테이블 또는 맵 및 폴드 함수와 같이 2 차입니다. 함수에 의해 매개 변수화되지만 다른 입력 데이터에서 호출하지 않는 한 실제로 흥미로운 것은 없습니다. 일부는 2 차이지만 다소 흥미 롭습니다. monoid로 매개 변수화 된 핑거 …
2
람다 미적분과 조합 논리는 동일합니까?
현재 Hindley와 Seldin의 " Lambda-Calculus and Combinators "를 읽고 있습니다. 저는 전문가는 아니지만 함수형 프로그래밍 (Lisp 및 SICP로 시작하여 R 및 Haskell으로 시작)으로 인해 람다 미적분학에 관심을 가져 왔습니다. John Tromp 는 " Binary Lambda Calculus and Combinatory Logic" 에서 CL은 람다 미적분학의 부분 집합으로 간주 될 수 있습니다. 어떤 …
5
순수 기능 프로그래밍 언어에 대한 주석이 달린 공식 검증 시스템이 있습니까?
ACSL (Ansi C Specification Language)은 C 코드를 공식적으로 검증 할 수있는 특수 주석으로 주석이 달린 C 코드의 스펙입니다. 나는 그것을 보지 않았지만 ACSL 검증기에 사용되는 공식적인 방법 은 Hoare Logic과 유사하다고 생각합니다. 그러나 Haskell과 같은 순수한 기능 언어의 경우 형식 검증에 어떤 형식의 형식이 사용 될지 상상할 수 없습니다. ACSL …
1
교집합과 노조 유형의 실제 문제는 무엇입니까?
간단한 정적으로 유형화 된 함수형 프로그래밍 언어를 학습 경험으로 설계하고 있습니다. 지금까지 구현 한 유형 시스템은 약간의 추가 작업으로 교차 및 조합 유형을 통합 할 수 있습니다. <Union String Integer> <Union Integer Foo> 위의 두 유형의 교차점은 평범 할 것입니다. Integer 두 유형의 결합은 <Union String Integer Foo> 물론 이것이 …
2
가비지 수집 프로그래밍 언어로 지정된 최악의 데이터 구조의 실행 시간을 분석 할 때 GC 비용을 무시할 수 있습니까?
방금 질문에 대한 대답이 "예"라고 가정했지만 그럴만한 이유가 없습니다. 아마 최악의 경우 속도 저하 를 유발하는 가비지 수집기가 있다고 생각합니다 . 내가 인용 할 수있는 결정적인 기준이 있습니까? 필자의 경우 순전히 기능적인 데이터 구조를 작업 중이며 세부 사항이 중요한 경우 표준 ML을 사용합니다.O ( 1 )영형(1)O(1) 그리고 아마도이 질문은 Java에 …
2
전체 기능 프로그래밍의 한계는 무엇입니까?
전체 기능 프로그래밍의 한계는 무엇입니까? Turing-complete는 아니지만 가능한 많은 프로그램을 지원합니다. 튜링 완성 언어로 작성할 수 있지만 전체 기능 언어로는 쓸 수없는 중요한 구성 요소가 있습니까? 그리고 전체 기능 언어로 작성된 프로그램은 완전히 정적으로 분석 될 수 있지만 튜링 완료 언어의 정적 분석은 정지 문제와 같은 것들에 의해 제한된다고 말하는 …
2
카테고리 이론, 계산 복잡성 및 조합 연결?
나는“ 함수 알고리즘 디자인의 진주 ”와“ 프로그래밍의 대수학 ”을 읽으려고 노력해 왔으며 , 재귀 적으로 (그리고 다항식으로) 정의 된 데이터 유형과 조합 객체 사이에 명백한 대응이 있으며, 동일한 재귀 정의를 가지며 그 이후에 선행합니다 조합 종에 대한 서두에 나와있는 것과 동일한 형식의 전력 계열 (또는 함수 생성)에 대해 설명합니다 (“ …
4
명령형 언어는 기능적 언어와 어떻게 다른가요?
나는 Simon Peyton Jones의 The Functional Programming Languages의 구현을 읽고 있는데, 나를 놀라게 한 한 가지 진술이 있습니다 (39 페이지). 명령형 언어의 경우보다 훨씬 더 많은 기능적 언어는 의미 론적 차이가 거의없는 서로의 구문 상 변형입니다. 이제이 내용은 1987 년에 작성되었으며이 주제에 대한 나의 생각은 당시에 널리 사용되지 않았거나 인기가없는보다 …
3
리더, 라이터 모나드
CCC 를 CCC 라고 하자 . (×)(×)(\times) 를 의 제품 보조 기능으로 합시다 CCC. 으로 고양이 CCC는, 우리는 카레 수 (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Functor 범주 에는 일반적인 단일체 구조가 있습니다. C⇒CC⇒CC \Rightarrow C 모노 이드에서 …
3
핑거 트리 구조 부트 스트랩
2 ~ 3 개의 손가락 나무로 작업 한 후 나는 대부분의 작업에서 그들의 속도에 깊은 인상을 받았습니다. 그러나 내가 겪었던 한 가지 문제는 큰 손가락 나무의 초기 생성과 관련된 큰 오버 헤드입니다. 건물은 일련의 연결 작업으로 정의되므로 불필요한 손가락 트리 구조를 많이 만들게됩니다. 2-3 손가락 나무의 복잡한 특성으로 인해 부트 …
2
(어떻게) 튜링 계산 모델이 없을 때 NP 문제를 발견 / 분석 할 수 있습니까?
순전히 추상적 인 수학 / 계산 추론 관점에서 3-SAT, 부분 집합, 출장 세일즈맨 등과 같은 문제를 어떻게 발견하거나 추론 할 수 있을까요? 기능적인 관점 만으로도 의미있는 방식으로 그들에 대해 추론 할 수 있을까요? 가능할까요? 나는 람다 미적분학 계산 모델 학습의 일환으로 자체 질문의 관점에서 순수 하게이 질문에 궁리했습니다. 나는 그것이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.