valhallac

valhallac

Kompiler Valhalla

Bahasa Pemrograman Valhalla

Ini adalah parser dan kompiler untuk Valhalla, yang tidak termasuk mesin virtual yang dijalankan oleh bytecode yang dikompilasi, yaitu, Brokkr VM.

Dalam pengembangan (berat)

[!!] Merencanakan penulisan ulang lengkap, dan menyeimbangkan pekerjaan.

---

Apa yang telah dilakukan sejauh ini di front-end:

• Parser
  • Analisis Leksikal, Dukungan UTF-8 Lengkap, Penanganan: Pengidentifikasi, Simbol, Angka, String (UTF-8 dengan sejumlah pelarian), segala macam kawat gigi untuk: vektor, set dan pengelompokan, dll.
  • Notasi infiks, awalan dan akhiran.
  • Penguraian yang benar dari prioritas, arity dan assocativity.
  • Operator dasar untuk bahasa tersebut.
  • Panggilan fungsi yang tepat, kari / aplikasi fungsi parsial diimplementasikan dengan benar (fungsi seperti Haskell).
  • Pesan kesalahan, dengan garis mewah dan nomor kolom dan pembacaan baris sumber.
  • Optimalisasi lipat konstan pada perhitungan numerik yang dapat diselesaikan secara sepele pada waktu kompilasi.
  • Tipe-casting waktu kompilasi implisit dalam situasi tertentu.
  • Makro (termasuk definisi makro dan aplikasi makro).
  • Operator biner yang ditentukan pengguna sebagai alias untuk fungsi.
• Compiler (menghasilkan bytecode untuk merakit file yang dapat dieksekusi).
  • Tabel konstanta dan penduduk setempat dengan instruksi dorong & pop dasar serta aritmatika dasar.
  • Akses, penugasan, dan pengambilan variabel lokal dalam ruang lingkup kode-blok.
  • Menghasilkan fungsi kari.
  • Mengoptimalkan fungsi untuk tidak kari saat kari tidak perlu (dengan melacak arity definisi dan panggilan fungsi).
  • Mengoptimalkan fungsi untuk tidak mencari secara global untuk variabel ketika mereka berasal dari penutupan bersarang (penutupan bersarang mengimplementasikan kari).
  • Mengoptimalkan fungsi untuk panggilan ekor.
  • Lacak jenis variabel dan fungsi.
  • Marshaling, yaitu serial bytecode dan menyimpannya dalam file untuk interpretasi dan eksekusi di masa depan oleh mesin virtual.
  • ...

VM, yaitu backend untuk bahasa, sedang dikembangkan secara terpisah dan akan berkembang secara semi-independen.

Kompilasi & jalankan

Membutuhkan karat malam untuk saat ini.

Di shell Anda, di akar repositori ini, Anda dapat menulis:

cargo run [source-file-to-compile.vh] [-o out-file] [-v]

atau, mintalah kompiler mencetak informasi debug seperti stream token, pohon sintaks, tabel simbol, instruksi bytecode, & ct., gunakan --features=debug :

cargo run --features=debug [source-file.vh]

Misalnya, Anda dapat berlari.

cargo run test_source.vh -v   # For verbose output.

Untuk menunjukkan kompilasi dengan file uji yang disertakan ( test_source.vh ). Argumen file sumber untuk dikompilasi, tentu saja, diperlukan.

Contoh dari apa yang dilakukan kompiler saat ini:

Current_compiler_test.md

Keterangan

Repositori ini berisi kompilasi front-end (parser dan bytecode) yang memproses sintaks dan semantik kode sumber. AST yang dihasilkan kemudian dikompilasi untuk bytecode Brokkr. Eksekusi bytecode berikutnya ditangani oleh VM bahasa (mesin virtual) yang disebut brokkr, yang ada secara terpisah dari repositori ini.

Valhalla adalah bahasa pemrograman set-teoretik. Dengan kata lain, itu didasarkan pada prinsip -prinsip dari teori yang ditetapkan, dengan cara yang hanya semua jenis hanyalah set, dan karenanya semuanya hanyalah elemen dari satu set. Bahasa ini dimaksudkan untuk memberikan cara baru untuk berinteraksi dengan tipe, dan memberikan cara intuitif untuk memikirkannya. Suatu tujuan adalah agar juga dapat digunakan untuk memverifikasi bukti dan di dalam dan di sekitar teori yang ditetapkan.

Bahasa adalah tujuan umum, tetapi alih-alih menjadi sangat berorientasi objek, atau fungsional, dll., Itu hanya berdasarkan teori. Dari apa yang saya kumpulkan, ini bukan paradigma yang sangat populer ... mungkin untuk alasan yang bagus, tapi hei, itu mungkin menarik.

Dependensi

Berkurang secara signifikan.