loops - F# 创建具有多个函数的单个循环

Question

我刚刚开始深入研究一些编程并决定使用 F#。作为练习，我试图将我在 .bat 中制作的脚本转换为 F#。我在创建一个不止做一件事的循环函数时遇到了麻烦。这是此循环的旧脚本中的代码。

:Select
cls
echo.
echo Which Game?
echo.
echo    1. Assassin's Creed
echo    2. Crysis
echo    3. Mass Effect
echo.
echo.
set/p "game=>"
if /I %game%==1 goto Creed
if /I %game%==2 goto Crysis
if /I %game%==3 goto Mass
echo.
echo Invalid selection!
echo.
echo.
pause
goto Select

到目前为止，我尝试在 F# 中为相同功能编写的代码如下所示:

let rec gameprint gameselect =
    printfn "Which Game?\n\n   1.%s\n   2.%s\n   3.%s\n\n\n" game1 game2 game3
    let mutable gameselect = Int32.Parse(stdin.ReadLine())
    if gameselect = "1" then game1
    elif gameselect = "2" then game2
    elif gameselect = "3" then game3
    else printf "temp"
    Console.Clear

我知道我错过了一些告诉它在到达最后一个“else”时再次运行的东西；我收到了这些错误:

表达式的类型应为“unit”，但类型为“string”。使用 'ignore' 丢弃表达式的结果，或使用 'let' 将结果绑定(bind)到名称。

错误 1 ​​此表达式应为 int 类型，但此处的类型为 string 19 21

错误 2 此表达式应为 int 类型，但此处的类型为 string 20 23

错误 3 此表达式应为 int 类型，但此处的类型为 string 21 23

错误 4 此表达式应为字符串类型，但此处的类型为 unit 22 17

警告 5 此表达式的类型应为“unit”，但类型为“string”。使用 'ignore' 丢弃表达式的结果，或使用 'let' 将结果绑定(bind)到名称。 19 5

我更愿意使用这样的方法(非常不完整):

let rec getGame() =
    match Int32.Parse(stdin.ReadLine()) with
    | 1 -> "Assassin's Creed"
    | 2 -> "Crysis"
    | 3 -> "Mass Effect"
    | _ -> printf "Temp"

但是我得到:

错误 1 ​​此表达式应为字符串类型，但此处的类型为 unit 36​​ 19

而且我不确定如何循环它并使其成为“printf”和“Console.Clear”

如果有我不知道的更实用的方法，我当然很乐意学习:-)

提前致谢!

Answer 1

您第一次尝试的最大问题是您将输入从 string 解析为 int，但随后您尝试对字符串进行模式匹配。使用 1、2 和 3 代替 "1"、"2" 和 "3" 将解决该问题，但随后您将处于与第二次尝试大致相同的位置。

您的第二次尝试几乎成功了，但是 F# 告诉您您没有在所有分支中使用一致的返回类型:在前三种情况下您返回一个字符串，但在最后一种情况下您不是返回任何东西。在这种情况下，您需要做的就是循环，编译器会很高兴:

let rec getGame() =
    match Int32.Parse(stdin.ReadLine()) with
    | 1 -> "Assassin's Creed"
    | 2 -> "Crysis"
    | 3 -> "Mass Effect"
    | _ -> printf "Temp"; getGame()

我会做更像这样的事情:

type Game = Creed | Crysis | Mass

let rec getGame() =
  printfn "Which Game?\n\n   1.%A\n   2.%A\n   3.%A\n\n" Creed Crysis Mass
  match stdin.ReadLine() |> Int32.TryParse with
  | true,1 -> Creed
  | true,2 -> Crysis
  | true,3 -> Mass
  | _ -> 
     printfn "You did not enter a valid choice."
     // put any other actions you want into here
     getGame()