«haskell» 태그된 질문

항상 언급되는 소프트웨어 트랜잭션 메모리의 주요 장점 중 하나는 구성 성 및 모듈성입니다. 더 큰 부품을 생산하기 위해 다른 조각을 결합 할 수 있습니다. 잠금 기반 프로그램에서는 종종 그렇지 않습니다. 실제 코드로 이것을 보여주는 간단한 예제를 찾고 있습니다. Clojure의 예제를 선호하지만 Haskell도 좋습니다. 예제에 쉽게 구성 할 수없는 일부 잠금 …

11 haskell  clojure  stm 

다음 선언은 오류를 제공합니다. type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) …

11 haskell 

함수형 프로그래밍을 배우고 있으며 할당을 사용하지 않고 특정 시나리오를 구현하는 방법을 이해하는 데 어려움이 있습니다. 다음의 간단한 문제는 혼란을 요약합니다. 주어진 데이터 구조의 변경에 대한 이벤트를 수신하고이 데이터 구조가 특정 상태에 도달하면 이벤트를 생성하는 프로그램을 작성하십시오. 그래서 내가 유지하는 데이터 구조의 사본이 있습니다. datastructure_copy::DataStructure 변경되면 시작되는 이벤트 스트림이 있습니다. datastructure_changes::Stream …

10 functional-programming  haskell  reactive 

하스켈 핵심 언어는 정말 간단합니다. OO 배경에서 비롯된 주요 어려움은 순수한 기능적 패러다임에 적응하는 것입니다. "기본"Haskell을 배우는 동안 나는 언어 확장을 CS 사람들을위한 장난감으로 또는 from future import ???파이썬에서 와 같이 언어의 미래 버전을위한 실험으로 항상 고려해 왔습니다 . 그러나 Yesod와 같은 웹 프레임 워크를 살펴보기 시작했을 때 많은 소스 …

10 haskell 

라켓에는 유형이 있습니다. 언뜻보기에 Haskell 타이핑과 거의 같은 것으로 보입니다. 그러나 Lisp의 CLOS는 Haskell 유형의 공간 중 일부를 다루고 있습니까? 매우 엄격한 Haskell 유형과 모든 OO 언어로 된 객체를 만드는 것은 모호하게 유사 해 보입니다. 그것은 단지 Haskell kool-aid의 일부를 마 셨기 때문에 Lisp 도로를 따라 가면 역동적 인 타이핑으로 …

10 haskell  scheme  common-lisp 

함수형 프로그래밍에 관한 많은 책과 기사를 읽었지만 여전히 매우 기본적인 개념을 이해할 수 없다는 것이 부끄러운 일입니다. 함수형 프로그래밍의 주요 아이디어 중 하나는 동일한 입력이 항상 동일한 출력을 생성해야한다는 것입니다. 따라서 데이터베이스 쿼리 또는 파일 쓰기는 정의에 따라 순수한 기능 스타일로 수행 할 수 없습니다. 예를 들어 모나드가 필요한 이유 …

10 language-agnostic  functional-programming  haskell 

루비는 내장,리스트, 선택, 수집 등 좋은 목록 조작 기능을 가지고 있다고 가정합니다. Procs, Blocks 및 Lambdas를 가지고 있으며 반복 지원 ( each패밀리) 이 뛰어납니다. 가능한 가장 순수한 기능으로 모든 루비를 작성합니까? I / O가 거의 없거나 전혀없는 코드 (종종 덜 명백한 부작용)에 대해 간혹? 나는 Haskell ( '실제'해커의 언어라고 함)을 …

10 ruby  haskell  functional-programming 

바운드 인스턴스는 Enum을 제대로 구현 한 것처럼 보입니다. 누군가가 병적 인 것이 아닌 것을 생각해 내면 왜 이것이 그렇지 않은지 이해할 것입니다. :i두 가지 유형 클래스 에서 수행 하면 현재 표준 라이브러리에있는 유일한 예외는 바운드이지만 Enums는 아닙니다. 그러나 모든 마지막 튜플은 단순히 마지막 요소를 증가시킨 다음 maxBound에 도달하면 감싸는 방식으로 …

9 haskell  typeclass 

휴무 . 이 질문은 더 집중되어야 합니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 한 가지 문제에만 집중할 수 있도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 기능 프로그래밍을위한 Monads에 관한 Wadler의 원본 논문 (Haskell) 오랜 역사를 가진 또 다른 질문은 프로그램을 어레이 업데이트를 …

9 haskell  lisp  virtual-machine  computer-architecture  lisp-machine 

ML이나 Haskell과 같은 기능적 언어가 가지고 있다는 점에서 Go가 실제로 유형 유추가 아니라는 것을 읽었지만 두 버전의 비교를 이해하는 간단한 방법을 찾지 못했습니다. 누군가 Go의 유형 추론이 Haskell의 유형 추론 및 각각의 장단점과 어떻게 다른지 기본 용어로 설명 할 수 있습니까?

9 haskell  type-systems  go 

최근 저는 Haskell에 깊은 관심을 가지게되었습니다. 새로운 개념 (예 : forall 키워드 와 ST 모나드 )과 Haskell의 유형 시스템 을 배우려고 노력하는 동안 나는 계속해서 범주 이론 과 람다 미적분학 에서 개념을 접하게 됩니다. 그래서 궁금합니다. Haskell의 유형 체계를 이해하는 데 중요한 다른 수학 분야는 무엇입니까? 이 수학에 대한 엄격한 …

9 programming-languages  functional-programming  math  haskell  type-systems 

Haskell에서 웹 서비스에 대한 메모리 내 데이터 저장소를 구현하고 싶습니다. STM모나드 에서 트랜잭션을 실행하고 싶습니다 . Google 해시 테이블 스팀 Haskell을 얻을 때 나는 이것을 얻습니다 : Data. BTree. HashTable. STM.모듈 이름과 복잡성은 이것이 트리로 구현되었음을 제안합니다. 가변 해시 테이블에 대해 배열이 더 효율적이어야한다고 생각합니다. STM해시 테이블에 배열을 사용하지 않는 …

9 data-structures  haskell 

파이프 및 필터 아키텍처 패턴은 일련의 처리 요소 로 정의되며 각 요소의 출력이 다음 요소의 입력이되도록 배열 됩니다. 모든 예제는 일종의 공유 버퍼를 통해 수행되는 프로세스 간 또는 스레드 간 연결을 고려하는 것 같습니다. 나에게 Haskell 함수 구성 이 동일한 작업을 수행하는 것 같습니다. 함수 순서에 관한 것이고 파이프로 명시 …

9 design  functional-programming  haskell  architectural-patterns 

이전 질문에서 기능 프로그래밍 언어는 물리 엔진과 같은 동적 시스템에는 적합하지 않다는 이야기를 들었습니다. 주로 객체를 변경하는 데 비용이 많이 듭니다. 이 진술은 얼마나 현실적이고, 왜 그런가?

9 functional-programming  haskell  clojure  immutability 

Haskell, O'Caml 또는 LISP 이전에는 고차 함수가 학술 연구 주제였으며 수학에서는 Schönfinkel (1967)과 Haskell Curry (1968)는 이미 카레와 같은 기술을 적용했음을 이해하고 있습니다. 모든 프로그래밍 언어로 사용 가능하기 전이었습니다. Wikipedia에 따르면 , Scheme 은 일류 시민으로서 적절한 고차 함수를 도입 한 최초의 언어 였지만, 우리가 원래 아이디어를 귀속시킬 수있는 사람이 …

9 functional-programming  history  haskell  scheme  higher-order-functions