Khác biệt giữa bản sửa đổi của “Lập trình tổng quát”
Nội dung được xóa Nội dung được thêm vào
n →Liên kết ngoài: replaced: ]] and → và [[ using AWB |
nKhông có tóm lược sửa đổi |
||
Dòng 10:
| publisher=Springer Science & Business Media
| isbn=978-0-387-79422-8
| pages=9–10}}</ref><ref>{{cite conference | title=A Logic for Computable Functions with Reflexive and Polymorphic Types | accessdate=ngày 15 tháng 10 năm 2016 |author1=Milner, R. |author2=Morris, L. |author3=Newey, M. | booktitle=Proceedings of the Conference on Proving and Improving Programs | year=1975}}</ref> cho phép viết các [[chương trình con|hàm]] hay [[kiểu dữ liệu|kiểu]] chung mà chỉ khác nhau ở tập các kiểu mà chúng dùng, do vậy giảm thiểu được [[trùng lặp mã|sự trùng lặp]]. Các thực thể phần mềm như vậy gọi là ''generic'' trong [[Ada (ngôn ngữ lập trình)|Ada]], [[C
{{chú thích sách
| last1 = Gamma
|