Every I/O action returns a value. In the type system, the return value is `tagged' with IO type, distinguishing actions ... First, the function getLine:
確定! 回上一頁