haskell - Haskell 是否有像 C 和 ML 语言一样的“构造”概念？

Question

这个 wiki 页面：https ://wiki.haskell.org/Referential_transparency谈论“C 和 ML 是具有不参照透明结构的语言”。我的问题是，什么是“构造”？它是一个抽象的概念吗？谢谢。

Answer 1

“构造”被用作可以用这些语言构造的事物的通用名词。您可以使用“事物”而不真正改变含义：C 和 ML 包含引用不透明的事物。