Subjek bahasa pemrograman adalah suatu rimba raya yang hampir tak terpetakan, tercermin dari banyaknya usulan tentang klasifikasi bahasa pemrograman [APPL1991], dan terlalu banyaknya istilah yang bersifat different thing to different people [APPL1997]. Untuk bahasa yang strongly typed pun rimba raya masalah masih banyak. Ada istilah kelas, tipe, kelas abstrak, tipe data abstrak, parameterized type, dan sebagainya. Hal ini diperparah dengan tidak adanya hirarki tipe yang terpadu. Terakhir, banyak bahasa pemrograman dirancang dengan tingkat kepaduan konsep (conceptual integrity) yang rendah. Frederick P. Brooks [BROO1975] menyatakan bahwa kepaduan konsep adalah pertimbangan terpenting dalam desain sistem. Lebih baik memiliki sistem yang menghilangkan fitur-fitur anomalis tertentu dan mencerminkan satu set pemikiran desain, ketimbang sistem yang memiliki banyak pemikiran yang bagus tapi tidak terkoordinasikan.” Pentingnya Bahasa Pemrograman Besarnya pengaruh bahasa pemrogram...