Veri yapılarının tembel değerlendirilmesi

Question

Haskell'deki tembel değerlendirmeler hakkında bir şeyler okuyorum ve bir sorum var. Örneğin aşağıda belirtilen hesaplamaları vardır:

Prelude> let x = 1 + 1 :: Int 
Prelude> let y = (x,x) 

Ve x değerini aldıktan sonra:

Prelude> :sprint x 
x = _ 

Bu unevaluated bu. Tamam, şimdi en y değeri elde edelim: yx and it's unevaluated bağlıdır, çünkü çok unevaluated olan

Prelude> :sprint y 
y = (_,_) 

. Şimdi aynı örneği ancak ::Int olmadan deneyelim:

Prelude> let x = 1 + 1 
Prelude> let y = (x, x) 
Prelude> :sprint y 
y = _ 

Neden y değeri yerine (_, _)_ biz ::Int olmadan çalışırken?

Prelude> let x = 1 + 1 
Prelude> :t x 
x :: Num a => a 
Prelude> let x = 1 + 1 :: Int 
Prelude> :t x 
x :: Int 

Ama neden y değerleri buna bağlıdır:

Onların farklı türleri vardır görüyoruz?

Teşekkür ederiz. neler oluyor

Answer 1

Eğer türü Num a => a olması x belirttiğiniz zaman, derleyici muhtemelen 1 + 1 gerçekleştirirken kullanmak Num hangi örneği bilmiyor olabilir. Bunun yerine, varsayılanı kullanmaktır. GHC, belirli tipler için varsayılan türleri tanımlar, böylece hangi beton tipinin kullanılacağını belirlemenin olası bir yolu olmadığında, hataları artırmadan anlamlı sonuçlar verebilir. Yani

> let x :: Num a => a 
|  x = 1 + 1 
> x 
2 
> :sprint x 
x = _ 

görünce GHCi Num için varsayılan türü olarak Integer seçer Bunun nedeni, ancak bu işlemi yaparken bir olmadığından bu x 'ın hafıza konumda sonucu saklamaz Bu doğru cevap bile olup olmadığını bilmenin yolu. Bu nedenle :sprint numaralı telefondan x = _'u görüyorsunuz, aslında x :: Num a => a'u değerlendirmemiş, x :: Integer olarak değerlendiriliyor. Hatta bununla karışıklık kendinizi varsayılan edebilirsiniz:

> newtype MyInt = MyInt Int deriving (Eq) 
> 
> instance Show MyInt where 
|  show (MyInt i) = show i 
> instance Num MyInt where 
|  (MyInt x) + (MyInt y) = MyInt (x - y) 
|  fromInteger = MyInt . fromInteger 
> 
> default (MyInt) 
> x 
0 

Şimdi biz 1 + 1 = 0 söylediniz! Muhtemelen GHC'nin bu işlevselliği için hiç bir zaman kullanamayacağınızı, ancak bunun bilinmesi gerektiğini unutmayın.