Elixir v1.20: Bahasa Pemrograman dengan Tipe Bertahap
Judul asli: Elixir v1.20: Now a gradually typed language
Mengapa Ini Penting
Menunjukkan evolusi bahasa dinamis menuju sistem tipe yang lebih aman tanpa overhead developer
Elixir v1.20 diluncurkan sebagai bahasa pemrograman bertipe bertahap (gradually typed). Versi ini dapat melakukan inferensi tipe dan pengecekan tipe pada setiap program Elixir tanpa anotasi tipe, menemukan bug yang terverifikasi dengan tingkat false positive sangat rendah.
Elixir v1.20 menandai pencapaian milestone pertama dalam menambahkan sistem tipe set-theoretic ke bahasa pemrograman Elixir. Tim pengembang yang dipimpin José Valim berhasil mengimplementasikan sistem tipe yang dapat melaporkan dead code dan verified bugs - pelanggaran tipe yang dijamin gagal saat runtime. Sistem tipe ini menggunakan tipe dynamic() yang berbeda dari tipe any() pada bahasa lain, dengan properti kompatibilitas dan penyempitan. Implementasi ini lolos 12 dari 13 kategori dalam benchmark "If T: Benchmark for Type Narrowing", menunjukkan kemampuannya memulihkan informasi tipe yang presisi. Pengembangan didukung kemitraan CNRS dan Remote, disponsori Fresha dan Tidewave.