이드리스 -

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 the! 표기법. 분명히

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

"A", "B", 및 "종료"모두가 인쇄됩니다 만, func 평가되지 않을 수 있습니다.

Maybe에 직접 적용하지 말고 >>==을 (임의의) Eff 값으로 지정해야한다고 생각합니다.

HTH는