Là thành phần chức năng Haskell là một ví dụ của mẫu kiến ​​trúc ống & bộ lọc

Mẫu kiến ​​trúc ống & bộ lọc được định nghĩa là một chuỗi các phần tử xử lý, được sắp xếp sao cho đầu ra của mỗi phần tử là đầu vào của phần tử tiếp theo . Mọi ví dụ dường như xem xét kết nối giữa quá trình hoặc liên luồng được thực hiện thông qua một số loại bộ đệm chia sẻ.

Đối với tôi, có vẻ như thành phần chức năng Haskell đang thực hiện cùng một nhiệm vụ. Chúng ta có thể nói rằng đó là một thể hiện của mẫu này ngay cả khi nó chỉ là về thứ tự hàm và không có bộ đệm rõ ràng nào được sử dụng làm đường ống? Nếu có, chúng ta có thể nói điều tương tự cho ngôn ngữ không lười biếng không?

Chúng được kết nối, nhưng kết nối là cách khác (loại).

Thành phần hình thái trong một danh mục phù hợp mô hình chính xác cả thành phần chức năng (trong đó danh mục Setdành cho ngôn ngữ nghiêm ngặt và CPOngôn ngữ lười biếng) và thành phần quy trình (trong đó danh mục là danh mục (AFAIK, không tên) trong đó các đối tượng là chuỗi, hình thái là vỏ các quá trình, và thành phần là toán tử đường ống). Các quy trình Shell có thể được nhìn thấy, mà không làm mất tính tổng quát hoặc độ chính xác, vì các hàm (lười biếng) của loại String -> WriterT String IO Stringvà các hàm thuần túy String -> Stringcó thể được chuyển đổi một cách dễ dàng sang và từ các chức năng của loại String -> Identity String, vì vậy cả hai thực sự chỉ là (>>=)ngụy trang.

Có một sự khác biệt. Các đường ống và bộ lọc xử lý các kết nối dữ liệu và dữ liệu, trong khi Thành phần chức năng Haskell xử lý các chức năng hạng nhất . Các chức năng hạng nhất có thể kết hợp theo cách mà các đường ống và bộ lọc không có.

Đọc thêm
Khả năng kết hợp có nghĩa là gì trong bối cảnh lập trình chức năng?