如何描述这个函数定义？

Question

这是描述函数规范和定义

的正确方法吗？

MagicHaskeller根据规范生成函数。

例如规范：f [ 3 , 4 , 5.6 ] ~= 4.2 生成函数f = (\a b -> sum a / 3)

换句话说：函数：f [ 3 , 4 , 5.6 ] ~= 4.2接受三个值的列表，并通过对这些列表值应用转换来生成近似值。生成的函数f = (\a b -> sum a / 3)接受一个函数a，该函数对列表值求和并除以3.我认为语句takes a function a which sums the list values and divides by 3不正确。函数f = (\a b -> sum a / 3)的正确解释是什么？

我的术语是否正确？

Answer 1

不完全，但很接近。

f 是一个函数（它是绑定到lambda表达式的名称），它接受两个参数：数字列表a和一些{{1这完全被忽略了。该函数返回列表中数字的总和除以3。