SML 编程帮助元组

Question

exception No_intersection of string

fun check_in ((m1:real, b1:real), (m2:real, b2:real)):real*real = 

该函数应该检查两条线之间的交叉点。每对参数是一个斜率和一个 y 截距。如果存在，我应该找到两者之间的交集。

由于某种原因，我无法使这项工作看起来有效，并且已经为此苦苦挣扎了好几个小时。

Answer 1

实数在 SML 中不是相等类型，因此 (m1-m2) = 0 是类型错误。

这样做的原因是浮点表示的有限精度可能会由于舍入误差而产生意想不到的结果（例如，(1.0/7.7)*7.7 = 1.0 将返回 false）。您可以使用Real 库中的== 运算符来解决此问题，即Real.==(m1-m2,0)（或只是Real.==(m1,m2)）。但请记住，它可能不可靠。

第二个问题是，根据返回类型，你的函数应该返回一个值，而不是打印它。您需要做的就是在else 子句中声明返回值，即只需将print((x,y)) 替换为(x,y)。

不管怎样，如果可以的话，我会避免使用异常；他们有点违背函数式编程的想法。请尝试返回 (real*real) option。