Bisakah bahasa program cukup lunak untuk memungkinkan program memperluas semantik bahasa

Dengan mengacu pada fitur-fitur dalam bahasa seperti ruby ​​(dan javascript), yang memungkinkan seorang programmer untuk memperluas / menimpa kelas setiap saat setelah mendefinisikannya (termasuk kelas-kelas seperti String), apakah secara teori layak untuk merancang bahasa yang dapat memungkinkan program untuk kemudian memperluas semantiknya.

mis: Ruby tidak mengizinkan multiple inheritance, namun dapatkah saya memperluas / mengganti perilaku bahasa default untuk memungkinkan implementasi multiple inheritance.

Apakah ada bahasa lain yang memungkinkan ini? Apakah ini sebenarnya menjadi perhatian bagi perancang bahasa? Melihat pilihan menggunakan ruby ​​untuk membangun kerangka rel untuk pengembangan aplikasi web, bahasa tersebut mungkin sangat kuat untuk memungkinkan kerangka kerja desain (atau DSL) untuk berbagai aplikasi.

Converge memiliki beberapa fasilitas pemrograman meta yang cukup mengesankan.

Pada tingkat yang sederhana, ini dapat dilihat sebagai fasilitas seperti makro, meskipun lebih kuat daripada kebanyakan fasilitas makro yang ada karena kode arbitrer dapat dijalankan pada waktu kompilasi. Dengan menggunakan ini, seseorang dapat berinteraksi dengan kompiler, dan menghasilkan kode dengan aman dan mudah sebagai ITrees (alias pohon sintaksis abstrak).

yang merupakan langkah maju dari makro higienis Scheme yang memungkinkan definisi makro yang transparan secara referensial.

Mekanisme seperti kuasiliter memungkinkan pembangunan dan perusakan pohon parse dalam bahasa lain, tetapi lebih sering digunakan untuk berinteraksi dengan bahasa khusus domain (DSL) daripada modifikasi diri.

Refleksi Newspeak memungkinkan pengecualian untuk diterapkan sebagai kode perpustakaan.

7.6 Penanganan Pengecualian

Karena Newspeak menyediakan akses reflektif (7.2) ke catatan aktivasi (3.6), penanganan pengecualian adalah murni masalah perpustakaan. Platform akan menyediakan perpustakaan standar yang mendukung pengecualian melempar, menangkap, dan melanjutkan kembali, seperti halnya di Smalltalk.

Perligata: Romana menunjukkan bagaimana sintaks yang sama sekali baru dapat dikuliti ke bahasa.

Makalah ini menjelaskan modul Perl - Lingua :: Romana :: Perligata - yang memungkinkan untuk menulis program Perl dalam bahasa Latin.

Diperdebatkan tidak signifikan secara semantik, PyPy adalah generator interpreter untuk bahasa yang semantiknya ditentukan dalam subset Python yang sangat dapat dianalisis secara statis, dan mereka menggunakannya untuk bereksperimen dengan konstruksi bahasa baru dalam Python seperti menambahkan thunks ke dalam bahasa.

Yang juga menarik adalah Ometa .

Disertasi ini berfokus pada eksperimen dalam ilmu komputer. Secara khusus, saya akan menunjukkan bahwa bahasa dan konstruksi pemrograman baru yang dirancang khusus untuk mendukung eksperimen dapat secara substansial menyederhanakan pekerjaan para peneliti dan programmer.

Saya menyajikan karya yang membahas dua jenis eksperimen yang sangat berbeda. Yang pertama bertujuan untuk membantu para peneliti bahasa pemrograman bereksperimen dengan ide-ide mereka, dengan membuatnya lebih mudah bagi mereka untuk membuat prototipe bahasa pemrograman baru dan ekstensi untuk bahasa yang ada. Yang lain menyelidiki eksperimen sebagai paradigma pemrograman, dengan memungkinkan program itu sendiri bereksperimen dengan berbagai tindakan dan kemungkinan — dengan kata lain, ini merupakan upaya untuk memberikan dukungan bahasa untuk bagaimana jika ...? atau kemungkinan alasan dunia.

Disertasi Alex Warth menunjukkan penggunaan Ometa untuk mendefinisikan semantik baru secara signifikan (semantik transaksional via dunia) dalam JavaScript + Ometa.

"Apakah secara teori layak? *

$L$$S$

$L$

$S$$L$

Bahasa baru mungkin masih berjalan lambat jika model run-time-nya berbeda secara signifikan dari bahasa implementasi. Dalam hal ini, bit dari juru bahasa akan muncul dalam kode yang diterjemahkan dan akan terus berjalan lambat. Namun, jika bahasa baru sebagian besar sama dengan bahasa asli, dengan hanya beberapa tweak, maka harus mungkin untuk menghilangkan sebagian besar bit juru bahasa dalam kode target dengan penyetelan evaluasi parsial yang cermat. Maka kinerja hit akan ada hanya untuk fitur-fitur baru.

Akibatnya, ini adalah teknologi "virtualisasi" untuk bahasa pemrograman.

Secara historis, Lisp adalah bahasa pemrograman utama pertama yang memperkenalkan fasilitas metaprogramming. Sistem makro Lisp memungkinkan pemrogram untuk menentukan struktur kontrol baru, templat data baru, dll. Misalnya, Sistem Objek Lisp Umum dapat didefinisikan seluruhnya dengan makro di atas bahasa inti yang tidak tahu apa-apa tentang objek atau kelas. Sistem makro juga memungkinkan definisi bahasa khusus domain .

Ruby mendapat banyak inspirasi dari Lisp, termasuk kapasitasnya untuk reflektivitas dan metaprogramming. Banyak bahasa yang diketik secara dinamis telah mengambil inspirasi dari Lisp dalam hal ini. (Pengetikan statis mempersulit hal-hal, karena banyak ekstensi tidak cocok dengan sistem tipe asli.)

Belum disebutkan dalam jawaban / komentar:

• Pemrograman yang diperluas di Wikipedia

Survei:

• Bahasa Extensible Modern oleh D. Zingaro (2007)

Abstrak: Bahasa yang dapat dikembangkan adalah bahasa pemrograman yang memungkinkan pengguna untuk mengubah atau menambahkan sintaksis, dan mengaitkan formulir sintaksis baru dengan semantik. Untuk apa bahasa ini? Jenis fitur apa yang mudah ditambahkan, dan mana yang tidak? Apakah mereka cukup kuat untuk dianggap serius? Dalam survei ini kami akan mencoba menjawab pertanyaan-pertanyaan seperti yang kami anggap sebagai bahasa yang dapat diperluas secara prosedural, berorientasi objek, fungsional, dan tujuan umum. Kami terutama tertarik pada kekuatan ekspresif (reguler, bebas konteks), peringatan terkait (tidak higienis, ambiguitas) dan kemudahan penggunaan berbagai mekanisme.

dan

• Whitepaper Java Syntactic Extender (JSE) oleh J. Bachrach

Abstrak: Kemampuan untuk memperluas bahasa dengan bentuk sintaksis baru adalah alat yang ampuh. Sistem makro yang cukup fleksibel memungkinkan pemrogram untuk membangun dari basis bersama menuju bahasa yang dirancang khusus untuk domain masalah mereka. Namun, fasilitas makro yang terintegrasi, mampu, dan pada saat yang sama cukup sederhana untuk digunakan secara luas telah terbatas pada keluarga bahasa Lisp sampai saat ini. Dalam makalah ini kami memperkenalkan fasilitas makro, yang disebut Java Syntactic Extender (JSE), dengan kekuatan superior dan kemudahan penggunaan sistem makro Lisp, tetapi untuk Java, bahasa dengan sintaks aljabar yang lebih konvensional. ...