Şu anda programımın hangi yönlerinin scala derleyici tarafından statik olarak kontrol edilebileceğini bulmaya çalışıyorum. this question'u okuduktan sonra, türler için tasarım kalıpları fikrini buldum. Scala'nın tip sistemi ile mümkün olabileceğine kafamı çekmek için oldukça karmaşık buluyorum. Bu yüzden pratik kullanımlara bakmak istiyorum (peano aritmetik veya bunun gibi şeyler değil). Genellikle normal kodda tekrar görünen basit desenler.Statik tip denetimi için tasarım desenleri
Bu soruyla ilgilenen herhangi bir blog veya kitap bile bilen var mı? Tercihen Scala'da, ancak diğer diller için de yararlı olabilir.
Bunu neden Haskell etiketledi? Bu bağlantılar ilgi çekici olabilir: http://blog.ezyang.com/2010/08/type-kata-controlled-sharing-of-references/ ve http://blog.ezyang.com/2010/08/type- kata-newtypes/ –
@Edward Scala'nın tip sistemi Haskell'in tip sistemine benziyor ve belki de Haskell için (daha uzun süredir var olan) modeller Java'ya aktarılıyor. – ziggystar
@Edward Bunun geçerli olduğunu düşünüyorum çünkü Scala'nın tip sistemi ile yapılan en maceracı deneyler Haskell geçmişi olan kişilerden geliyor gibi görünmektedir. Rúnar'ın blogu ve Scalaz halkı. –