gpt4 book ai didi

string - 在 smlnj 中,您如何将 "string option"转换为 "string"?

转载 作者:行者123 更新时间:2023-12-02 11:45:35 28 4
gpt4 key购买 nike

请帮助我不知道字符串选项的作用。

是否可以将字符串选项转换为字符串?

最佳答案

正如已经指出的那样,您可以使用模式匹配来获得所需的结果。
所以,像这样:

fun foo(NONE) = ""
| foo(SOME a) = a;

但是你可以省去麻烦并使用 Option.valOf 函数来自 SML library相反,只需执行以下操作:
Option.valOf(SOME "my string"); (或者只是 valOf(SOME "my string");,正如 newacct 在评论中指出的那样。)

关于string - 在 smlnj 中,您如何将 "string option"转换为 "string"?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6268700/

28 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com