Elm严格和延迟的评估
示例
在elm中，当应用最后一个参数时，将计算函数的值。在以下示例中，log当使用3个参数调用f或使用最后一个参数应用f的咖喱形式时，将打印诊断自。
import String import Debug exposing (log) f a b c =String.join"," (log "Diagnostic" [a,b,c]) -- <function> : String -> String -> String -> String f2 = f "a1" "b2" -- <function> : String -> String f "A" "B" "C" -- Diagnostic: ["A","B","C"] "A,B,C" : String f2 "c3" -- Diagnostic: ["a1","b2","c3"] "a1,b2,c3" : String
有时您会希望阻止立即应用某个功能。elm中的典型用法是Lazy.lazy为控制何时应用功能提供抽象。
lazy : (() -> a) -> Lazy a
惰性计算采用一个()或一个Unit类型参数的函数。单位类型通常是占位符参数的类型。在参数列表中，对应的参数指定为_，指示未使用该值。elm中的单位值由特殊符号指定，该符号()在概念上可以表示空元组或孔。它类似于C，Javascript和其他使用圆括号进行函数调用的语言中的空参数列表，但这是一个普通值。
在我们的示例中，f可以防止使用lambda立即对其进行评估：
doit f = f () -- <function> : (() -> a) -> a whatToDo = \_ -> f "a" "b" "c" -- <function> : a -> String -- f is not evaluated yet doit whatToDo -- Diagnostic: ["a","b","c"] "a,b,c" : String
任何时候部分应用功能都会延迟功能评估。
defer a f = \_ -> f a -- <function> : a -> (a -> b) -> c -> b delayF = f "a" "b" |> defer "c" -- <function> : a -> String doit delayF -- Diagnostic: ["a","b","c"] "a,b,c" : String
Elm具有always无法用于延迟评估的功能。因为elm会评估所有函数参数，而不管是否以及何时使用函数应用程序的结果，所以将函数应用程序包装在中always不会引起延迟，因为f它完全用作的参数always。
alwaysF = always (f "a" "b" "c") -- <function> : a -> String -- Diagnostic: ["a","b","c"] -- Evaluation wasn't delayed.