这是什么函数式编程语言？

Question

let    f x y = sqrt x+y
  in let g = f 4
  in     g 1 + g 2

sqrt(4 + 1) + sqrt(4 + 2)或(sqrt(4) + 1) + (sqrt(4) + 2))

这会显示在http://www.csse.monash.edu.au/~lloyd/tildeFP/1989SPE/

中

Answer 1

它可能根本就没有，因为至少从20世纪60年代以来语法已经相当成熟，作为功能伪代码/通用语言。

日期（1989年修订）建议米兰达或SASL，但他们都倾向于where条款而不是let条款。 （我甚至不确定他们是否有let。）

所以最有可能的是，如果它是任何特定的语言，是Lazy ML，它是在20世纪80年代早期在Chalmers开发的。