標準ML構文

Question

私は問題はそれだけでemaulateしようとして

w.sml:21.6-22.82 Error: right-hand-side of clause doesn't agree with function result type [circularity] 
expression: ('Z -> 'Y) -> 'Z -> 'Z 
result type: ('Z -> 'Y) -> 'Z 
in declaration: 
whilestat2 = (fn arg => (fn <pat> => <exp>)) 

uncaught exception Error 
raised at: ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27 
     ../compiler/TopLevel/interact/evalloop.sml:44.55 
     ../compiler/TopLevel/interact/evalloop.sml:292.17-292.20 

私にイムを次のエラーを与えることである標準的なMLに新たなんだと、次のコード

fun whilestat test stmt1 = 
     (fn x => if (test x) then (stmt1 x;whilestat test stmt1) else (x)); 

を書き込もうとし条件が真であれば再帰し、そうでなければその値を返す。

Answer 1

問題は返品タイプwhilestatにあります。 thenブランチでは、関数を返しますが、elseブランチでは、任意のデータを返します。私はあなたがthenブランチで再帰するときにすべての引数を渡すのを忘れてしまったと思います。

私はそれをどのように書いていますか（あなたの混乱に寄与したと思うfn x => ...を使用する必要はないことにも注意してください）。

fun whilestat test stmt1 x = 
    if test x 
    then (stmt1 x; whilestat test stmt1 x) 
    else x 

将来、推論を再確認するために、ソースコードの型に明示的に注釈を付けると便利な場合があります。私は以下の???に記入しようとすることで、あなたのバグを見つけました：

fun whilestat (test : 'a -> bool) (stmt1 : 'a -> unit) : ??? = 
    ...