这是什么功能编程语言

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年代以来语法已被公平地建立为函数pseudocode/lingua franca。

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

因此，如果根本没有任何特定语言，最有可能的是懒惰的ML，它是在1980年代初在查尔默斯（Chalmers）开发的。