sml - 以 ml 为单位的实数减法函数

Question

我正在尝试在 moscow ml 中减去两个函数(均为实型)。然后它说“重载 - 不能应用于 real -> real 类型的参数。那么我应该如何编写函数？

fun CircleArea  x = x*x*Math.pi

fun SquareArea x:real = 4*x*x

fun Area x = SquareArea - CircleArea

Answer 1

您可能实际上并不想从一个函数中减去另一个函数，而是想在应用这些函数后返回这些函数的值。您可以通过以下方式实现此目的:

fun Area x = (SquareArea x) - (CircleArea x)

括号不是强制性的，因为函数应用程序(即 SquareArea 和 x 之间的空间)比任何二元运算符(包括 -)绑定(bind)得更紧密>.

您应该考虑在 ML 中使用以下命名约定:常规函数的起始符号为小写，而代数类型的值构造函数的起始符号为大写。例如:

fun area x = squareArea x - circleArea x

但是:

datatype shape = Square of int * int
               | Circle of int