functional-programming - 预计算中间结果的部分应用

Question

对于下面的二次公式，我有多个 a 但 fixed b 和 c。

我希望编写一个部分应用 函数，它可以高效执行，即我的函数不会重新计算固定值(因为 b 和 c)。

---

这是我的解决方案

令 r b c = 令 z = b *。 b 在乐趣 a -> (-.b +.sqrt (z-.4.0*.a*.c))/.(a*.2.0);;

我想这个解决方案可以工作，但我不确定它是否足够有效。我刚刚修复了 b^2，因为我看到其他部分都带有 a。

谁能给我一个更好的解决方案？

Answer 1

是的，这是处理当前情况的正确方法。 alternate form没有多大帮助(只要这能获得您需要的准确性)。您可能还想将 4*c 移出，

let r b c = let z = b *. b and c4 = 4.0 *. c in
            fun a -> (-.b +. sqrt (z-.a*.c4))/.(a*.2.0);;