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

标签 string input option sml smlnj

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

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

最佳答案

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

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/

相关文章:

java - [java.lang.String;无法转换为 java.lang.String

java - 取消格式化字符串

javascript - 动态显示复选框检查的输入

option - 使用 YQL 获取金融期权数据

string - 删除多余的字符串而不循环

C - 程序在没有扫描的情况下终止?

input - 可以使用 Web Components 来创建自定义输入元素吗?

forms - Symfony2更改嵌入式表单的字段选项

java - 静态分析Option在Java中是否永远不会为null

c - 检测到堆损坏 - 使用字符串实现合并排序