榆树中未实现的存根

Question

榆树有一个产生底部/发散的表达式,比如Haskell error或Rust's unimplemented!()吗？

例如

map : (a -> b) -> List a -> List b
map = unimplemented

Answer 1

是的,你可以使用这样Debug.crash的类型String -> a:

map : (a -> b) -> List a -> List b
map = Debug.crash "unimplemented"