Pertanyaan yang diberi tag language-design

11
Mengembangkan bahasa yang dinamis

Saya telah membuat beberapa kompiler tulisan tangan untuk bahasa yang sangat sederhana, tetapi sekarang saya ingin mencoba mengembangkan bahasa yang dinamis, mirip dengan Python atau Ruby yang disederhanakan. Namun, mudah bagi saya untuk membungkus kepala saya di sekitar bagaimana kompiler bekerja....

11
Ketik sistem untuk kinerja

Apakah ada sistem tipe (statis) yang berupaya memformalkan karakteristik kinerja program? Saya tidak dapat menemukan upaya semacam itu. Karena sistem tipe adalah (salah satu) alat paling ampuh dalam gudang programmer untuk membuat pernyataan tentang program, dan karena ada banyak contoh di mana...