Elixir berkembang menjadi bahasa dengan sistem tipe gradual

• Elixir secara resmi beralih menjadi bahasa dengan pengetikan gradual pada momen 13 tahun sejak commit pertamanya
• Saat ini telah melakukan inferensi tipe dan pemeriksaan tipe untuk bitstring, serta mendukung semua tipe (namun subtyping antartipe masih belum didukung)
• Tonggak pertama adalah melakukan inferensi untuk pattern dan guard
• Inferensi ini bekerja dengan menangkap bug tanpa mengubah bahasa maupun codebase yang sudah ada
• Menetapkan target untuk menyelesaikan inferensi semua pattern dan guard hingga Elixir v1.17

---

Pengumuman transisi menjadi bahasa dengan pengetikan gradual

• Bertepatan dengan 13 tahun sejak commit pertama di repo Elixir, diumumkan bahwa Elixir secara resmi merupakan bahasa dengan pengetikan gradual
• Cakupan implementasi pemeriksaan tipe saat ini
  • Melakukan inferensi tipe dan pemeriksaan tipe untuk bitstring
  • Semua tipe (all types) sudah didukung, tetapi subtyping di dalam tipe belum didukung

Target berikutnya dan tonggak pertama

• Menetapkan target untuk melakukan inferensi pada semua pattern dan guard hingga Elixir v1.17
• Tonggak pertama adalah melakukan inferensi untuk pattern dan guard
  • Bekerja dengan cara menangkap bug di dalam kode tanpa mengubah bahasa maupun codebase pengguna
  • Berorientasi agar langkah pertama ini menjadi win-win bagi semua pihak

[GN⁺]

Komentar Hacker News

• Ucapan terima kasih untuk Jose

  • Mengungkapkan rasa terima kasih kepada Jose atas upayanya untuk Elixir dan komunitasnya.
  • Perhatian dan keahliannya terhadap bahasa dan komunitas sangat dihargai.
  • Berterima kasih kepada seseorang yang memberi dampak besar pada kebahagiaan sehari-hari sebagai contoh luar biasa dari kestabilan dan kerajinan Jose.

• Ketertarikan pada bahasa dengan tipe bertahap

  • Menyukai bahasa yang diberi tipe secara bertahap, tetapi merasa informasi yang ada di sini kurang.
  • Membagikan tautan ke makalah yang dipublikasikan pada awal 2022 dan mencari lebih banyak informasi tentang sistem tipe ini.

• Pendapat tentang ketiadaan tipe di Elixir

  • Tidak adanya tipe di Elixir sempat menjadi hal yang membuat sebagian orang enggan.
  • Menambahkan tipe ketika bahasanya nyaris selesai adalah waktu yang sempurna.
  • Di Ruby, Sorbet terasa bertentangan dengan filosofi bahasa dinamis sehingga tidak sepenuhnya meyakinkan, tetapi tetap disukai sebagai sarana tambahan untuk meningkatkan keamanan.
  • Menyatakan keyakinan bahwa sistem tipe akan diimplementasikan dengan benar di Elixir.

• Kepercayaan pada Jose Valim dan Anders Hejlsberg

  • Jose Valim adalah salah satu dari sedikit orang di industri yang dipercaya mampu mengimplementasikan sistem tipe dengan benar.
  • Anders Hejlsberg juga dianggap sebagai sosok yang dipercaya dalam implementasi sistem tipe.

• Reaksi terhadap penambahan sistem tipe di Elixir

  • Baru-baru ini pindah perusahaan dan mulai menggunakan Elixir, lalu sangat merindukan manfaat bahasa bertipe yang dulu dinikmati di TypeScript.
  • Kemampuan mengakses model data dari mana saja di dalam proyek adalah keunggulan besar Elixir.
  • Sangat senang karena Elixir yang sudah hebat menjadi lebih baik lagi, dan menyampaikan selamat kepada tim yang terlibat dalam pekerjaan ini.

• Pentingnya sistem tipe

  • Phoenix dan sebelumnya RoR (Ruby on Rails) telah membuktikan produktivitas yang tinggi, tetapi mudah mengalami masalah karena tipe dan error runtime.
  • Tipe mengubah banyak error runtime menjadi error saat build, yang memberi keuntungan besar untuk pengembangan perangkat lunak yang andal.

• Hal yang perlu dipelajari dari adopsi tipe bertahap di PHP

  • Menganggap adopsi tipe bertahap di PHP sangat praktis dan berharap ada pelajaran yang bisa diambil dari sana.

• Pendapat tentang perpindahan developer Ruby ke Elixir

  • Berharap upaya seperti ini tertanam langsung di Ruby, dan banyak developer Ruby kini menggunakan Elixir.
  • Menunjukkan bahwa Elixir sedang berkembang menjadi bahasa yang luar biasa.

• Pendekatan tim Elixir dan Jose terhadap adopsi sistem tipe

  • Perlu melihat presentasi dari tim Elixir dan khususnya Jose.
  • Mereka mendekati pengenalan sistem tipe dengan sangat hati-hati dan teliti, serta berupaya menghadirkan sistem tipe yang baik.