Haskell'in Güçlü Yazma Esnekliğini Nasıl Sağlarım?

Question

Haskell'de büyüyen bir kod tabanı yazıyor. Benim sorunum, GHCI'nin ne olması gerektiğini söylediklerine dayanarak fonksiyonlara tip imzaları ekledim.

Sorun şu ki, bir kodu değiştirdiğimde, kodum herşeyi değiştirir değiştirmez, tüm yerimi kırıyor ve tüm sorunları izleyerek tüketiyorum.

Ghci'ye bir modül yüklenerek türetilen türler çok mu özel? Güçlü bir yazmanın gücünü esneklikten yararlanmak için imzalarımda hangi tür veya tür sınıflarının kullanılacağına nasıl karar verebilirim? (yani, küçük değişiklikler yapmak için bir saat harcamıyor musunuz?).

Answer 1

Sorun şu ki, bir kodu değiştirdiğimde kodum her yerde değişiyor ve tüm sorunları izleyerek tüketiliyor.

Bu

aslında Yesod'da bir özelliği (a Haskell web framework) olarak bildirilir. Aşağıdaki yönlendirme şartname belirttiniz varsayalım:

/blog/#String   BlogR GET 

Ve ben En kısa zamanda yolları bu değişikliği yaparken

/blog/#Date/#String BlogR GET 

olarak değiştirmek istediğinize karar, derleyici beni her yerde söyleyecektir Kodumu kırdım. getBlogR işlevini güncellemeye zorlanacağım - giriş tipini değiştirerek Date kabul eder. Şablonlarımda güvenli tip URL'ler kullandığım herhangi bir yeri güncellemeye zorlanacağım. Bu, @{BlogR (slug p)} ->@{BlogR (date p) (slug p)} gibi bir şeye benziyordu. tipi denetleyicisi yaptığınız değişikliklerin getirdiği sorunları bulmak için yardımcı çünkü

Bu, bir İyidir kabul edilir. ( )

ghci> let shew = show 
ghci> :t shew 
shew ::() -> String 
ghci> :t show 
show :: Show a => a -> String 

Bazen ghci'nin can sıkıcı varsayılanları seçtiği doğrudur. Bununla birlikte, bu, hafifletilebilir.

ghci> :set -XNoMonomorphismRestriction 
ghci> let shew = show 
ghci> :t shew 
shew :: Show a => a -> String 

bir fonksiyonun tipi başlayanlar için harika keşfetmeye GHCi kullanırken, ben GHCi üzerinde güvenerek tavsiye etmem. Tip imzalarının ne anlama geldiğini ve bunları nasıl keşfedeceğinizi öğrenin. Aslında, önce sahip olmayı düşündüğü tip imzasını yazarak bir işlev yazmaya başlayın. Bu beceriyi öğrenmek için sadece küçük bir zaman harcaması gerekir ve Haskell'in tip sistemini kendi avantajınıza göre kullanabilmeniz harika bir nimettir.