2
鉴于下面的部分功能(没有输出用于Nothing
输入)的理解输出:部分功能
f : Maybe Int -> Maybe Int
f (Just 42) = Just 42
的REPL显示以下内容:
*Lecture> f $ Just 42
Just 42 : Maybe Int
*Lecture> f Nothing
f Nothing : Maybe Int
什么是f Nothing
的含义输出?