Sebuah projek penyusun bytecode dan mesin maya baru-baru ini yang mendakwa melaksanakan bahasa seperti Forth telah mencetuskan perbincangan hangat dalam komuniti pengaturcaraan tentang apa yang benar-benar mentakrifkan intipati Forth . Walaupun pelaksanaan teknikal menunjukkan prinsip kejuruteraan yang kukuh, pembangun Forth yang berpengalaman membangkitkan kebimbangan tentang elemen asas yang hilang yang menjadikan Forth unik di antara bahasa pengaturcaraan.
Persekitaran Interaktif Hilang Dari Reka Bentuk Teras
Kritikan paling ketara tertumpu pada pendekatan penyusunan ahead-of-time projek tersebut, yang secara asasnya berbeza daripada sifat interaktif tradisional Forth . Ahli komuniti menekankan bahawa kekuatan Forth terletak bukan pada sintaks atau operasi berorientasikan tindanan, tetapi pada persekitaran pembangunan segera dan interaktif di mana kod boleh ditulis, diuji, dan diubah suai dalam masa nyata.
Aliran kerja interaktif membolehkan pembangun menguji perkataan individu (fungsi) semasa mereka menulisnya, menjadikan penyahpepijatan dan pembangunan lebih lancar. Keupayaan ini menjadi sangat berharga dalam persekitaran terhad sumber di mana keseluruhan rantaian alat pembangunan mesti muat dalam had memori yang ketat.
Pendekatan Tokenisasi Dipersoalkan
Pakar teknikal telah mengenal pasti masalah dengan strategi tokenisasi projek, menyatakan bahawa ia terlepas bagaimana Forth sebenarnya memproses input. Dalam pelaksanaan Forth tulen, tokenisasi didorong oleh perkataan itu sendiri dan bukannya penghurai tetap. Sebagai contoh, apabila Forth menemui perkataan seperti . (yang mencetak rentetan), perkataan itu sendiri menentukan cara menghurai teks berikut sehingga ia menemui tanda petik penutup.
Keupayaan penghuraian dinamik ini penting untuk kebolehluasan Forth , membolehkan pembangun mencipta sintaks baharu dan struktur kawalan yang berintegrasi dengan lancar dengan mekanisme penghuraian bahasa.
Kebimbangan Bootstrapping dan Kebolehluasan
Aspek utama lain falsafah Forth yang diabaikan oleh pelaksanaan adalah konsep bootstrapping. Sistem Forth tradisional bermula dengan teras minimum yang ditulis dalam bahasa himpunan, kemudian membina segala-galanya menggunakan Forth itu sendiri. Pendekatan ini menjadikan keseluruhan sistem telus dan boleh diubah suai oleh pengguna.
Sistem ini sepatutnya sepenuhnya di-bootstrap, mempunyai teras yang sangat kecil daripada perkataan yang ditulis dalam Assembly, dan kemudian segala-galanya sepenuhnya di-bootstrap dalam Forth dan tersedia untuk penyesuaian.
Pendekatan penyusunan tetap dalam pelaksanaan yang dibincangkan menghalang jenis kebolehluasan masa jalan ini, mengehadkan pengguna kepada set ciri bahasa yang telah ditetapkan dan bukannya membenarkan mereka memperluaskan dan mengubah suai bahasa itu sendiri.
Ciri-ciri Utama Forth yang Tiada dalam Pelaksanaan:
- Persekitaran pembangunan interaktif
- Tokenisasi yang dipacu perkataan secara dinamik
- Kebolehkembangan masa jalan dan bootstrapping
- Pelaksanaan mod segera
- Definisi perkataan berasaskan kamus
Nilai Pendidikan Walaupun Terdapat Batasan
Walaupun pelaksanaan mungkin tidak menangkap semangat sebenar Forth , ahli komuniti mengakui nilai pendidikannya untuk memahami pengaturcaraan berorientasikan tindanan dan reka bentuk mesin maya. Projek ini berjaya menunjukkan penjanaan bytecode, pengurusan tindanan, dan konsep aliran kawalan asas yang fundamental kepada banyak pelaksanaan bahasa pengaturcaraan.
Ciri visualisasi yang disertakan dalam projek juga memberikan pandangan berguna tentang cara bahasa berasaskan tindanan beroperasi, menjadikan konsep abstrak lebih konkrit untuk pelajar.
Operasi Bytecode yang Dilaksanakan:
lit- Tolak nilai literal ke tindananload/store- Operasi memoriadd/mul/div- Operasi aritmetikjump/jumpe- Aliran kawalanreturn- Operasi tindanan pemulanganprint- Operasi keluaran
Kesimpulan
Perdebatan ini menyerlahkan perbezaan penting antara melaksanakan ciri permukaan Forth dan menangkap falsafah asasnya. Walaupun pelaksanaan teknikal penyusun bytecode menunjukkan kemahiran pengaturcaraan yang cekap, ia lebih berfungsi sebagai bahasa berasaskan tindanan yang diilhamkan oleh Forth dan bukannya pelaksanaan Forth yang sebenar. Untuk pembangun yang berminat memahami prinsip Forth tulen, komuniti mengesyorkan mengkaji pelaksanaan interaktif yang mengekalkan sifat dinamik dan boleh diperluas bahasa tersebut.
Rujukan: Compiling a Forth