Các cặp toán học nào có trong lập trình OO?

Question

Nếu gần đây bạn đã xem Going Deep shows of the Channel9, một chủ đề được đề cập rất thường xuyên là mathematical duality trong lập trình. TomasP có số blog post tốt về tính hai mặt trong lập trình hướng đối tượng.

Điều này đã xảy ra kể từ khi Microsoft Research phát hiện ra rằng mẫu thiết kế quan sát thực sự là một toán kép của mẫu lặp. Kể từ đó, họ đã sử dụng khái niệm nhị nguyên trong various ways.

Câu hỏi của tôi là:

gì nhị nguyên toán học trong lập trình nào?

Lập trình hướng đối tượng là một khởi đầu tốt. Các mẫu thiết kế chính của GoF là: Decorator, State, Iterator, Facade, Strategy, Proxy, Factory Method, Adapter, Observer, Template Method, Composite, Singleton, Abstract Factory và Command. Here là một đối tượng-biểu đồ-áp phích tốt.

Answer 1

Không chắc chắn nếu đó là hoàn toàn những gì bạn đang tìm kiếm, vì nó là FP nhiều hơn OO, nhưng tất nhiên là có Curry-Howard Correspondance (a.k.a. Curry-Howard Isomorphism) "equates" chương trình với bằng chứng và các loại với công thức.

Answer 2

Tôi muốn nói nhị nguyên chính trong lập trình là nhị phân mã-dữ liệu, được phơi bày rõ ràng nhất trong Lisp, nhưng cũng rõ ràng trong hầu hết các ngôn ngữ hiện đại cung cấp chức năng nội tâm.

Answer 3

Bạn có thể lập luận rằng tính hai mặt của người quan sát/vòng lặp là (loại, làm việc với tôi ở đây :-)). Trước đây, các đối tượng chuyên dụng hơn sử dụng chức năng cơ sở (chỉ lên) để kế thừa các khả năng chung và trong các đối tượng tổng quát hơn, sử dụng ủy nhiệm để truy cập nhiều chức năng chuyên dụng hơn (điểm xuống/ra). thiết kế có thể được thể hiện bằng một trong hai hình thức, và kể từ khi sự bất hòa giữa hình thức là (hợp lý) rigourous và xác định, tôi muốn nói rằng nó có thể được phân loại như một kép

Xem Treaty of Orlando 2 để biết thêm

Answer 4

tôi nghĩ về đối tượng và đóng cửa/các chức năng ẩn danh dưới dạng kép.

Đối tượng là một loạt dữ liệu, với một tập hợp các thói quen được "đính kèm" với nó (tức là các phương pháp của nó).

Kết thúc, theo ý nghĩa lập trình chức năng của từ, là một tham chiếu (có thể gọi) đến một hàm, với một bộ dữ liệu đính kèm (dưới dạng các biến tự do ràng buộc của nó).