기능적이고 순수한 프로그래밍 언어

기능적이고 순수한 프로그래밍 언어는 무엇입니까?기능적이고 순수한 프로그래밍 언어

2011-01-15 Delirium tremens

이 질문에 대한 답변이 도움이 될 수 있습니다. http://stackoverflow.com/questions/4382223/pure-functional-language-haskell –

[위키 백과의 카테고리 별 프로그래밍 언어 목록의 기능 언어 섹션] http://en.wikipedia.org/wiki/List_of_programming_languages_by_category#Functional_languages). – ephemient

아마도 많은 사람들이 있지만 대부분의 사람들이 알고있는 주요한 사람은 Haskell입니다.

일부 다른 Miranda 및

출처

2011-01-15 20:33:56

메모와 마찬가지로, 미란다는 본질적으로이 시점에서 사실상 존재하지 않으며 하스켈이 대신합니다. 클린은 여전히 활발한 개발 중입니다. – sclv

Miranda는 여전히 기능 언어 구현에있어 SPJ 논문에서 사용됩니다. :) 미란다가 대문자 사용을 너무 많이 싫어하기 때문에 대상 언어로 하위 집합을 사용하기 위해 전체 종이를 다시 작성하는 것처럼 느낍니다. – alternative

좋은 기능 프로그래밍 언어 Clean이 AGDA입니다 있습니다 http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf

인해 하스켈 같은 다른 언어로 정의 될 수있는 몇 가지 기능을 정의 할 수 있습니다 의존의 형태에. 예 : 인수와 동일한 길이의 벡터를 반환하는 함수 유형 (Vec n -> Vec n)입니다. 예를 들어 sort는이 유형입니다. [일부 논문은 그것이 haskell보다 더 순수하다고 생각했습니다. " ] 편집하기 전에]

agda의 장점은 souce 코드가 매우 훌륭하고 haskell과 비슷하다는 것입니다. 또한, 모든 haskell 함수를 호출하여 사용할 수 있습니다. 단점은 주로 표준 라이브러리가 현재 너무 자주 변경된다는 것입니다.

그냥 목록에 대한 소스 코드를 보면 :
http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence : http://www.cse.chalmers.se/~nad/listings/lib-0.4/Data.List.html#209

은 물론 위키 피 디아에서 - 하워드 카레하는 등 COQ, 경구,

그리고 참조와 같은 유사한 기능을 프로그래밍 언어가있다

일부 유형의 링크는 다음과 같습니다 (일부 agda 링크 포함) : http://www.reddit.com/r/dependent_types/

출처

2011-02-10 00:18:04 mrsteve

Agda는 종속 형 프로 그래밍 언어/정리 정리자입니다. 그것은 현재 연구를위한 것이며, 의미있는 의미에서 하스켈보다 더 순수하지는 않습니다. Epigram은 agda와 유사하지만, 현재로서는 아무런 작업 구현이 전혀 없다는 점이 다릅니다. Epigram 2의 개발은 현재 연구 중입니다. Coq는 전혀 언어가 아니지만 (일부는 추출 할 수 있음) 단순히 이론적 인 증명 자일뿐입니다. – sclv

Hello Sclv. 게시물의 일부분을 변경했습니다. Wiki pedia에 따르면 Coq와 관련하여 "Coq는 종속 형식의 함수형 프로그래밍 언어를 구현합니다 [1]. Wikipedia가 잘못되었거나 내 부분에 오해가 있습니다. 예, Agda는 주로 연구를위한 것이지만 그것은 haskell에 대해서도 말할 수 있습니다. 나는 agda의 발전이 계속된다면 큰 관심이있을 것이라고 생각합니다. 그리고 그것은 순수 함수형 프로그래밍 언어 중 하나로 나열되어야합니다. – mrsteve

람다 미적분학과 SK- 미적분학은 순전히 기능적으로 중요한 두 가지 프로그래밍 언어입니다.

출처

2012-04-15 17:11:20 cdiggins

기능적이고 순수한 프로그래밍 언어

답변

관련 문제