标准机器学习：如何在函数内执行另一个函数？

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 是一个类型为 intint->intint*int->image->unit 的函数。本质上它对提供的图像进行操作。

该函数看起来很难看 val void = ...

我怎样才能消除它？

Answer 1

您可以在 let 表达式中的 in 和 end 之间拥有一个表达式列表。因此，您可以将代码重写为

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

我使用 SML 已有十年了，但我相信您正在寻找的是：

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

Answer 3

实际上，我更喜欢提供的额外类型检查。

val () = mapi gradient iImg

如果这看起来很难看，它应该是这样的——它不是很实用，而标准 ML 绝对是一种函数式语言。