gpt4 book ai didi

int - 如何在 SML 中将 String 转换为 int(而不是 int 选项)

转载 作者:行者123 更新时间:2023-12-04 17:17:06 26 4
gpt4 key购买 nike

我正在尝试使用 Int.fromString 从字符串中提取整数值功能
但正如我们所知,它的规范是:String -> int option .所以应用Int.fromString的结果类型为 int option .但我需要类型 int 的结果.另外我确定提取的部分是整数。如何才能做到这一点?

最佳答案

您可以免费使用 SOME在表达式的左侧:

val SOME x = Int.fromString "3";
val x = 3 : int

关于int - 如何在 SML 中将 String 转换为 int(而不是 int 选项),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36527015/

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