Sự khác biệt giữa Mô-đun và Lớp trong OCaml là gì.Mô-đun và Lớp học trong OCaml
Từ tìm kiếm của tôi, tôi thấy điều này:
Cả hai cung cấp cơ chế cho sự trừu tượng và đóng gói, cho subtyping (bằng cách bỏ qua phương pháp trong các đối tượng, và bỏ qua ruộng trong module), và cho thừa kế (đối tượng sử dụng kế thừa; các mô-đun sử dụng bao gồm). Tuy nhiên, hai hệ thống không thể so sánh được. Một mặt, các đối tượng có lợi thế: các đối tượng là các giá trị đầu tiên là và các mô-đun không nói cách khác, các mô-đun không hỗ trợ tra cứu động . Mặt khác, các mô-đun có lợi thế: các mô-đun có thể chứa các loại định dạng và các đối tượng không thể.
Trước tiên, tôi không hiểu "Mô-đun không hỗ trợ tra cứu động" nghĩa là gì. Từ phần của tôi, trừu tượng và đa hình có nghĩa là con trỏ cha mẹ có thể tham chiếu đến một cá thể con. Đó có phải là "tra cứu động" không? Nếu không, tra cứu động thực sự có nghĩa là gì?
Trong thực tế, khi nào chúng ta chọn sử dụng Mô-đun và khi nào?