Warning: file_get_contents(/data/phpspider/zhask/data//catemap/5/url/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Idris 为什么处于函数位置时未绑定隐式无效？_Idris_Implicit Typing - Fatal编程技术网
Fatal编程技术网
  • idris/
  • Idris 为什么处于函数位置时未绑定隐式无效？

Idris 为什么处于函数位置时未绑定隐式无效？

Idris 为什么处于函数位置时未绑定隐式无效？,idris,implicit-typing,Idris,Implicit Typing,在Idris ch 3的类型驱动开发中，Brady说 Idris不会将每个未定义的名称视为未绑定的隐式名称，这些名称以小写字母开头，单独出现或出现在函数参数中。鉴于以下情况 测试：fma->b->a f未被视为未绑定的隐式，这意味着必须在其他地方定义它才能使此类型有效 为什么Idris不能像推断其他变量的类型一样推断f

在Idris ch 3的类型驱动开发中，Brady说

Idris不会将每个未定义的名称视为未绑定的隐式名称，这些名称以小写字母开头，单独出现或出现在函数参数中。鉴于以下情况

测试：fma->b->a

f
未被视为未绑定的隐式，这意味着必须在其他地方定义它才能使此类型有效

为什么Idris不能像推断其他变量的类型一样推断
f