此代碼: y :: Int
y = y + 1
當執行時使得GHCI掛起。 y :: Int; this means y is of type Int
y = y + 1; this means y is defined to be an Int + 1
如果我在語句的定義中不正確,請糾正我。 爲什麼y不評價? 是因爲y被添加到一個Int中,但它只是被添加到一個類型而不是一個值?
我試圖分配一個提升值到a。 λ> :m Control.Applicative
λ> let a = pure 1
當我在REPL評估a,它打印1。 λ> a
1
因此,我認爲有可能是show的實施a,並試圖這樣: λ> show a
但GHCI拋出一個錯誤: <interactive>:70:1-4:
No instance for (Show (f0 a0)) ari