理解Haskell的'toUpper`

Question

查看toUpper的Haskell源代码 ：

toUpper c = chr (fromIntegral (towupper (fromIntegral (ord c))))  
... 
foreign import ccall unsafe "u_towupper"
  towupper :: CInt -> CInt

chr和u_towupper是什么意思？ 我对foreign import ccall unsafe部分感到好奇。 Haskell源实际上是否会发生变异，因此unsafe ？

Answer 1

第一个ord将Char转换为Int ，然后fromIntegral将其转换为CInt 。 在另一侧fromIntegral转换一个CInt到Int ，然后chr的转换Int为Char 。

unsafe外部导入意味着C函数u_towupper不会回调到haskell。 如果Ghc知道这一点，那么它可以进行一些优化。 它与变异无关。