더 높은 수준의 기능 프로그래밍으로 발전하는 방법 [닫기]

먼저이 질문에 대한 올바른 장소가 아니라면 사과드립니다 .th.CS가 올바른 곳이 아니라고 생각합니다.

나는 함수형 프로그래밍을 정말 좋아하고 F #에서 중급 수준의 사람이라고 생각하고 Haskell의 기본 개념을 다소 잘 이해합니다. 그렇습니다. Monad가 무엇인지 아는 것처럼 알고 있습니다.

이제 저는 이것을 다음 단계로 나아가고 펑터와 물건에 관한 모든 이야기가 무엇인지 이해하고 싶습니다. 어디서부터 시작해야할지 모르겠습니다.

Lambda Calculus에 대해 읽어보십시오. 카테고리 이론? 둘 다 조금 알고 있으며 이것이 깨달음에 대한 올바른 / 빠른 방법이라고 생각하지 않습니다.

어쩌면 당신은 그것에 대한 힌트를 줄 수 있습니다.

추신 : 나는 수학을 두려워하지 않으며 운동에 쉽게 좌절하지 않지만 코드를 내려 놓을 수있는 소개 / 텍스트를 선호합니다. 이러한 방식으로 피드백을 한 번에 얻을 수 있습니다.

• 읽기 람다 논문을 ,
• 주변에 숨어 람 바어 궁극적 인 ,
• 다음과 같은 기능적 언어 (순전히 기능적이든 아니든)를 선택하십시오.
  • 하스켈 ,
  • 계획 ,
  • OCaml의 .

F #은 좋은 시작입니다. Haskell을 계속 사용하고 람다 미적분을 자세히 읽고 위에서 언급 한 Lambda 논문을 읽으십시오 .

하이브리드 언어 (Clojure, Scala, OCaml, ...)를 사용하면 OO 배경에서 온 경우 쉽게 이해하는 데 도움이 될 수 있지만 기능적인 프로 마이징 사고 방식을 실제로 이해하려면 오히려 진짜 (Haskell, Lisp, ...).

시간이 고급 스러우면이 세 권의 책을 읽는 것이 좋습니다.

• 기능 알고리즘 디자인의 진주
• 순전히 기능적인 데이터 구조
• 유형 이론 및 기능 프로그래밍

이 세 권의 책은 기능 프로그래밍에 대한 일반적인 이해를 풍부하게합니다.

Haskell 은 functors에 대한 훌륭한 소개를 제공 합니다.

정말 무거운 물건에 대해서는 Oleg Kiselyov의 훌륭한 사이트를 읽을 수 있습니다 : 구분 된 연속, 지퍼, 반복, ...