读取环境变量
你可以使用 IO.getEnv 获取一个环境变量的值。由于变量可能未被设置，它返回一个 Option String。
def checkUser : IO Unit := do
let user? ← IO.getEnv "USER"
match user? with
| some name => IO.println s!"Hello, {name}!"
| none => IO.println "Could not find USER variable."