Haskell'deki istisnalar nasıl çalışır? GHCi yılında

Question

:

Prelude> error (error "") 
*** Exception: 
Prelude> (error . error) "" 
*** Exception: *** Exception: 

Neden İlki iç içe geçmiş istisna değil mi?

Answer 1

yanıt (bu kesin istisna saf kod olağanüstü değerleri ayarlamak değerlendirmek için gösterilebilir

arasında (biraz şaşırtıcıdır) anlam olmasıdır yani error veya undefined değeri, ve açıkça değil istisnalar generated in IO), sonra dil, bu kümenin herhangi bir değerinin iade edilmesine izin verir. Haskell'deki istisnai değerler, zorunlu dillerdeki kontrol akışına dayalı istisnalar yerine, kayan nokta kodunda NaN gibidir.

bile ileri Haskellers için bir arada yakaladım bir vaka gibi geçerli: kod bir dizi istisna olarak değerlendirilen

case x of 
    1 -> error "One" 
    _ -> error "Not one" 

beri GHC seçeceğiz serbesttir. En iyi duruma getirme ile, her zaman "Bir değil" olarak değerlendirirsiniz.

Bunu neden yapıyoruz? Aksi halde, dilin değerlendirme sırasını aşırı derecede zorlayacağız, ör. biz bir deterministik bir sonuç düzeltmek gerekir: tarafından

f (error "a") (error "b") 

örneğin hata değerleri varsa o soldan sağa değerlendirilecektir gerektiren. Çok beceriksiz!

error'u desteklemek için kodumuzda yapılabilecek en iyileştirmeleri saklamak istemediğimizden, çözüm, sonuçların istisnai değerler kümesinden deterministik olmayan bir seçim olduğunu belirtmektir: kesin olmayan istisnalar! Bir şekilde, tüm istisnalar geri döndü ve biri seçildi.

Normalde, umurumda değil - istisnanın bir istisnasıdır - istisna içindeki dizeyi önemsemediğiniz sürece, bu durumda error hata ayıklaması oldukça karışıktır.

---

Referanslar: A semantics for imprecise exceptions Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson. Proc Programlama Dilleri Tasarım ve Uygulaması (PLDI'99), Atlanta. (PDF)