无点函数能够内联吗？

Question

let inline myfunction x y = ...

let inline mycurried = myfunction x // error, only functions may be marked inline

似乎不可能显式地inline 柯里化函数。 所以每当mycurried被调用时，即使myfunction是inlined，它也不会得到inlined，对吗？

那么这可以看作是柯里化函数的缺点之一吗？

Answer 1

我认为你只需要在双方都添加一个显式参数（虽然我没有尝试过）：

let inline myfunction x y = ... 

let inline mycurried y = myfunction 42 y  // or whatever value (42)

Answer 2

我认为您的问题是 point-free 函数是否可以内联。

您发现的限制不是因为柯里化函数。 请注意，在您的示例中，柯里化函数在右侧，在左侧您有一个无点函数。

F# 只允许内联函数，而不是常量。

我原则上你可能认为这可以被认为是一个错误，因为类型推断足够聪明，可以发现这是一个（无点）函数，但请阅读 Tomas 关于副作用的注释。

显然，当编译器仅在左侧找到一个标识符时，它会因以下错误而失败：

let inline myfunction x y = x + y

let inline mycurried  = myfunction 1

--> Only functions may be marked 'inline'

正如 Brian 所说，一种解决方法是在两边都添加一个显式参数：

let inline mycurried x  = (myfunction 1) x

但是你的函数不再是无点的，它与：

let inline mycurried x  = myfunction 1 x

另一种方法可能是添加显式泛型参数：

let inline mycurried<'a>  = myfunction 1

当泛型参数显式出现在左侧时，它会编译。

我希望他们删除错误消息并将其变为警告，例如：

Since only functions can be 'inline' this value will be compiled as a function.

更新

感谢 Tomas 的回答（以及您的反对票）。

我个人的意见是这应该是一个警告，所以你知道你的代码的语义最终会改变，但接下来要由你决定做什么。

你说内联“只是一种优化”，但这并不完全正确：

。简单地将所有函数内联并不能保证最佳代码。

。您可能想使用静态约束，然后必须使用内联。

我希望能够定义我的（某种）通用常量，就像 F# 库已经做的那样（即：GenericZero 和 GenericOne）。我知道我的代码会很纯净，所以我不在乎它是否每次都执行。

Answer 3

编译器只允许inline 用于定义函数的 let 绑定。这与with F# value restriction 发生的事情本质上是一样的（参见also here）。正如 Brian 所说，您可以通过向函数添加参数来轻松解决此问题。

为什么会有这个限制？如果它不存在，那么添加 inline 会改变程序的含义，那会很糟糕！

例如，假设你有一个这样的函数（它创建可变状态并返回一个计数器函数）：

let createCounter n = 
  let state = ref n
  (fun () -> incr state; !state)

现在，下面的代码：

let counter = createCounter 0

... 创建一个可以多次使用的全局函数（调用 counter()），它会为您提供从 1 开始的唯一整数。如果您可以将其标记为 inline：

let inline counter = createCounter 0

...那么每次你使用counter()，编译器都应该用createCounter 0 ()替换它，这样你每次调用计数器都会得到1！