打印語句導致錯誤？

Question

這種語言的語法很混亂。

fun bar a = 
    print (Int.toString a); 
    0 

編譯。不知道爲什麼emacs縮進0。

fun bar a = 
    print (Int.toString a) 
    0 

引發錯誤。

Error: operator is not a function [tycon mismatch] 
    operator: unit 
    in expression: 
    (print (Int.toString a)) 0 


fun foo a = 
    if a < 0 
    then 
     0 
    else 
     0 

編譯。

fun foo a = 
    if a < 0 
    then 
     print (Int.toString a); 
     0 
    else 
     0 

將引發錯誤。

syntax error: replacing SEMICOLON with EQUALOP 

Wat？

我對此沒有任何意義。

Answer 1

看來你很難理解SML中可以使用分號的地方。有兩個主要地方允許他們：

1. 加入括號內的組：(a; b)。那意味着a; b無效。你需要把它包裝在括號內。

2. 在in和end之間的let塊。但是，你不要在這裏括號：

let 
    val foo = ... 
in 
    a; 
    b; 
    c 
end 

所以，你的最後一個例子應該是：

fun foo a = 
    if a < 0 
    then (print (Int.toString a); 0) 
    else 0 

它們也可用於內部分隔頂級表達式或聲明一個文件或在REPL上，但它們是可選的。這就是爲什麼你的第一個例子編譯。