IO

Формальное определение

Тип данных ввода-вывода.

Определение в виде кода на Scala

sealed trait IO[+A]:
  private[effect] def apply(rw: World[RealWorld]): Trampoline[(World[RealWorld], A)]

Реализация

Реализация в ScalaZ

import scalaz.*
import Scalaz.*
import scalaz.effect.*
import scalaz.effect.IO.*

val action1 =
  for
    x <- readLn
    _ <- putStrLn("Hello, " + x + "!")
  yield ()
action1.unsafePerformIO()

Ссылки:

• Functional Programming in Scala, Second Edition, Chapter 13
• Learning Scalaz
• Towards an Effect System in Scala, Part 2: IO Monad