모든 기능 프로그래밍 자습서가 왜 그렇게 수학적인가?

나는 함수형 프로그래밍과 대부분의 튜토리얼을 배우려고 노력했지만 더 복잡한 구문 (경우에 따라 간단한 구문)의 예제로 수학을 사용합니다. 왜 이런거야? 더 쉬운 것을 사용할 수 있다고 생각합니다. 배우기가 어렵습니다.

배경 정보 : 저는 12 년 동안 소프트웨어를 작성해 왔습니다. 저는 폐쇄, 일급 시민으로서의 기능 및 제네릭과 같은 일부 개념을 이해합니다. 일부 고급 레벨에서 고차 함수에 문제가있을 수 있지만 기본적인 이해가 필요합니다. Monads는 엉덩이에 나를 물고 있으며,이 시점에서 나는 그것을 지나치지 않았습니다 (내가 끈질 기 때문에 결국에는 확실 할 것입니다).

함수형 프로그래밍은 수학 구조를 모델링하는 데 매우 뛰어나고 특히 Lambda 미적분학과 같은 수학 개념과 밀접한 관련이 있기 때문에 수학을 사용합니다. 또한 I / O는 일반적으로 다양한 언어의 REPL을 통한 기능적 패러다임 수학의 많은 언어에서 상당히 가시적이고 고급 주제이므로 처음에는 언어를 가르치는 좋은 방법이됩니다.

함수형 프로그래밍은 함수를 프로그래밍 언어 내에서 첫 번째 클래스 구문으로 취급하므로 함수 생성이 매우 중요합니다. 따라서 그래프 이론에서 높은 수학은 상당히 중요합니다.

명령형 언어는 수학만큼이나 중요하지만 어쨌든 추가 할 수있는 기계에 더 가깝기 때문에 기본적으로 모두 산술적입니다. 추상화가 더 높은 기능적 언어는 수학에 더 적합합니다. 학계에서 일반적으로 사용하는 것은 많은 수학을 알고 있고 많은 수학을 배우기를 기대하는 사람들이 사용하고 가르치는 데 도움이되지 않습니다. 따라서 "멍청하게"말할 수는 있지만 이러한 요소는 거의 없습니다.

http://learnyouahaskell.com/- 아마도 함수형 프로그래밍에 대한 가장 쉬운 소개 중 하나 일 것입니다. 저는 두 번 확인했으며 기본 대수와 그래프 이론 외에는 아무것도 없습니다.

여러 가지 이유가 있으며 모두 관련이 있습니다.

• 대부분의 기능적 프로그래밍 언어는 CS가 수학과 밀접한 관련이있는 학문적 맥락에서 개발되었으므로이를 디자인 한 사람들은 강력한 수학 배경을 가지고 있습니다 (청중에 대해 동일하게 가정하는 경향이 있음)
• 함수형 프로그래밍은 수학 문제가 많은 문제를 해결하는 데 특히 적합한 패러다임입니다.
• FP의 이론, 람다 미적분학 (기본적으로 함수의 추상 이론)은 수학의 한 부분이며, FP 언어는 람다 미적분학의 개념과 용어를 사용하는 경향이 있습니다.

또한 FP는 다른 패러다임보다 더 수학적으로 중요하지는 않지만 핵심 개념 (실제 일류 시민으로서의 기능, 고차 기능, 폐쇄 및 순도)에는 특정 사고 방식이 필요합니다. 어느 시점에서, 당신의 마음은 "클릭"으로 가야합니다. 이 4 가지 핵심 아이디어를 이해하면 나머지는 다른 패러다임과 마찬가지로 쉬울 것입니다.

근본적으로 컴퓨터 프로그래밍은 수학이기 때문입니다. 기능 언어는이를 염두에두고 설계되었으므로 많은 자습서가 수학에 중점을 둔 이유입니다.

컴퓨터 프로그래밍을 수학 기반으로 생각하는 데 익숙하지 않다면 배우기가 어렵습니다.

"The Little Schemer"는 함수형 프로그래밍에 대한 훌륭한 소개이며 전혀 수학적인 것은 아니라고 생각합니다. 그것은 Monads에 들어 가지 않으므로 귀하의 취향에 비해 너무 기본적 일 수 있지만 Y 조합을 끝까지 유도합니다.

나는 최근 12 년 전 대학에서 어떤 기능 프로그래밍을하지 않은 후에 그것을 겪었고, 그것은 매우 새로 고침되었습니다. 라켓을 사용하여 책의 대부분의 문제를 해결 한 후 더 진보 된 것을 해결할 준비가 된 것 같습니다.