Vâng, vâng tôi có
Tôi đã giữ im lặng về chủ đề này trong một thời gian dài; đã đến lúc nói ra.
- Có ai đã thử áp dụng khái niệm này vào thiết kế đối tượng chưa?
Vâng. Tôi đã làm việc về việc chính thức hóa chuẩn hóa đối tượng (và do đó là lý thuyết hướng đối tượng cơ bản) trong hơn 20 năm.
Bằng cách nhận ra rằng dữ liệu và mã có thể thay thế cho nhau, ít nhất là trên lý thuyết. Điều này có nghĩa là các nguyên tắc chuẩn hóa và các hoạt động quan hệ có thể áp dụng cho mã cũng như dữ liệu.
- Làm thế nào nó làm việc ra?
Nó hoạt động khá tốt cho đến nay - tôi tin rằng những hiểu biết thu được là "vũ khí bí mật" trong khả năng thiết kế, phân tích và tái cấu trúc của tôi.
Tôi đã không nói bất cứ điều gì về nó một cách công khai trước đó bởi vì tôi nghĩ rằng cuối cùng tôi sẽ có thời gian để hoàn thành nghiên cứu - và tự sản xuất các công cụ ngụ ý - chính tôi.
Nhưng tôi đã đi đến kết luận rằng với mọi thứ khác đang diễn ra trong cuộc sống của tôi quan trọng hơn, vui vẻ hơn và / hoặc có nhiều lợi nhuận hơn, tôi sẽ không có thời gian để tự mình hoàn thành nghiên cứu. Không bao giờ. Cũng có khả năng đáng kể là tôi đơn giản là không có nền tảng lý thuyết CS cần thiết để hoàn thành công việc một mình.
Tôi đã hỏi trường đại học địa phương về việc tài trợ cho một hoặc hai ứng cử viên tiến sĩ nếu họ muốn tìm hiểu nguyên nhân, nhưng than ôi trường đại học địa phương của chúng tôi không dạy một nền tảng đầy đủ về ngữ nghĩa ngôn ngữ lập trình.
Đã có một số nghiên cứu thú vị trong lĩnh vực này, nhưng tất cả trong số đó - mà tôi biết - đã không đạt được mục đích. Hoặc nó giả định không chính xác bởi vì chuẩn hóa xuất phát từ một nền tảng quan hệ, nó không áp dụng cho các mô hình hướng đối tượng hoặc giả định rằng chuẩn hóa chỉ áp dụng cho dữ liệu được xác định bởi các đối tượng. Có một số dự án suýt bỏ lỡ rất thú vị tuy nhiên ...
Các công cụ thực sự thú vị xảy ra khi bạn áp dụng chuẩn hóa cho mã - mà tôi sẽ tranh luận là nền tảng của tất cả tái cấu trúc .
Vì vậy, bây giờ tôi nghĩ rằng điều tốt nhất để làm là nói ra, có lẽ bằng cách yêu cầu phát biểu tại DevDays 2011 ở DC, và tìm hiểu xem có một cộng đồng nào bị kích thích bởi những thứ này như tôi không.
Đây là một lén lút: Bình thường hóa là quá trình tạo ra một cái gì đó tối thiểu và không dư thừa. Do đó, nguyên tắc Đừng lặp lại chính mình (DRY) của lập trình hướng đối tượng là một biểu hiện rõ ràng của các mục tiêu của chuẩn hóa. Tôi tin rằng tôi có thể chỉ ra rằng tất cả các nguyên tắc thiết kế / lập trình / tái cấu trúc hướng đối tượng nổi tiếng là hệ quả logic của việc chuẩn hóa đối tượng. Tôi nghĩ rằng tôi cũng có thể chỉ ra rằng có nhiều điều thú vị hơn có thể được thực hiện với các hệ thống trong Mẫu đối tượng bình thường (ONF) thay vì chỉ tái cấu trúc.