0

试图找出如何使用此伪代码在 SML 中获得平方根：

sqrt x s = s if s*s <= x
sqrt x s = sqrt x (s-1) if s*s > x

这个公式是讲师给我们的，我们必须解决 SML 中的问题。

我已经尝试了几种不同的方式，但我将通过控制台发布带有错误的不同方式：

- fun sqrt x s = if ((s*s) <= x) then s | sqrt x s = if (s*s) > x then sqrt x (s - 1);
stdIn:32.39-32.45 Error: syntax error: deleting  BAR ID
stdIn:32.52-32.56 Error: syntax error: deleting  IF LPAREN
stdIn:32.59-32.62 Error: syntax error: deleting  RPAREN ID
stdIn:32.65-32.74 Error: syntax error: deleting  THEN ID
- fun sqrt x s = s if ((s*s) <= x) | sqrt x (s - 1);
stdIn:10.2-17.4 Error: syntax error: deleting  IF LPAREN
stdIn:17.14 Error: syntax error found at RPAREN
- fun sqrt x s = s if s*s <= x | sqrt x (s - 1);
stdIn:10.2-17.4 Error: syntax error: deleting  IF ID
- fun sqroot x s = s if s*s <= x | sqrt x (s - 1);
stdIn:17.2-17.6 Error: syntax error: deleting  IF ID
- fun sqrt x s = s IF s*s <= x | sqrt x (s - 1);
= ;
= ;
= ;;
stdIn:17.28-34.2 Error: syntax error: deleting  SEMICOLON SEMICOLON SEMICOLON
- fun sqrt x s = s IF s*s <= x END | sqrt x s = sqrt x (s-1) IF s*s > x END;
stdIn:17.12-17.15 Error: unbound variable or constructor: END
stdIn:10.2-17.2 Error: unbound variable or constructor: IF
stdIn:35.20-35.23 Error: unbound variable or constructor: END
stdIn:35.9-35.11 Error: unbound variable or constructor: IF
stdIn:1.17-17.15 Error: operator is not a function [circularity]
  operator: 'Z
  in expression:
    (s <errorvar>) s
stdIn:1.17-17.15 Error: operator and operand don't agree [overload]
  operator domain: 'Z * 'Z
  operand:         _ * (_ -> 'Y)
  in expression:
    (s <errorvar>) s * s
stdIn:1.6-35.23 Error: types of rules don't agree [literal]
  earlier rule(s): (_ -> int) * (_ -> 'Z) -> bool
  this rule: (_ -> int) * int -> bool
  in rule:
    (x,s) => (<exp> <exp>) s * s > x <errorvar>
stdIn:1.6-35.23 Error: right-hand-side of clause doesn't agree with function result type [literal]
  expression:  (_ -> 'Z) -> bool
  result type:  int -> _ -> int -> int
  in declaration:
    sqrt = (fn arg => (fn <pat> => <exp>))

标有“-”的行是我的提示输入，所有其他行由交互式系统返回。

感谢任何帮助。

4

2 回答 2

2

@popovitsj 有很好的倾向。

SML 使用模式匹配来确定使用哪个版本的函数定义。

fun sqrt x s = if ((s*s) <= x) then s | sqrt x s = if (s*s) > x then sqrt x (s - 1);

是非确定性的，如果 SML 尝试的定义失败（即像 Prolog），SML 没有能力回溯并尝试另一个定义。

在这种情况下，您可以使用

fun sqrt x s = if s * s <= x then s else sqrt x (s-1);

仅当您向其传递一个最初传递时将使 if 表达式失败的值时，此函数在逻辑上才有效。

我没有对此进行测试，但我相信它应该会有所帮助。

于 2013-11-07T22:57:03.620 回答
1

也许这有用？用 Python 实现的伪代码：

def sqrt(x,s):
    if (s*s <= x):
        return s
    return sqrt(x,s-1)

对于 SML，我无法检查这一点，因为我没有 SML 编译器，但也许这会起作用？

fun sqrt (x, s) = if s*s <= x then s else sqrt(x,s-1)
于 2013-11-07T22:45:40.837 回答