sml - 標準ML：関数内で別の関数を実行する方法は？

Question

現在、私のコードは次のようになっています。

fun gradImage () =
    let val iImg = Gdimage.image(640,480) (0,0,0);
        val void = mapi gradient iImg;
    in
        Gdimage.toPng iImg "gradient.png"
    end;

mapiは、int int-> int int * int->image->unit型の関数です。基本的に、提供された画像で動作します。

関数はvalvoid=..で見苦しく見えます

どうすればそれを排除できますか？

Answer 1

in式の間およびend式内に式のリストを含めることができますlet。したがって、コードを次のように書き直すことができます

fun gradImage () =
    let
        val iImg = Gdimage.image(640,480) (0,0,0)
    in
        mapi gradient iImg;
        Gdimage.toPng iImg "gradient.png"
    end;

コードはそのように書かれているように見えるので、私はその場でmapi変更を行うと思います。iImgそれはあまり機能的に聞こえません。mapi変更されたものを返す方が自然に感じますimageが、Gdimageインターフェースを見ると、そこでどのように行われているかのように見え、効率の観点からはおそらくより良いと思います。

Answer 2

私は実際にによって提供される追加のタイプチェックを好みます

val () = mapi gradient iImg

これが醜いように見える場合は、そうする必要があります。あまり機能的ではなく、StandardMLは間違いなく関数型言語です。

Answer 3

私がSMLを使用してから10年が経ちましたが、あなたが探しているのはこれだと思います。

fun gradImage () =
    let val iImg = Gdimage.image(640,480) (0,0,0)
    in
        ignore (mapi gradient iImg);
        Gdimage.toPng iImg "gradient.png"
    end;