临着把函数当作返回结果一样的困难：构建该函数的闭包： f :: Integer] -> [Integerf = let a = 3
函数的相等.判断两个函数是否相等，有不同的判据：
类型论.对于类型论，函数类型接受值类型"A"并返回值类型"B"可写为"A" → "B"或"B"。根据柯里-霍华德对应，函数类型可对应于逻辑蕴涵，lambda抽象对应于discharging hypothetical assumptions，函数调用对应于肯定前件推理规则。