我想在函数中实现递归的void表达式。我已经创建了下面的C++片段来说明我的问题。Lambda是我想在Func1中构建的递归的void表达式。但是,当我使用g++编译时,会遇到以下编译器错误:Lambda_void.cppLambda’ was not declared in this scope ^~~~~~
将lambda变量声明从v
实现该算法,我有一个问题,如何推断类型的相互递归的函数。let rec f n = if n == 0 then 0 else g (n - 1)f和g是相互递归的函数现在,当类型检查器推断函数f的类型时,它还应该能够推断函数g的类型,因为它是一个子表达式。
但是,在这一时刻,函数g还没有定义。因此,类型检查器甚至都不知道函数g的存在,以及函数g</e