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

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

很可能根本就没有，因为至少从 1960 年代起，语法就已经相当成熟，作为功能性伪代码/通用语言。

日期（1989 年修订）建议使用 Miranda 或 SASL，但它们都更倾向于where从句而不是let. （我什至不确定他们是否有let。）

因此，如果它是任何特定语言，最有可能的是Lazy ML，它是 1980 年代初在 Chalmers 开发的。