Garis Waktu

Beberapa peristiwa kunci lain dalam sejarah teori bahasa pemrograman sejak saat itu:

1950-an

• Noam Chomsky mengembangkan hierarki Chomsky di bidang linguistik, sebuah penemuan yang secara langsung berdampak pada teori bahasa pemrograman dan cabang ilmu komputer lainnya.

1960-an

• Pada tahun 1962, bahasa Simula dikembangkan oleh Ole-Johan Dahl dan Kristen Nygaard; itu secara luas dianggap sebagai contoh pertama dari bahasa pemrograman berorientasi objek; Simula juga memperkenalkan konsep coroutine.
• Pada tahun 1964, Peter Landin adalah orang pertama yang menyadari kalkulus lambda Church dapat digunakan untuk memodelkan bahasa pemrograman. Dia memperkenalkan SECD machine yang "menginterpretasikan" ekspresi lambda.
• Pada tahun 1965, Landin memperkenalkan J operator, pada dasarnya bentuk continuation.
• Pada tahun 1966, Landin memperkenalkan ISWIM, sebuah bahasa pemrograman komputer abstrak dalam artikelnya The Next 700 Programming Languages. Ini berpengaruh dalam desain bahasa yang mengarah ke bahasa Haskell.
• Pada tahun 1966, Corrado Böhm memperkenalkan bahasa CUCH (Curry-Church).^[3]
• Pada tahun 1967, Christopher Strachey menerbitkan serangkaian catatan kuliahnya yang berpengaruh Fundamental Concepts in Programming Languages, memperkenalkan terminologi nilai-R, nilai-L, polimorfisme parametrik, dan polimorfisme ad hoc.
• Pada tahun 1969, J. Roger Hindley menerbitkan The Principal Type-Scheme of an Object in Combinatory Logic, yang kemudian digeneralisasi menjadi Hindley–Milner algoritma inferensi tipe.
• Pada tahun 1969, Tony Hoare memperkenalkan logika Hoare, bentuk semantik aksiomatik.
• Pada tahun 1969, William Alvin Howard mengamati bahwa sistem bukti "tingkat tinggi", yang disebut deduksi natural, dapat langsung diinterpretasikan dalam varian intuisifnya sebagai varian model komputasi bertipe yang dikenal sebagai kalkulus lambda. Ini dikenal sebagai korespondensi Curry–Howard.

1970-an

• Pada tahun 1970, Dana Scott pertama kali menerbitkan karyanya tentang semantik denotasional.
• Pada tahun 1972, pemrograman logika dan Prolog dikembangkan sehingga memungkinkan program komputer untuk diekspresikan sebagai logika matematika.
• Sebuah tim ilmuwan di Xerox PARC yang dipimpin oleh Alan Kay mengembangkan Smalltalk, bahasa berorientasi objek yang dikenal luas karena lingkungan pengembangannya yang inovatif.
• Pada tahun 1974, John C. Reynolds menemukan System F. Itu sudah ditemukan pada tahun 1971 oleh ahli logika matematika Jean-Yves Girard.
• Dari tahun 1975, Gerald Jay Sussman dan Guy Steele mengembangkan bahasa Scheme, dialek Lisp yang menggabungkan ruang lingkup leksikal, namespace terpadu, dan elemen dari actor model termasuk kontinuasi kelas-pertama.
• Backus, pada kuliah Turing Award tahun 1977, menyerang keadaan bahasa industri saat ini dan mengusulkan kelas baru bahasa pemrograman yang sekarang dikenal sebagai bahasa pemrograman tingkat fungsi.
• Pada tahun 1977, Gordon Plotkin memperkenalkan Programming Computable Functions, bahasa fungsional bertipe abstrak.
• Pada tahun 1978, Robin Milner memperkenalkan algoritma inferensi sistem tipe Hindley–Milner untuk bahasa ML. Teori tipe mulai diterapkan sebagai disiplin pada bahasa pemrograman, aplikasi ini telah menghasilkan kemajuan besar dalam teori tipe selama bertahun-tahun.

1980-an

• Pada tahun 1981, Gordon Plotkin menerbitkan makalahnya tentang semantik operasional terstruktur.
• Pada tahun 1988, Gilles Kahn menerbitkan makalahnya tentang semantik natural.
• Muncul kalkulus proses, seperti Calculus of Communicating Systems dari Robin Milner, dan model Communicating sequential processes dari C. A. R. Hoare, serta model konkurensi serupa seperti actor model dari Carl Hewitt.
• Pada tahun 1985, perilisan Miranda memicu minat akademis pada bahasa pemrograman fungsional murni yang dievaluasi secara malas (*lazy-evaluated*). Sebuah komite dibentuk untuk menentukan standar terbuka yang menghasilkan perilisan standar Haskell 1.0 pada tahun 1990.
• Bertrand Meyer menciptakan metodologi design by contract dan menggabungkannya ke dalam bahasa Eiffel.

1990-an

• Gregor Kiczales, Jim Des Rivieres, dan Daniel G. Bobrow menerbitkan buku The Art of the Metaobject Protocol.
• Eugenio Moggi dan Philip Wadler memperkenalkan penggunaan monad untuk menyusun program yang ditulis dalam bahasa pemrograman fungsional.

Semantik formal

Semantik formal adalah spesifikasi formal dari perilaku program komputer dan bahasa pemrograman. Tiga pendekatan umum untuk mendeskripsikan semantik atau "makna" dari program komputer adalah semantik denotasional, semantik operasional, dan semantik aksiomatik.

Teori tipe

Teori tipe adalah studi tentang sistem tipe; yang merupakan "metode sintaksis yang dapat diatasi untuk membuktikan tidak adanya perilaku program tertentu dengan mengklasifikasikan frasa sesuai dengan jenis nilai yang dihitungnya".^[4] Banyak bahasa pemrograman dibedakan oleh karakteristik sistem tipe mereka.

Analisis dan transformasi program

Analisis program adalah masalah umum untuk memeriksa program dan menentukan karakteristik kunci (seperti tidak adanya kelas kesalahan program). Transformasi program adalah proses mengubah program dalam satu bentuk (bahasa) ke bentuk lain.

Analisis bahasa pemrograman komparatif

Analisis bahasa pemrograman komparatif berusaha mengklasifikasikan bahasa ke dalam berbagai jenis berdasarkan karakteristiknya; kategori luas bahasa sering dikenal sebagai paradigma pemrograman.

Generik dan metaprogramming

Metaprogramming adalah pembuatan program tingkat yang lebih tinggi yang, ketika dieksekusi, menghasilkan program (mungkin dalam bahasa yang berbeda, atau dalam subset dari bahasa asli) sebagai hasilnya.

Bahasa khusus domain

Bahasa khusus domain adalah bahasa yang dibangun untuk secara efisien memecahkan masalah dalam domain tertentu, atau bagian darinya.

Konstruksi kompiler

Teori kompiler adalah teori penulisan kompiler (atau lebih umum, penerjemah); program yang menerjemahkan program yang ditulis dalam satu bahasa ke bentuk lain. Tindakan kompiler secara tradisional dipecah menjadi analisis sintaks (memindai dan mengurai), analisis semantik (menentukan apa yang harus dilakukan program), optimasi (meningkatkan kinerja program seperti yang ditunjukkan oleh beberapa metrik; biasanya kecepatan eksekusi) dan pembuatan kode (pembuatan dan keluaran program yang setara dalam beberapa bahasa target; seringkali arsitektur set instruksi dari central processing unit (CPU)).

Sistem waktu-proses

Sistem waktu-proses mengacu pada pengembangan lingkungan waktu proses bahasa pemrograman dan komponennya, termasuk mesin virtual, pengumpulan sampah, dan antarmuka fungsi asing.