我只是想知道是否可以用函数
式语言进行呼叫站点替换。我认为这
是一种特殊的懒惰形式。
基本上我会在某个地方调用一个带有参数 a 的函数 f：
... (f a) ...
然后，该函数将设法
用带有参数 b 的函数 g 替换自己：
... (g b) ...
这样下一次调用（fa）的原始调用站点时
，实际上调用了（gb）。
欢迎提示。
再见
PS：它用于即时（JIT）编译。
多态内联缓存等。
参见例如：
使用多态内联缓存优化动态 - 类型化对象 - 面向
语言
Urs Hölzle、Craig Chambers、David Ungar
ECOOP '91 欧洲
面向对象编程会议论文集
http://selflanguage.org/_static/published/pics.pdf
这基本上是自动机箭头：
newtype Auto a b = Auto (a -> (b, Auto a b))
在 Haskell 中，函数不可能替换自身，但自动机箭头表示函数返回自身的新版本以及结果：
switcher :: Bool -> Auto Bool Bool
switcher x =
Auto $ \y ->
(x, switcher $ if y then not x else x)
自动机箭头的有用之处在于它是一个箭头，因此Category实例允许您组合此类函数。还有一个非常有用的应用实例。
旁注：这是箭头函数响应式编程（AFRP）的基础。
在 Haskell 中，您可以通过 RULES pragma 提供自定义优化重写。
有关详细信息，请参阅GHC 用户指南 > 重写规则。