Christopher Strachey

1.1. Kelahiran dan Latar Belakang Keluarga

Christopher Strachey lahir pada 16 November 1916 di Hampstead, Inggris. Ia adalah putra dari Oliver Strachey dan Rachel (Ray) Costelloe. Ayahnya, Oliver Strachey, adalah putra dari Richard Strachey dan cicit dari Sir Henry Strachey, 1st Baronet. Kakak perempuannya adalah seorang penulis bernama Barbara Strachey. Pada tahun 1919, keluarga mereka pindah ke 51 Gordon Square. Keluarga Strachey merupakan bagian dari Grup Bloomsbury, yang anggotanya meliputi Virginia Woolf, John Maynard Keynes, dan pamannya, Lytton Strachey.

1.2. Masa Kecil dan Pendidikan

Pada usia 13 tahun, Strachey masuk Gresham's School di Holt. Di sana, ia menunjukkan tanda-tanda kecerdasan yang luar biasa, tetapi secara umum prestasinya buruk. Pada tahun 1935, ia diterima di King's College, Cambridge (kampus yang sama dengan Alan Turing), di mana ia tetap tidak terlalu peduli dengan studinya. Strachey awalnya mengambil studi matematika sebelum kemudian pindah ke fisika. Pada akhir tahun ketiga di Cambridge, Strachey mengalami gangguan saraf, yang kemungkinan terkait dengan upayanya menerima orientasi homoseksualitasnya. Ia kembali ke Cambridge, namun hanya berhasil meraih nilai "lower second" dalam Tripos Ilmu Pengetahuan Alam.

2.1. Karier Awal dan Pengajaran

Karena tidak dapat melanjutkan pendidikannya, Strachey bergabung dengan Standard Telephones and Cables (STC) sebagai fisikawan riset. Pekerjaan pertamanya adalah menyediakan analisis matematika untuk desain tabung elektron yang digunakan dalam radar. Kompleksitas perhitungannya mengharuskan penggunaan penganalisis diferensial. Pengalaman awal dengan mesin komputasi ini membangkitkan minat Strachey, dan ia mulai meneliti topik tersebut. Namun, lamaran untuk gelar penelitian di Universitas Cambridge ditolak, dan Strachey terus bekerja di STC selama Perang Dunia II. Setelah perang, ia mewujudkan ambisi lamanya dengan menjadi guru di St Edmund's School, Canterbury, mengajar matematika dan fisika. Tiga tahun kemudian, pada tahun 1949, ia pindah ke Harrow School yang lebih bergengsi dan mengajar di sana selama tiga tahun.

2.2. Penelitian dan Pengembangan Komputer

Pada Januari 1951, seorang teman memperkenalkan Strachey kepada Mike Woodger dari National Physical Laboratory (NPL). Laboratorium tersebut berhasil membangun versi yang diperkecil dari Automatic Computing Engine (ACE) milik Alan Turing, yang konsepnya berasal dari tahun 1945, yaitu Pilot ACE. Di waktu luangnya, Strachey mengembangkan versi awal program untuk permainan draughts (dikenal sebagai "checkers" dalam bahasa Inggris Amerika) pada Mei 1951. Program ini kemungkinan merupakan permainan video pertama. Permainan tersebut menghabiskan seluruh memori Pilot ACE. Program draughts ini gagal saat pertama kali dijalankan di NPL pada 30 Juli 1951 karena kesalahan program.

Ketika Strachey mendengar tentang Manchester Mark 1, yang memiliki memori jauh lebih besar, ia meminta manualnya kepada mantan teman sekelasnya, Alan Turing, dan mengubah programnya ke kode operasi mesin tersebut sekitar Oktober 1951. Pada musim panas 1952, program tersebut dapat "memainkan seluruh permainan Draughts dengan kecepatan yang wajar". Meskipun ia tidak memberikan nama untuk permainan ini, Noah Wardrip-Fruin menamainya "M. U. C. Draughts".

Strachey juga memprogram musik komputer pertama di Inggris pada tahun 1951, yang merupakan rekaman paling awal dari musik yang dimainkan oleh komputer: sebuah versi lagu kebangsaan Britania Raya "God Save the King" di komputer Ferranti Mark 1 milik Universitas Manchester. Kemudian pada tahun itu, cuplikan pendek dari tiga lagu direkam di sana oleh unit penyiaran luar BBC: "God Save the King", "Baa, Baa, Black Sheep", dan "In the Mood". Para peneliti di University of Canterbury, Christchurch, memulihkan cakram master asetat pada tahun 2016, dan hasilnya dapat didengarkan di SoundCloud.

Selama musim panas 1952, Strachey memprogram generator surat cinta untuk Ferranti Mark 1, yang dikenal sebagai contoh pertama dari literatur yang dihasilkan komputer. Pada Mei 1952, Strachey memberikan dua bagian ceramah tentang "studi kontrol pada hewan dan mesin" ("sibernetika") untuk program Science Survey di BBC Home Service.

Strachey bekerja untuk National Research Development Corporation (NRDC) dari tahun 1952 hingga 1959. Saat mengerjakan proyek St. Lawrence Seaway, ia sempat mengunjungi beberapa pusat komputer di Amerika Serikat dan membuat katalog set instruksi mereka. Kemudian, ia bekerja pada pemrograman komputer Elliott 401 dan Ferranti Pegasus. Bersama dengan Donald B. Gillies, ia mengajukan tiga paten dalam desain komputasi, termasuk desain register basis untuk relokasi program. Ia juga bekerja pada analisis getaran dalam pesawat terbang, bekerja singkat dengan Roger Penrose.

2.3. Konsultan dan Karier Akademik

Pada tahun 1959, Strachey meninggalkan NRDC untuk menjadi konsultan komputer, bekerja untuk NRDC, EMI, Ferranti, dan organisasi lain dalam beberapa proyek yang luas. Pekerjaan ini termasuk desain logis untuk komputer, penyediaan autokode, dan kemudian desain bahasa pemrograman tingkat tinggi. Untuk kontrak pembuatan autokode untuk komputer Ferranti Orion, Strachey merekrut Peter Landin, yang menjadi satu-satunya asistennya selama periode konsultasi Strachey.

Strachey mengembangkan konsep time-sharing pada tahun 1959. Ia mengajukan aplikasi paten pada bulan Februari tahun itu dan menyampaikan makalah "Time Sharing in Large Fast Computers" pada konferensi perdana UNESCO Information Processing Conference di Paris, di mana ia menyampaikan konsep tersebut kepada J. C. R. Licklider. Makalah ini diakui oleh MIT Computation Center pada tahun 1963 sebagai "makalah pertama tentang komputer berbagi waktu".

Pada tahun 1962, sambil tetap menjadi konsultan, ia menerima posisi di Universitas Cambridge. Pada tahun 1965, Strachey menerima posisi di Universitas Oxford sebagai direktur pertama Programming Research Group dan kemudian menjadi profesor ilmu komputer pertama di universitas tersebut serta fellow di Wolfson College, Oxford. Ia berkolaborasi dengan Dana Scott. Strachey terpilih sebagai Distinguished Fellow dari British Computer Society pada tahun 1971 atas karya pionirnya dalam ilmu komputer. Pada tahun 1973, Strachey (bersama Robert Milne) mulai menulis esai yang diajukan untuk kompetisi Adams Prize, setelah itu mereka melanjutkan pekerjaan untuk merevisinya menjadi bentuk buku. Strachey juga dapat dilihat dan didengar dalam debat Lighthill tentang kecerdasan buatan yang direkam pada tahun 1973.

3.1. Desain dan Teori Bahasa Pemrograman

Strachey adalah pengembang Combined Programming Language (CPL). Kumpulan catatan kuliahnya yang berpengaruh, Fundamental Concepts in Programming Languages, memformalkan perbedaan antara L-value dan R-value, sebuah konsep yang terlihat dalam bahasa pemrograman C. Strachey juga menciptakan istilah currying, meskipun ia tidak menemukan konsep dasarnya.

3.2. Program Komputer Awal dan Simulasi

Ia bertanggung jawab atas pengembangan program komputer awal yang inovatif, termasuk program permainan catur (draughts) yang dianggap sebagai salah satu permainan video pertama. Selain itu, ia menciptakan program musik komputer dan generator surat cinta yang merupakan contoh awal dari literatur yang dihasilkan komputer.

3.3. Sistem Berbagi Waktu dan Semantik Denotasional

Strachey mengembangkan dan mempresentasikan konsep sistem berbagi waktu (time-sharing) yang menjadi dasar penting dalam sistem operasi modern. Ia juga berkolaborasi dengan Dana Scott dalam membangun dasar-dasar semantik denotasional untuk bahasa pemrograman, sebuah bidang yang sangat memengaruhi teori bahasa pemrograman.

3.4. Generator Makro dan Pengembangan Sistem

Ia merancang dan mengimplementasikan GPM (General Purpose Macrogenerator), salah satu bahasa makro ekspansi awal. GPM memberikan pengaruh besar pada bahasa makro modern seperti m4. Strachey menunjukkan bakat luar biasa sebagai pemrogram dengan menyelesaikan GPM hanya dalam 250 instruksi kode mesin.

3.5. Definisi Istilah Ilmu Komputer

Strachey memainkan peran kunci dalam mendefinisikan dan mempopulerkan istilah-istilah penting dalam ilmu komputer, seperti 'polimorfisme' dan 'transparansi referensial', yang masih digunakan secara luas hingga saat ini dalam diskusi tentang bahasa pemrograman dan teori komputasi.

4.1. Konseptualisasi Bahasa Pemrograman

Dalam karyanya, seperti Fundamental Concepts in Programming Languages, Strachey secara mendalam mengeksplorasi dan memformalkan konsep-konsep inti bahasa pemrograman. Pendekatannya terhadap teori bahasa pemrograman membantu membentuk dasar untuk analisis dan desain bahasa yang lebih sistematis.

7.1. Evaluasi Positif

Christopher Strachey adalah seorang pionir sejati dalam ilmu komputer, dengan kontribusi inovatif yang membentuk banyak aspek penting dalam bidang ini. Ia diakui sebagai salah satu pendiri semantik denotasional dan merupakan sosok kunci dalam pengembangan konsep sistem berbagi waktu. Karya-karyanya dalam desain bahasa pemrograman, termasuk pengembangan CPL dan formalisasi konsep L-value dan R-value, sangat memengaruhi bahasa-bahasa modern. Pengenalan istilah-istilah seperti 'polimorfisme' dan 'transparansi referensial' menunjukkan wawasannya yang jauh ke depan dalam teori komputasi. Selain itu, ia menciptakan program-program awal yang inovatif seperti permainan catur (draughts) yang mungkin merupakan permainan video pertama, serta musik komputer dan generator surat cinta, menunjukkan kreativitasnya dalam aplikasi komputer. Desainnya untuk GPM (General Purpose Macrogenerator) juga menjadi landasan bagi bahasa makro modern. Atas semua kontribusi ini, ia terpilih sebagai Distinguished Fellow dari British Computer Society pada tahun 1971.

7.2. Kritik dan Kontroversi

Berdasarkan informasi yang tersedia, tidak ada kritik atau kontroversi signifikan yang terkait dengan karya atau pemikiran Christopher Strachey yang disebutkan dalam sumber data.

8.1. Pengaruh pada Generasi Mendatang

Konsep dan teori yang dikembangkan Strachey, seperti pembedaan antara L-value dan R-value, konsep currying, serta definisi polimorfisme dan transparansi referensial, telah menjadi landasan dalam ilmu komputer dan terus memengaruhi penelitian serta pengembangan bahasa pemrograman. Inovasinya dalam sistem berbagi waktu menjadi dasar bagi pengembangan sistem operasi modern, sementara karyanya dalam semantik denotasional membuka jalan bagi pemahaman teoretis yang lebih formal tentang perilaku program. Bahasa makro m4 juga secara langsung dipengaruhi oleh desain GPM (General Purpose Macrogenerator) miliknya, menunjukkan warisan praktis yang berkelanjutan.

8.2. Kontribusi pada Bidang Tertentu

Kontribusi Strachey memiliki dampak langsung pada kemajuan di area spesifik seperti bahasa pemrograman (dengan CPL dan konsep-konsep fundamental), sistem operasi (melalui pionirisme dalam time-sharing), dan teori komputasi (dengan pengembangan semantik denotasional bersama Dana Scott).