通常将Haskell引用为纯function语言的一个例子。 鉴于System.IO.Unsafe.unsafePerformIO的存在,如何certificate这一点? 编辑:我认为“纯粹function”是指不可能将不纯的代码引入到程序的function部分。