Phân tách (mô đun) bằng các ngôn ngữ chức năng

Question

Có ý tưởng: các hàm (trong FP) có thể được tạo thành các cách tương tự như các thành phần trong OOP. Đối với các thành phần trong OOP, chúng ta sử dụng các giao diện. Đối với các chức năng, chúng tôi có thể sử dụng các đại biểu. Mục đích là để đạt được sự phân hủy, mô đun và khả năng thay đổi lẫn nhau. Chúng tôi có thể sử dụng tiêm phụ thuộc để làm cho nó dễ dàng hơn.

Tôi đã cố gắng tìm nội dung nào đó về chủ đề. Không may mắn. Có lẽ vì không có chương trình chức năng đủ lớn để cần điều này? Trong khi tìm kiếm các ứng dụng quy mô doanh nghiệp được viết bằng FP, tôi đã tìm thấy danh sách này. Functional Programming in the Real World và this paper. Tôi hy vọng tôi chỉ bỏ lỡ các ứng dụng sát thủ cho FP, mà sẽ đủ lớn để xứng đáng với sự phân hủy.

Câu hỏi: Bạn có thể hiển thị ứng dụng FP thực tế phong phú (tốt nhất là nguồn mở), sử dụng phân tách thành các mô-đun không?

Lời khen thưởng: Mẫu thông thường được sử dụng là gì? Những loại chức năng nào thường bị phân tách thành các mô-đun riêng biệt? Các triển khai có bao giờ được giả lập cho mục đích thử nghiệm không?

Answer 1

Một thời gian trước, tôi đã học F # và tự hỏi về cùng một chủ đề, vì vậy tôi đã hỏi về quality open source projects to learn from.

Lý do tại sao bạn không nhìn thấy bất cứ điều gì tương tự như tiêm phụ thuộc trong lập trình hàm là nó chỉ là "tự nhiên", bởi vì bạn "tiêm phụ thuộc" chỉ bằng cách truyền hoặc soạn hàm. Hoặc như bài viết này đặt nó, "Functional dependency injection == currying", nhưng đó chỉ là một cơ chế.

Mocking frameworks là không cần thiết. Nếu bạn cần phải thử một cái gì đó, bạn chỉ cần vượt qua một "sơ khai" chức năng.

Xem thêm this question about real-world Scala applications.

Answer 2

Hoặc là chúng ta đang nói về các mục đích chéo (có thể: Tôi không quen thuộc với thuật ngữ OOP) hoặc bạn đang thiếu rất nhiều về lập trình hàm. Các mô-đun và trừu tượng (tức là khả năng trao đổi) đã được phát minh cơ bản bằng ngôn ngữ chức năng CLU. Các giấy tờ tinh túy về các loại trừu tượng là số Protection in programming languages và Types are not sets của James Morris. Sau đó, hầu hết các cải tiến trong hệ thống mô-đun và trừu tượng đều đến từ thế giới lập trình chức năng, thông qua các ngôn ngữ giống như ML.

Ứng dụng sát thủ cho lập trình chức năng thường được cho là thao tác tượng trưng. Hầu hết các trình biên dịch cho các ngôn ngữ chức năng được viết bằng ngôn ngữ chính nó, vì vậy bạn có thể tra cứu nguồn gốc của việc thực hiện ngôn ngữ chức năng yêu thích của bạn. Nhưng khá nhiều chương trình phi thường (chức năng hay không) được viết theo một cách mô-đun ở một mức độ nào đó - có lẽ tôi đang thiếu một cái gì đó về những gì bạn có nghĩa là "phân hủy"? Mô đun sẽ hiển thị rõ hơn và sử dụng các khái niệm nâng cao hơn trong các ngôn ngữ được nhập mạnh mẽ với hệ thống mô-đun nâng cao, chẳng hạn như Standard ML và Objective Caml.