我有一个问题，我可以将类型unit（）转换为字符串我的意思是我有一个函数，在输出的类型是unit（）之后执行一个进程，我需要将它转换为字符串我能做到吗
这是对您的问题的非常直接的答案 . 类型为 unit -> string 的函数，它是total，pure，并为 unit 类型的每个可能值生成唯一的 string 值：
unit -> string
unit
string
let unit_to_string () = "unit"
我不认为它会解决您的实际问题，但也许它会以某种方式引导您更好地识别和描述您的问题 .
1 回答
这是对您的问题的非常直接的答案 . 类型为
unit -> string的函数，它是total，pure，并为unit类型的每个可能值生成唯一的string值：我不认为它会解决您的实际问题，但也许它会以某种方式引导您更好地识别和描述您的问题 .