Đâu là tất cả các mẫu thiết kế lập trình chức năng? [đóng cửa]

Tài liệu lập trình OO có đầy đủ các mẫu thiết kế. Hầu hết các cuốn sách về lập trình hướng đối tượng dành một hoặc hai chương để thiết kế các mẫu như nhà máy và nhà trang trí. Vậy các mẫu tương đương trong các ngôn ngữ chức năng là gì và tại sao chưa có ai viết một cuốn sách về chúng? Có điều gì đặc biệt về các ngôn ngữ chức năng làm giảm nhu cầu về các mẫu thiết kế không?

OO và lập trình chức năng là hai mô hình lập trình rất khác nhau và các mẫu thiết kế (DP) là một phần quan trọng của thiết kế và lập trình OO. DP không có vai trò như vậy trong lập trình chức năng.

Người ta thậm chí có thể nói rằng DP không cần thiết trong lập trình chức năng - không có ngứa mà DP đang chữa.

• Người ta có thể lập luận rằng các mẫu thiết kế là dấu hiệu của các tính năng bị thiếu trong ngôn ngữ lập trình.

• Peter Norvig nhận thấy rằng 16 trong số 23 mẫu trong sách Mẫu thiết kế là " vô hình hoặc đơn giản r" trong Lisp hoặc Dylan.

• "Nhiều mẫu ngụ ý hướng đối tượng hoặc trạng thái có thể thay đổi nói chung, và do đó có thể không áp dụng được trong các ngôn ngữ lập trình chức năng, trong đó dữ liệu là bất biến hoặc được xử lý như vậy." - http://en.wikipedia.org/wiki/Design_potype_%28computer_science%29

Jeremy Gibbons đang viết cuốn sách. Cho đến khi nó kết thúc, bạn có thể đọc blog của mình, Các mẫu trong Lập trình chức năng . Ông khuyên nên đọc bài viết của mình từ cũ nhất đến mới nhất.

Duyệt các ấn phẩm của ông là tốt. Ông bao quát các mô hình Gang of Four trong các mẫu thiết kế dưới dạng các chương trình kiểu dữ liệu chung cấp bậc cao hơn và mô tả các mô hình lập trình với các phương trình đệ quy trong Lập trình Origami (gấp và mở ra).

Một thực tế đơn giản là nhiều Mẫu OO sẽ được coi là Thành ngữ trong các ngôn ngữ chức năng (đặc biệt là các mẫu GoF gốc). Ví dụ, mẫu Iterator (tích hợp sẵn cho các ngôn ngữ như C # bây giờ) không cần thiết trong Lisp hoặc ML có toán tử trình tự.

Có rất nhiều mẫu chúng ta sử dụng trong các hệ thống OO để giúp chúng ta loại bỏ những thứ "không cần thiết" để chúng ta có thể tập trung vào các đối tượng mã hóa. Nói cách khác, các mẫu là giải pháp cho các phần không thú vị của ứng dụng. Chúng ta nên tận dụng các mẫu để giải quyết các nhu cầu chung đã được giải quyết trước đó (như các mẫu trong Fowlers Mẫu của Kiến trúc ứng dụng doanh nghiệp để xử lý các việc như truyền cơ sở dữ liệu hoặc xUnit mẫu để tăng cường kiểm tra đơn vị của bạn) để chúng tôi có thể tập trung vào việc thêm giá trị doanh nghiệp cho các ứng dụng.

Tôi chắc chắn rằng ngoài các chi tiết cụ thể của các mẫu GoF, còn có các mẫu thiết kế sẽ được áp dụng cho lập trình chức năng. Có điều là OO là mô hình chi phối. Viết một cuốn sách mẫu nhắm vào các nhà phát triển chức năng ... thật lòng sẽ không nhận được đèn xanh từ nhà xuất bản. Đó là những gì nó sôi lên. Không có đủ thị trường cho các Mẫu chức năng để có một số lượng đáng kể sách dành riêng cho chủ đề này.

Một cuộc nói chuyện hay (~ 45 phút) về chủ đề này của Stuart Sierra:

http://www.infoq.com/presentations/Clojure-Design-Potypes

Không nhất thiết phải ràng buộc và có thẩm quyền, nhưng tôi đã nhận ra một số ví dụ của anh ấy từ kinh nghiệm của bản thân tôi khi sử dụng FP để phân tích dữ liệu.

Các ví dụ được viết bằng Clojure, nhưng có thể áp dụng cho bất kỳ ngôn ngữ FP nào. Những cái tên anh đặt cho các mẫu anh bao gồm:

• Bang / Sự kiện
• Hậu quả
• Tích lũy
• Giảm / Kết hợp
• Mở rộng đệ quy
• Đường ống
• Vỏ bánh
• Mã thông báo
• Người quan sát
• Chiến lược

Nếu bạn thực sự quan tâm đến việc học các mẫu thiết kế thì không có gì khác ngoài Haskell. Nếu bạn dành thời gian để học ngôn ngữ một cách khó khăn, bạn sẽ gặp phải và trở nên ấm cúng với hầu hết các mô hình nền tảng - chúng được đưa vào ngôn ngữ.

Đừng bỏ qua các đơn nguyên. Có rất nhiều lời giải thích dài dòng ngoài kia và cần phải có một số ý tưởng để thực hiện, nhưng nếu bạn tiếp tục cắm đầu, cuối cùng nó sẽ bình minh lên và bạn sẽ ngạc nhiên về số lượng mẫu thiết kế có thể xây dựng trên đầu trang của một trừu tượng / giao diện này.

Khi bạn mò mẫm Haskell, bạn sẽ có đủ kho vũ khí của FP để xử lý nguy hiểm. Điểm là, giữ ở đó cho đến khi bạn nhận được nó. Không có vết cắt ngắn.

Trong chừng mực các phương pháp thiết kế cho FP là thiết kế các loại của bạn để phản ánh chính xác không gian vấn đề và thực hiện, nếu làm theo cách tự động, tương đương với FP của một cuốn sách về các mẫu thiết kế là một cái gì đó giống như Chris Okasaki của Cấu trúc dữ liệu thuần túy chức năng .