1
Чи монада IO технічно неправильна?
На вікі haskell є наступний приклад умовного використання монади IO (див. Тут) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Зауважимо, що в цьому прикладі дане визначення IO aмає бути таким, RealWorld -> (a, RealWorld)щоб …