摘要: 首先简单介绍使用的SML语言,参考维基百科和百度百科: ML(Meta Language:元语言)是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的一个函数式、指令式的通用的编程语言,它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式的类型, 阅读全文
posted @ 2022-05-09 23:25 自闭火柴的玩具熊 阅读(749) 评论(0) 推荐(0) 编辑