一个非常基本的 SML 问题，我似乎无法弄清楚（小代码）

Question

只是一个基本的卡萨密码。我已经测试了所有的子函数，只是 encryptChar() 不是特别有效。我得到一个无限循环。它应该是递归的。这是所有代码：

fun replace (str : string, index : int, newChar : char) : string = String.substring(str,0,index) ^ String.str(newChar) ^ String.substring(str,index+1,(size str) - index - 1;

fun encryptChar (msgStr : string, shiftAmnt : int, index : int) : string =   
    let val asciiCode = 0  
    in  
        if (not (String.sub(msgStr, index) = #" ")) then  
        (  
            asciiCode = ord( String.sub(msgStr, index) ) + shiftAmnt;  
            if (asciiCode < ord(#"A")) then asciiCode = asciiCode + 26  
            else if (asciiCode > ord(#"Z")) then asciiCode = asciiCode - 26  
            else asciiCode = asciiCode;  
            msgStr = replace(msgStr, index, chr(asciiCode))  
        )  
        else asciiCode = asciiCode;  
        index = index + 1;  
        if (index < (size msgStr - 1)) then encryptChar(msgStr, shiftAmnt, index)  
        else msgStr  
    end  
;  

fun encrypt(msgStr : string, shiftAmnt : int) : string = encryptChar (String.map Char.toUpper msgStr, shiftAmnt mod 26, 0);

Answer 1

这里的问题是您滥用了 =。在变量定义之外，= 只是一个布尔函数，用于检查其参数是否相等。因此，如果您执行 asciiCode = ord( String.sub(msgStr, index) ) + shiftAmnt; 操作，它将简单地返回 false （因为 asciiCode code> 不等于 ord( String.sub(msgStr, index) ) + shiftAmnt) ，然后丢弃该结果（因为 ; 之后还有其他表达式） 。它不会重新分配 asciiCode。

SML 中的变量是不可变的。如果您想模拟可变变量，可以使用 ref 和 := 运算符。然而，我不推荐这种方法，因为它通常不是很好的功能风格，并且在这种情况下没有必要。更好的方法是以每个变量仅分配一次的方式重写代码。

Answer 2

这确实是非常基本的问题，令人惊讶的是您在如此复杂的情况下遇到了它。
你是从其他语言移植的吗？

您需要忘记有关使用作业进行编程的所有知识。

let val x = y in something

或多或少意味着“在‘某物’内，将标识符‘x’替换为‘y’的值”。
您无法更改 x 的值。

进行替换（这不是实际的评估顺序或任何内容，但它应该让您了解发生了什么）：

   encryptChar("THIS", amount, 0)

=>

let val asciiCode = 0  
in  
    if (not (String.sub("THIS", 0) = #" ")) then  
    (  
        asciiCode = ord( String.sub("THIS", 0) ) + amount;  
        if (asciiCode < ord(#"A")) then asciiCode = asciiCode + 26  
        else if (asciiCode > ord(#"Z")) then asciiCode = asciiCode - 26  
        else asciiCode = asciiCode;  
        "THIS" = replace("THIS", 0, chr(asciiCode))  
    )  
    else asciiCode = asciiCode;  
    0 = 0 + 1;  
    if (0 < (size "THIS" - 1)) then encryptChar("THIS", amount, 0)  
    else str 
end ;

=>

        if (not (String.sub("THIS", 0) = #" ")) then  
        (  
            0 = ord( String.sub("THIS", 0) ) + amount;  
            if (0 < ord(#"A")) then 0 = 0 + 26  
            else if (0 > ord(#"Z")) then 0 = 0 - 26  
            else 0 = 0;  
            "THIS" = replace("THIS", 0, chr(0))  
        )  
        else 0 = 0;  
        0 = 0 + 1;  
        if (0 < (size "THIS" - 1)) then encryptChar("THIS", amount, 0)  
        else str  

=>

        if (not (String.sub("THIS", 0) = #" ")) then  
        (  
            0 = ord( String.sub("THIS", 0) ) + amount;  
            if true then false
            else if false then false
            else true;
            false
        )  
        else true;  
        false;  
        if (0 < (size "THIS" - 1)) then encryptChar("THIS", amount, 0)  
        else "this" 

->

        if (not false) then  
        (  
            false;
            false;
            false
        )  
        else true;  
        false;  
        if true then encryptChar("THIS", amount, 0)  
        else "THIS" 

=>

        (  
            false;
            false;
            false
        )  
        false;  
        encryptChar("THIS", amount, 0)

=>

    encryptChar("THIS", amount, 0)

这就是你的无限循环的来源。

您最好掌握有关机器学习编程的介绍性文本。