Elixir, kademeli tip sistemini benimseyen bir dile evriliyor

• Elixir, ilk commit’ten bu yana geçen 13. yılda resmen kademeli tipli bir dile dönüşüyor
• Şu anda bitstring için tip çıkarımı ve tip denetimi yapılıyor; tüm tipler destekleniyor (ancak tipler arası sub-typing henüz desteklenmiyor)
• İlk kilometre taşı, patterns ve guards için çıkarım yapmak
• Bu çıkarım, dili veya mevcut kod tabanını değiştirmeden hataları yakalayacak şekilde çalışıyor
• Hedef, Elixir v1.17’ye kadar tüm pattern ve guard çıkarımını tamamlamak

---

Kademeli tipli dile geçiş duyurusu

• Elixir deposundaki ilk commit’in üzerinden 13 yıl geçmesine denk gelen bu dönemde, Elixir’in resmen kademeli tipli bir dil olduğu duyuruldu
• Şu an itibarıyla tip denetimi uygulamasının kapsamı
  • bitstring için tip çıkarımı ve tip denetimi yapılıyor
  • Tüm tipler (all types) zaten destekleniyor, ancak tiplerin içindeki sub-typing desteklenmiyor

Gelecek hedefler ve ilk kilometre taşı

• Elixir v1.17’ye kadar tüm patterns ve guards için çıkarım yapılması hedefleniyor
• İlk kilometre taşı, pattern ve guard’lar için çıkarım yapılması
  • Dil veya kullanıcının kod tabanı değiştirilmeden kod içindeki hataları yakalayan bir yaklaşım
  • İlk adımın herkes için win-win olması amaçlanıyor

[GN⁺]

Hacker News görüşleri

• Jose'ye teşekkür

  • Jose'ye Elixir ve topluluk için gösterdiği çaba nedeniyle teşekkür ediliyor.
  • Dile ve topluluğa yönelik özeni ve ustalığı büyük takdir topluyor.
  • Jose'nin istikrarı ve çalışkanlığına dair harika bir örnek olarak, günlük mutluluk üzerinde büyük etkisi olan birine teşekkür ediliyor.

• Kademeli tipli dillere ilgi

  • Kademeli olarak tiplendirilen dillere karşı bir sempati var, ancak burada bilgi eksik.
  • 2022'nin başında yayımlanan bir makaleye bağlantı veriliyor ve bu tip sistemi hakkında daha fazla bilgi aranıyor.

• Elixir'de tip eksikliği hakkındaki görüş

  • Elixir'de tiplerin olmaması bazı kişiler için itici olmuştu.
  • Dil neredeyse tamamlanmışken tip eklemek mükemmel bir zamanlama olarak görülüyor.
  • Ruby'de Sorbet konusunda, dinamik dil felsefesine aykırı hissettirdiği için ikna olunmamıştı; ancak güvenliği artıran ek bir araç olarak beğeniliyor.
  • Elixir'de tip sisteminin doğru şekilde uygulanacağına dair güven ifade ediliyor.

• Jose Valim ve Anders Hejlsberg'e duyulan güven

  • Sektörde tip sistemini doğru şekilde uygulayabileceğine inanılan az sayıdaki kişiden birinin Jose Valim olduğu söyleniyor.
  • Anders Hejlsberg de tip sistemi uygulaması konusunda güven duyulan biri olarak anılıyor.

• Elixir'e tip sistemi eklenmesine verilen tepki

  • Yakın zamanda şirket değiştirip Elixir kullanmaya başlayan biri, TypeScript'te yaşadığı tipli dil avantajlarını çok özlediğini söylüyor.
  • Projenin her yerinden veri modellerine erişebilmek Elixir'in büyük bir avantajı olarak görülüyor.
  • Zaten harika olan Elixir'in daha da gelişmesinden büyük mutluluk duyuluyor ve bu işe katkı sunan ekip tebrik ediliyor.

• Tip sisteminin önemi

  • Phoenix ve geçmişte RoR (Ruby on Rails) yüksek üretkenlik göstermiş olsa da, tipler ve çalışma zamanı hatalarıyla ilgili sorunlar yüzünden kolayca problem yaşanabildiği belirtiliyor.
  • Tipler, çalışma zamanı hatalarının büyük bölümünü derleme zamanı hatalarına dönüştürerek güvenilir yazılım geliştirmede önemli avantaj sağlıyor.

• PHP'nin kademeli tip benimsemesinden alınacak dersler

  • PHP'nin kademeli tip benimsemesinin çok pratik olduğu düşünülüyor ve bundan öğrenilecek şeyler olduğu umuluyor.

• Ruby geliştiricilerinin Elixir'e yönelmesi hakkındaki görüş

  • Bu tür bir çabanın Ruby'ye gömülü olmasının istendiği, ancak artık birçok Ruby geliştiricisinin Elixir kullandığı söyleniyor.
  • Elixir'in olağanüstü bir dile dönüştüğü belirtiliyor.

• Elixir ekibi ve Jose'nin tip sistemi getirme yaklaşımı

  • Elixir ekibinin ve özellikle Jose'nin konuşmalarının izlenmesi öneriliyor.
  • Tip sistemi getirme konusunda son derece dikkatli ve özenli davrandıkları, iyi bir tip sistemi oluşturmaya çalıştıkları ifade ediliyor.