Tại sao tất cả các hướng dẫn lập trình chức năng rất toán học?

Tôi đã cố gắng học lập trình chức năng và hầu hết các hướng dẫn tôi đã thấy sử dụng toán học làm ví dụ cho các cấu trúc phức tạp hơn (ngay cả những cái đơn giản trong một số trường hợp). Tại sao lại thế này? Tôi sẽ tưởng tượng một cái gì đó dễ dàng hơn có thể được sử dụng. Nó làm cho nó khó học.

Thông tin cơ bản: Tôi đã viết phần mềm được 12 năm. Tôi hiểu một số khái niệm như đóng cửa, chức năng như công dân hạng nhất và thuốc generic. Tôi có thể gặp vấn đề với các chức năng bậc cao hơn ở một số cấp độ nâng cao, nhưng tôi muốn tin rằng tôi có một nắm bắt cơ bản. Monads đang cắn vào mông tôi, và tại thời điểm này tôi đã không vượt qua được điều đó (tôi chắc chắn cuối cùng tôi sẽ làm được, bởi vì tôi kiên trì).

Họ sử dụng toán học vì Lập trình hàm rất giỏi trong việc mô hình hóa các cấu trúc toán học và rất gắn liền với các khái niệm toán học, đặc biệt là Lambda Tính. Ngoài ra, vì I / O thường là một môn học khá gai góc và tiên tiến trong nhiều ngôn ngữ của toán học mô hình chức năng thông qua REPL của các ngôn ngữ khác nhau trở thành một cách tốt để dạy ngôn ngữ lúc đầu.

Bởi vì Lập trình hàm xử lý các Hàm như các cấu trúc lớp đầu tiên trong ngôn ngữ lập trình, việc tạo hàm trở nên rất quan trọng. Do đó toán cao hơn trở nên khá quan trọng đặc biệt là lý thuyết đồ thị.

Ngôn ngữ mệnh lệnh cũng giống như toán học, nhưng tất cả đều là cơ sở vì nó gần với máy hơn mà chỉ có thể thêm vào. Các ngôn ngữ chức năng với sự trừu tượng cao hơn của chúng có xu hướng nhiều hơn về toán học. Việc sử dụng chung trong học viện không giúp ích gì khi chúng được sử dụng và do đó được dạy bởi những người biết nhiều toán học và đang dạy cho những người mong đợi học được nhiều toán. Vì vậy, có thể "câm nó xuống" để nói nhưng không chắc là có các yếu tố này.

http://learnyouahaskell.com/ - Có lẽ là một trong những lời giới thiệu nhẹ nhàng nhất về Lập trình hàm, tôi đã kiểm tra lại và không có gì ngoài lý thuyết đại số và đồ thị cơ bản trong đó.

Có rất nhiều lý do, và tất cả chúng đều liên quan đến nhau:

• Hầu hết các ngôn ngữ lập trình chức năng được phát triển trong bối cảnh học thuật, trong đó CS liên kết chặt chẽ với Toán học, vì vậy những người thiết kế chúng có nền tảng Toán học mạnh mẽ (và có xu hướng giả định giống nhau về đối tượng của họ)
• Lập trình hàm là một mô hình đặc biệt phù hợp để giải các bài toán nặng
• Lý thuyết đằng sau FP, phép tính lambda (về cơ bản, một lý thuyết trừu tượng về các hàm), là một nhánh của Toán học và các ngôn ngữ FP có xu hướng sử dụng các khái niệm và thuật ngữ từ phép tính lambda

Ngoài ra, FP không thực sự là toán học nhiều hơn các mô hình khác, nhưng các khái niệm chính (chức năng như công dân hạng nhất thực sự, chức năng bậc cao, đóng cửa và độ tinh khiết) đòi hỏi một tư duy nhất định. Tại một số điểm, tâm trí của bạn nên đi "nhấp chuột"; Nếu bạn hiểu 4 ý tưởng cốt lõi này, phần còn lại có thể sẽ dễ dàng như bất kỳ mô hình nào khác.

Đó là vì về cơ bản, lập trình máy tính là toán học. Các ngôn ngữ chức năng được thiết kế với ý tưởng này và đây là lý do tại sao phần lớn các hướng dẫn tập trung vào toán học.

Chỉ khó học nếu bạn không quen nghĩ về lập trình máy tính là có nền tảng toán học.

Tôi nghĩ rằng "The Little Schemer" là một giới thiệu tuyệt vời về lập trình chức năng và hoàn toàn không phải là toán học. Nó không vào được Monads, vì vậy nó có thể quá cơ bản đối với thị hiếu của bạn, nhưng lại làm xuất phát từ tổ hợp Y cho đến cuối cùng.

Gần đây tôi đã trải qua nó sau khi không thực hiện bất kỳ chương trình chức năng nào kể từ khi học đại học 12 năm trước, và đó là một sự bồi dưỡng tuyệt vời, tôi chắc chắn cảm thấy sẵn sàng để giải quyết những thứ cao cấp hơn sau khi thực hiện hầu hết các vấn đề trong cuốn sách bằng cách sử dụng vợt.