«functional-programming» 태그된 질문

함수형 프로그래밍은 추상화를 구축하고 컴퓨터 프로그램을 구성하는 계산을 표현하는 수단으로 주로 함수를 사용하는 프로그래밍 패러다임입니다.

6
카테고리 이론은 함수형 프로그래밍 학습에 유용합니까?
나는 Haskell을 배우고 있으며 언어에 매료되어 있습니다. 그러나 나는 심각한 수학 또는 CS 배경이 없습니다. 그러나 저는 숙련 된 소프트웨어 프로그래머입니다. 하스켈에서 더 나아질 수 있도록 카테고리 이론을 배우고 싶습니다. 하스켈을 이해하기위한 좋은 기초를 제공하기 위해 카테고리 이론의 어떤 주제를 배워야합니까?
3
종속 유형과 정제 유형
누군가가 종속 유형과 개선 유형의 차이점을 설명 할 수 있습니까? 내가 이해하는 것처럼 구체화 유형에는 조건자를 충족시키는 유형의 모든 값이 포함됩니다. 그것들을 구별하는 의존 타입의 기능이 있습니까? 도움이된다면 Liquid Haskell 프로젝트를 통해 Refined 유형과 Coq 및 Agda를 통해 종속 유형을 발견했습니다. 즉, 이론이 어떻게 다른지에 대한 설명을 찾고 있습니다.
3
기능적 언어에 대한 알고리즘 복잡도는 어떻게 모델링됩니까?
알고리즘 복잡도는 하위 수준 세부 사항과 독립적으로 설계되었지만 명령형 모델 (예 : 배열 액세스 및 트리의 노드 수정에 O (1) 시간이 걸림)을 기반으로합니다. 순수한 기능적 언어에서는 그렇지 않습니다. Haskell 목록은 액세스하는 데 선형 시간이 걸립니다. 트리에서 노드를 수정하려면 트리의 새 사본을 작성해야합니다. 그렇다면 기능적 언어에 대한 알고리즘 복잡성의 대체 모델링이 …
3
순수 / 종속 형 시스템에 대한 간단하지만 완전한 설명은 무엇입니까?
무언가가 단순하다면 몇 마디로 완전히 설명 할 수 있어야합니다. 이것은 λ 미적분에 대해 수행 할 수 있습니다. λ- 미적분은 축소 규칙 이있는 구문 문법 (기본적으로 구조)입니다 (이러한 패턴이 존재하지 않을 때까지 특정 패턴의 모든 발생에 반복적으로 검색 / 바꾸기 절차가 적용됨을 의미). 문법: Term = (Term Term) | (λ Var …
2
Functional Reactive Programming과 Actor 모델은 서로 어떤 관련이 있습니까?
FRP는 순수한 기능을 통한 이벤트 및 동작 스트리밍에 관한 것입니다. 액터 모델은 적어도 Akka에서 구현 된 것처럼 액터라고하는 불완전한 오브젝트를 통해 불변 메시지 (이산 이벤트로 간주 될 수 있음)를 스트리밍하는 것에 관한 것입니다. 표면적으로는 관련이있는 것 같습니다. 그들이 어떻게 관련되어 있는지에 관해 우리는 무엇을 더 말할 수 있습니까? 또한 어떤 …
2
Lambda 미적분학은 순전히 구문 론적입니까?
나는 Lambda 미적분학에 대해 몇 주 동안 읽었지만 기존의 수학 함수와 실질적으로 다른 것을 보지 못했으며 그것이 단지 표기법의 문제인지 또는 새로운 것이 있는지 알고 싶습니다. 모든 수학 함수에 적용되지 않는 람다 미적분학 공리에 의해 생성 된 속성 또는 규칙. 예를 들어, 나는 그것을 읽었습니다. "익명 함수가있을 수 있습니다" : …
2
순전히 기능적인 언어로 프롤로그 인터프리터를 구현하는 방법은 무엇입니까?
순전히 기능적인 언어로 Prolog 인터프리터를 구현하는 방법에 대한 의사 코드와 함께 명확한 참조가 있습니까? 지금까지 내가 찾은 것은 명령형 언어만을 다루는 것처럼 보이거나, 그 자체로 구현 된 Prolog의 데모 일 뿐이며, 해석에 사용할 구체적인 알고리즘을 제공하지 않습니다. 나는 대답에 매우 감사하겠습니다.
3
SML의 함수와 범주 이론의 관계는 무엇입니까?
이 답변 에서 Andrej Bauer의 진술과 같은 생각을 따라 Haskell 커뮤니티는 카테고리 이론에서 영감을 얻은 여러 기술을 개발했으며, 그 중 모나드 는 가장 잘 알려져 있지만 모나드 와 혼동해서는 안됩니다 . 사이의 관계를 무엇입니까 펑 SML과 펑 분류 이론은? Haskell 또는 OCaml과 같은 다른 언어의 펑터에 대한 세부 정보를 모르기 …
2
계산식이 모나드와 동일합니까?
이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 5 년 전에 마이그레이션 되었습니다 . 나는 여전히 함수 프로그래밍 (f #)을 배우고 있으며 최근에는 계산 표현식에 대해 읽기 시작했습니다. 나는 여전히 개념을 완전히 이해하지 못하고 모나드에 관한 모든 기사 (대부분 Haskell을 기반으로 작성 됨)를 …
2
카테고리 이론의 의미는 아직 고차 함수를 처리하는 방법을 모르는 것입니까?
읽기에서 우다이 레디의 대답 에 SML에서 펑터 및 카테고리 이론 사이의 관계는 무엇입니까? 우데이 주 카테고리 이론은 아직 고차 함수를 다루는 방법을 모른다. 언젠가는 그럴 것이다. 카테고리 이론이 수학의 기초가 될 수 있다고 생각 했으므로 모든 수학 및 고차 함수를 도출 할 수 있어야합니다. 그렇다면 카테고리 이론이 의미하는 바는 아직 …
4
함수형 프로그래밍에서 영구 데이터 구조를 사용하는 이유는 무엇입니까?
함수형 프로그래밍은 영구적 인 데이터 구조와 불변 개체를 사용합니다. 내 질문은 여기에 그러한 데이터 구조를 갖는 것이 왜 중요합니까? 데이터 구조가 영구적이지 않으면 어떻게 될지 저수준 으로 이해하고 싶습니다 . 프로그램이 더 자주 충돌합니까?
2
프로그래밍에 대한 범주 이론 (not)?
Haskell과 그 밖의 순수한 FP 언어를 배우고 나서 나는 범주 이론에 대해 읽기로 결정했습니다. 카테고리 이론을 잘 이해 한 후에는 카테고리 이론의 개념을 사용하여 프로그램 설계 에 대해 어떻게 생각할 수 있는지에 대해 생각하기 시작했습니다 . 범주 이론을 프로그램 설계 와 관련시키려는 많은 시도가 실패한 후 나는 다음과 같은 결론에 …
5
함수형 프로그래밍 외부의 람다 미적분?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 저는 대학생이며 현재 Lambda Calculus를 공부하고 있습니다. 그러나 여전히 이것이 왜 유용한 지 이해하는 데 어려움을 겪고 있습니다. 함수형 프로그래밍을 많이하면 유용 할 수도 있지만, 실제로는 …
1
함수형 프로그래밍이 동적 트리를 연구하지 않은 이유는 무엇입니까?
동적 트리는 네트워크 흐름, 동적 그래프, 조합 문제 (Tarjan 및 Werneck의 "실제 동적 트리") 및 최근에 사전 병합 (Adam Karczmarz의 "단순 병합 가능한 사전")과 같은 문제를 해결하는 데 중요한 역할을합니다. 동적 트리 란 1983 년 Sleator & Tarjan의 논문 "동적 트리에 대한 데이터 구조"에 정의 된 정의를 참조합니다. 그 이후로 …
1
어떤 클래스의 데이터 구조를 영구적으로 만들 수 있습니까?
영구 데이터 구조 는 변경할 수없는 데이터 구조입니다. 이들에 대한 작업은 데이터 구조의 새로운 "복사"를 반환하지만 작업에 의해 변경됩니다. 이전 데이터 구조는 변경되지 않습니다. 효율성은 일반적으로 일부 기본 데이터를 공유하고 데이터 구조의 전체 복사를 피함으로써 달성됩니다. 질문 : 동일하거나 매우 유사한 복잡성을 유지하면서 지속적으로 만들 수있는 데이터 구조 클래스에 대한 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.