... 行为下面两个 ML 函数的计算行为是完全一样的: fun f ( x ) = not ( f x ) ; fun g ... 更详细地说,假设我们将 ML 的类型检查机制关掉,然后编译一个程序 P [ fun f ...
確定! 回上一頁