实体 Standard ML

Standard ML

PulseAugur coverage of Standard ML — every cluster mentioning Standard ML across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

0

90 天内 0

层级分布 · 90 天

主题

其他 1

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

COMMENTARY · CL_199148 · Aug 13 · 17:45

Z记号的冗长语法与函数式编程语言形成对比

Z记号是一种用于软件规范的形式化方法，在20世纪80年代初备受推崇，当时C和Pascal等命令式语言占据主导地位。然而，作者发现其语法与ML等函数式编程语言相比过于冗长，而ML提供了更简洁的表达方式。这种对函数式编程语法的偏好一直延续到ML的现代后代，包括Standard ML、OCaml、Haskell、Agda和Idris。