Standard ML出现于哪一年

Standard ML最初出现于1984年。它是由罗宾·米尔纳（Robin Milner）等人开发的函数式编程语言，用于支持形式化验证和程序推导。它是ML语言家族的一员，也是一种静态类型的编程语言。

原文地址: https://www.cveoy.top/t/topic/iKo8 著作权归作者所有。请勿转载和采集!