伊德里斯 - 懶惰的評價問題

Question

考慮此程序：

module test 

import Effects 
import Effect.StdIO 

(>>==) : Maybe a -> Lazy (a -> Maybe b) -> Maybe b 
(>>==) Nothing (Delay map) = Nothing 
(>>==) (Just x) (Delay map) = map x 

nothing : String -> Eff (Maybe String) [STDIO] 
nothing s = do 
    putStrLn s 
    pure Nothing 

func : Maybe String -> String -> Maybe String 
func Nothing _ = Nothing 
func (Just s) t = Just (s ++ t) 

test : Eff() [STDIO] 
test = do 
    let m = !(nothing "a") >>== (func !(nothing "b")) 
    putStrLn "end" 

main : IO() 
main = run test 

自>>==右側聲明懶惰和!(nothing "a")返回Nothing，我預料的>>==右邊不會進行評估。

但實際上它得到的評價，我不明白爲什麼...

更廣泛地說，我試圖串聯Eff計算返回也許並停止執行，當我拿到第一Nothing

Answer 1

Desugar！符號。

test = do 
    x <- nothing "a" 
    y <- nothing "b" 
    let m = x >>== (func y) 
    putStrLn "end" 

顯然「一」，「b」和「結束」將全部被打印，但func可能無法進行評價。

我認爲您需要定義>>==以對（某些）Eff值起作用，而不是直接對Maybe s執行操作。

HTH