Unduh infrared - Unduh Kode Sumber infrared

infrared

Kategori lainnya

1.0.0

Unduh

Inframerah

Blazing Fast, ringan-bobot, jenis checker statis disimpulkan untuk JavaScript.

Infrared adalah checker tipe statis yang dapat dikonfigurasi & efisien untuk JavaScript. Ini dilakukan dengan secara statis menyimpulkan sistem jenis fluida ke seluruh program Anda - melacak jenis variabel Anda saat mereka berubah - dan meningkatkan kesalahan jenis sebelum terjadi saat runtime.

Apa itu sistem tipe fluida?

Sistem tipe fluida bukanlah ide asing - ini adalah set aturan pengetikan yang memaafkan yang berubah seiring perubahan program Anda. Ini berarti tidak ada variabel yang pernah berkomitmen untuk satu jenis - jika variabel itu mengubah tipenya di suatu tempat dalam program, Infrared melacaknya.

JavaScript adalah bahasa yang dinamis, dan inframerah tidak ingin mengubahnya. Sementara sistem tipe lain di luar sana ingin Anda mengubah cara Anda memprogram (dan mengubah javascript Anda menjadi sesuatu yang lain), Infrared melakukan yang sebaliknya.

Untuk memahami cara inframerah cocok dengan ekosistem pengetikan, pertimbangkan yang berikut:

Jika Anda mencari sistem jenis superset yang mencoba mempromosikan kesehatan, Anda harus menggunakan aliran.
Jika Anda mencari sistem jenis superset yang mendorong ketidaknyamanan, Anda harus menggunakan naskah.
Jika Anda tidak ingin mengubah apa pun dalam proyek Anda, tetapi masih ingin mengetahui hal -hal dalam program Anda + memiliki beberapa jenis keamanan pada waktu kompilasi, Anda harus menggunakan inframerah.

Perencanaan, peta jalan, dan apa yang ada di depan

Infrared adalah proyek yang sangat besar, jadi tentu saja itu ide yang cukup bagus untuk memastikan kami merencanakan semuanya dengan cermat untuk menghindari mess janky.

Saya menggunakan Figma untuk mengatur berbagai bagian dan tanggung jawab setiap bagian inframerah (parser, kompiler, server, dll.). Jangan ragu untuk mengikuti dan memeriksa apa yang telah saya pikirkan sejauh ini.

Sayangnya, Figma hanya mencerminkan bagian -bagian final dari peta jalan pengembangan. Ini berarti ada banyak pekerjaan keren - seperti aturan pengetikan, strategi pengurangan, bukti diskrit, dll - yang tidak ada dalam dokumen ini.

Karena bit -bit itu ditulis dalam buku catatan fisik, sulit bagi saya untuk berbagi secara online secara online. Berita baiknya adalah saya berencana menulis buku putih setelah proyek ini selesai, dan semua hal keren akan dimasukkan di sana.

Sampai saat itu, saya sangat senang mengobrol dengan siapa pun yang tertarik untuk belajar lebih banyak - jangan ragu untuk menjangkau di Twitter.