Meta Language语言

来自计算思维百科
跳转至: 导航搜索

ML(Meta Language) 是一类通用的函数式编程语言,它是由爱丁堡大学的Robin Milner等在二十世纪七十年代晚期开发的,一般被归为非纯函数式编程语言,因为它允许副作用和指令式编程。今天在ML 家族中有好几种变种:两种主要的变种是Standard ML 和Caml。