TypeScript yang Ternyata Cukup Oke untuk Compiler

• Pembahasan tentang membangun compiler dengan TypeScript, dengan penekanan pada efektivitasnya yang mengejutkan
• Secara historis, OCaml digunakan untuk pekerjaan yang berpusat pada bahasa seperti spesifikasi resmi atau bahasa hobi, sementara C++ dipilih untuk implementasi yang siap produksi
• Rust hadir sebagai pendatang baru yang menggabungkan keunggulan ML dan C++, lalu menambahkan fitur khasnya sendiri seperti multithreading yang aman
• Karena aspek-aspek OCaml yang dianggap sudah ketinggalan zaman, penulis mengusulkan TypeScript sebagai alternatif praktis bagi mereka yang mengerjakan proyek hobi
• Penulis menunjukkan cara menulis type checker kecil di TypeScript dengan memulai dari Deno, yang memberikan pengalaman siap pakai sebagai runtime untuk TypeScript
• Sistem tipe TypeScript yang fleksibel namun ringan ditekankan, dan penulis menunjukkan cara mendefinisikan Abstract Syntax Tree (AST) di TypeScript
• Penulis menunjukkan cara mendefinisikan ekspresi, menangani informasi tipe saat runtime, dan mengabstraksikan ekspresi-ekspresi serupa dengan memanfaatkan fitur TypeScript
• Penulis kemudian beralih ke inferensi tipe, dan menunjukkan cara mendefinisikan tipe, membandingkan tipe, serta melakukan inferensi tipe di TypeScript
• Penulis menutup dengan memuji produktivitas TypeScript berkat alur kerja pengembangan Deno yang efektif, tooling TypeScript yang sangat baik, serta kekuatan bahasa ini baik saat runtime maupun pada waktu kompilasi
• Penulis menyarankan bahwa di masa depan ia kemungkinan besar akan menggunakan TypeScript sebagai alat untuk eksperimen bahasa kecil
• Artikel ditutup dengan menunjukkan cara mengekspresikan desugaring dengan cara yang type-safe di TypeScript

[GN⁺]

Opini Hacker News

• TypeScript dipuji karena menggabungkan pemrograman berorientasi objek dan fungsional, sehingga memungkinkan penulisan kode yang fleksibel tanpa perlu mendefinisikan kelas.
• Kemampuan fungsi dalam bahasa ini untuk memiliki properti dan metode disorot sebagai fitur yang unik dan bernilai.
• TypeScript dibandingkan dengan bahasa lain seperti OCaml, C#, Swift, Dart, dan Kotlin, dengan kurangnya pattern matching yang sesungguhnya di TypeScript disebut sebagai perbedaan utama.
• Sebagian pengguna berharap TypeScript menyertakan fitur tagged enum yang mirip dengan Rust.
• Ada pembahasan tentang kecepatan kompiler TypeScript dan spekulasi tentang bagaimana performanya jika ditulis dalam bahasa terkompilasi.
• Pengguna menyarankan penggunaan fungsi utilitas run untuk menghindari pola visitor dengan switch bergaya IIFE.
• Postingan tersebut menyebut penggunaan frontend parser generator Ohm-js dan mini-typescript, yang membantu memahami cara kerja TypeScript.
• Ada ungkapan keheranan atas efisiensi TypeScript meskipun ada overhead antarmuka yang dirasakan.
• Fakta bahwa kompiler TypeScript ditulis dengan TypeScript sendiri ditunjukkan, yang menekankan keandalannya dan penggunaan beratnya dalam produksi.
• Sebagian pengguna menantikan fitur enum tertutup untuk pemeriksaan kelengkapan pada waktu kompilasi di TypeScript.
• Pengaruh Anders Hejlsberg, arsitek utama TypeScript, diakui sebagai salah satu alasan keberhasilan bahasa tersebut.