未装箱的类型,比如Int#,和严格的功能,f (!x) = ...是不同的,但我看到概念上的相似性 - 他们在某种程度上不允许暴力/懒惰.如果Haskell是像Ocaml这样的严格语言,那么每个函数都是严格的,并且每个类型都是未装箱的.unboxed类型与强制执行之间的关系是什么?
Int#
f (!x) = ...
evaluation haskell lazy-evaluation strictness
evaluation ×1
haskell ×1
lazy-evaluation ×1
strictness ×1