如何在F#中编写实现重复输入方程直至解析成功的输入循环？

嘿，我来帮你把这段C#逻辑转换成地道的F#代码～F#支持两种风格的实现：一种是更符合函数式范式的递归写法，另一种是贴近你C#习惯的命令式do-while写法，咱们一个个来看：

函数式递归写法（推荐） #

F#更推崇无副作用、无可变变量的函数式风格，递归是实现这种循环逻辑的常用方式，代码会更简洁优雅：

open System

// 定义递归函数，直到拿到有效的表达式才返回
let rec promptForValidEquation () =
    printf "Enter an equation: "
    let input = Console.ReadLine()
    // 直接对TryParse的Option结果做模式匹配
    match Infix.TryParse(input) with
    | None -> 
        // 解析失败，递归调用自己继续提示
        promptForValidEquation ()
    | Some validExpr -> 
        // 解析成功，返回有效的表达式
        validExpr

// 使用示例：调用函数获取有效表达式
let finalValidExpr = promptForValidEquation ()

这个写法没有用到任何可变变量，完全靠递归和模式匹配实现循环，非常符合F#的设计理念。

命令式do-while写法（贴近你的C#逻辑） #

如果你更习惯命令式的写法，F#也支持类似C#的do...while循环，只需要用到少量可变变量：

open System

// 定义可变变量存储输入和解析结果
let mutable input = ""
let mutable parsedResult = None

// 先执行一次输入和解析
do
    printf "Enter an equation: "
    input <- Console.ReadLine()
    parsedResult <- Infix.TryParse(input)

// 循环直到解析成功
while Option.isNone parsedResult do
    printf "Enter an equation: "
    input <- Console.ReadLine()
    parsedResult <- Infix.TryParse(input)

// 取出解析成功的表达式（这里因为循环保证了有值，所以用Value是安全的）
let finalValidExpr = parsedResult.Value

这里要注意，F#里判断Option是否为空不需要像C#那样调用FSharpOption<Expression>.get_IsNone，直接用Option.isNone这个内置函数就可以了，简洁很多。

内容的提问来源于stack exchange，提问作者user7706068