main関数

戻り値にステータスを返したいなら IO UInt32 とする。戻り値不要なら Unit でもよい。

def main(args : List String) : IO Unit := do
  let len := List.length args
  IO.println s!"length of args is {len}"
  for i in [0:len] do
    IO.println (List.get! args  i)
  return ()