Autology, bahasa Lisp berfungsi yang baru ditafsirkan dan ditulis dalam Clojure, telah mencetuskan perbincangan hangat dalam kalangan peminat bahasa pengaturcaraan. Ciri istimewa projek ini adalah ia menyediakan akses kepada program untuk menggunakan pentafsir mereka sendiri semasa masa jalan, membolehkan pengubahsuaian dinamik terhadap tingkah laku bahasa semasa pelaksanaan.
Pengubahsuaian Bahasa Semasa Masa Jalan
Autology mengambil pendekatan yang luar biasa terhadap metapengaturcaraan dengan mengikat fungsi pentafsirnya kepada pembolehubah yang dipanggil ** yang boleh diakses dalam program itu sendiri. Reka bentuk ini membolehkan pembangun mengubah cara bahasa menilai ungkapan semasa program sedang berjalan. Berbeza dengan makro Lisp tradisional yang beroperasi pada masa kompilasi, Autology membolehkan penulisan semula sintaks dan semantik bahasa sepenuhnya semasa masa jalan.
Pencipta projek ini, yang dikenali sebagai Kimbsy, menggambarkannya sebagai projek yang dibuat untuk keseronokan dan untuk meneroka idea yang menarik, sambil mengakui bahawa pelaksanaan semasa adalah sangat perlahan dan intensif dari segi sumber. Kimbsy dijadualkan untuk membentangkan ceramah tentang Autology di London Clojurians pada bulan Mei dan Lambda Days di Krakow pada bulan Jun.
Ciri-ciri Utama Autology
- Ditulis dalam Clojure
- Fungsi pentafsir tersedia sebagai struktur data kepada program
- Terikat kepada pembolehubah
**dalam persekitaran pelaksanaan - Membolehkan pengubahsuaian tingkah laku bahasa semasa masa larian
- Boleh menambah, mengubah suai, atau membuang ciri-ciri bahasa secara dinamik
Projek dan Konsep Berkaitan
- Implementasi Common Lisp (SBCL, CCL) dengan pakej akses pentafsir
- Reader Macros dalam Common Lisp
- FEXPRs (ciri Lisp bersejarah)
- Bahasa pengaturcaraan Kernel oleh John Shutt
- Penyelidikan "Towers of interpreters" oleh Amin & Rompf
- Bahasa Shen
Perbandingan dengan Pendekatan Lisp Tradisional
Perbincangan komuniti mendedahkan perbandingan menarik antara Autology dan pelaksanaan Lisp tradisional. Beberapa pengulas menyatakan bahawa pelaksanaan Common Lisp seperti SBCL (Steel Bank Common Lisp) dan CCL (Clozure Common Lisp) sudah menyediakan pakej untuk berinteraksi dengan dalaman pentafsir, walaupun tidak dengan cara langsung seperti Autology.
Seorang pengulas menerangkan bagaimana makro pembaca Common Lisp boleh mencapai fleksibiliti yang serupa:
Anda sebenarnya boleh menjadi benar-benar bodoh dengan ini dalam Common Lisp menggunakan sesuatu yang dipanggil Reader Macro yang membolehkan anda mengambil kawalan sepenuhnya ke atas pentafsir secara sementara.
Perbincangan itu juga menyentuh konsep Lisp bersejarah seperti FEXPRs (Function Expressions), yang merupakan percubaan awal untuk menyediakan keupayaan yang serupa tetapi akhirnya ditinggalkan demi makro untuk alasan prestasi. Penjelasan teknikal terperinci oleh pengguna kazinator menekankan bagaimana pendekatan Autology berbeza daripada FEXPRs dengan menghantar objek pentafsir yang boleh disesuaikan dan bukannya hanya persekitaran leksikal.
Aplikasi Teori dan Batasan
Walaupun terutamanya dicipta sebagai projek eksperimen, perbincangan komuniti meneroka potensi aplikasi untuk fleksibiliti masa jalan yang ekstrem. Satu kes penggunaan teori yang disebut adalah keupayaan untuk beralih antara sintaks bahasa yang berbeza dalam skop leksikal, membolehkan pembangun menyatakan bahagian berbeza masalah kompleks dalam bahasa yang paling sesuai untuk setiap bahagian.
Projek ini merangkumi contoh kod antara-bahasa yang menunjukkan peralihan antara sintaks bahasa yang berbeza dalam program yang sama. Sesetengah pengguna mencadangkan ini berpotensi menjadi mekanisme Antara Muka Fungsi Asing (FFI) yang lebih baik, walaupun yang lain mempersoalkan sama ada faedahnya akan melebihi kos kerumitan.
Beberapa pengulas membuat hubungan dengan kerja berkaitan, termasuk bahasa pengaturcaraan Kernel oleh John Shutt, penyelidikan Nada Amin dan Tiark Rompf tentang menara pentafsir, dan bahasa Shen. Hubungan ini menyoroti kedudukan Autology dalam penerokaan yang lebih luas tentang kebolehperluasan bahasa dan refleksi dalam reka bentuk bahasa pengaturcaraan.
Walaupun terdapat batasan semasa sebagai alat praktikal, Autology menunjukkan kemungkinan kreatif yang muncul apabila bahasa pengaturcaraan direka dengan fleksibiliti ekstrem. Seperti yang dinyatakan oleh seorang pengulas, sungguh menakjubkan berapa banyak idea yang boleh diterokai dengan hanya 1,000 baris kod Clojure.
Bagi mereka yang berminat untuk meneroka Autology dengan lebih lanjut, projek ini boleh didapati dalam talian, dengan contoh yang menunjukkan cara untuk menambah fungsi kepada bahasa, menukar strategi penilaian, atau bahkan mentakrifkan Lisp metasirkular di dalam program.
Rujukan: Autology