Modul ini menjelaskan tipe IO sebagai batas sistem yang teratur, bukan misteri. Pembahasan meliputi makna tipe IO, notasi do dan bentuk ter-desugarnya, aksi dasar untuk terminal dan berkas, kombinator untuk menyusun banyak aksi, serta akses argumen command line dan variabel lingkungan. Kemurnian fungsi tetap terjaga sepanjang modul.
IO
Batas sistem yang jujur: tipe IO, notasi do, aksi dasar, kombinator, dan lingkungan program.
0/0 selesai
- Tipe IO
Nilai yang mendeskripsikan interaksi dengan dunia luar dan kemurnian yang tetap terjaga.
- Notasi do
Sequencing aksi IO dan bentuk ter-desugarnya, bind.
- Aksi dasar
putStrLn, getLine, readFile, dan writeFile untuk interaksi terminal dan berkas.
- Kombinator
mapM, forM, sequence, dan traverse untuk menyusun banyak aksi.
- Lingkungan
Argumen command line, variabel lingkungan, dan exit code program.