В функциональном программировании IO Monad — это мощная концепция, которая позволяет программистам управлять побочными эффектами и обработкой исключений чисто функциональным способом. Инкапсулируя нечистые операции внутри монады ввода-вывода, мы можем отложить выполнение побочных эффектов и обрабатывать исключения контролируемым и предсказуемым образом. В этой статье мы рассмотрим различные методы и примеры кода, иллюстрирующие полезность монады ввода-вывода.

1. putStrLn: запись в консоль
   Функция putStrLnиспользуется для записи строки в консоль. Вот пример:

import System.IO
main :: IO ()
main = do
  putStrLn "Hello, World!"

1. getLine: Чтение из консоли
   Функция getLineсчитывает строку текста из консоли. Вот пример:

import System.IO
main :: IO ()
main = do
  putStrLn "What is your name?"
  name <- getLine
  putStrLn ("Hello, " ++ name ++ "!")

1. readFileи writeFile: чтение и запись файлов
   Функция readFileсчитывает содержимое файла в виде строки., а writeFileзаписывает строку в файл. Вот пример:

main :: IO ()
main = do
  contents <- readFile "input.txt"
  writeFile "output.txt" ("Processed: " ++ contents)

1. catch: обработка исключений
   Функция catchиспользуется для перехвата и обработки исключений, которые могут возникнуть в ходе действия ввода-вывода. Вот пример:

import Control.Exception
main :: IO ()
main = do
  result <- tryJust (guard . isDoesNotExistError) (readFile "nonexistent.txt")
  case result of
    Left e -> putStrLn ("File not found: " ++ show (e :: IOException))
    Right contents -> putStrLn ("File contents: " ++ contents)

Монада ввода-вывода — ценный инструмент функционального программирования для управления побочными эффектами и обработки исключений. Инкапсулируя нечистые операции в монаде ввода-вывода, мы гарантируем, что наш код будет более предсказуемым, удобным в обслуживании и тестируемым. С такими методами, как putStrLn, getLine, readFile, writeFileи обработкой исключений с использованием catchу нас есть необходимые строительные блоки для создания надежных операций ввода-вывода чисто функциональным образом.