PolyML函数和类型
[...]一对函数 tofun：int - > （'a - >'a）和 fromfun：（'a - >'a） - > int 使得（fromfun o tofun）n 的计算结果为 n 每一个 n：int 。 任何人都可以向我解释这是什么实际上要求？我正在寻找更多的解释，而不是实际的解决方案。 解决方案 这是要求的是： $ b $ 1）一个高阶函数 tofun 当给定一个整数时返
..
polyml相关内容
使用聚/ ML建立与嵌套目录结构工程
到现在为止，我一直在使用保利/毫升，所有源$ C $ C文件都在同一目录下几个小项目。要建立这些项目，都是我必须做在REPL中运行以下命令： ＆GT; PolyML.make“主”; 但现在我有一个项目，其规模使得它不切实际把所有源$ C $ C文件在同一目录下。要在REPL建设这些项目，我需要运行下面的命令：＆GT; PolyML.make“富/富”; ＆GT; PolyML.ma
..