Skip to main content
Version: ZIO 1.x

Background

Procedural Scala programs use procedural functions, which are:

  • Partial — Procedures do not return values for some inputs (for example, they throw exceptions).
  • Non-Deterministic — Procedures return different outputs for the same input.
  • Impure — Procedures perform side-effects, which mutate data or interact with the external world.

Unlike procedural Scala programs, functional Scala programs only use pure functions, which are:

  • Total — Functions always return an output for every input.
  • Deterministic — Functions return the same output for the same input.
  • Pure — The only effect of providing a function an input is computing the output.

Pure functions only combine or transform input values into output values in a total, deterministic way. Pure functions are easier to understand, easier to test, easier to refactor, and easier to abstract over.

Functional programs do not interact with the external world directly, because that involves partiality, non-determinism and side-effects. Instead, functional programs construct and return data structures, which describe (or model) interaction with the real world.

Immutable data structures that model procedural effects are called functional effects. The concept of functional effects is critical to deeply understanding how ZIO works, and is introduced in the next section.

Programs As Values#

We can build a data structure to describe a console program with just three instructions:

sealed trait Console[+A]final case class Return[A](value: () => A) extends Console[A]final case class PrintLine[A](line: String, rest: Console[A]) extends Console[A]final case class ReadLine[A](rest: String => Console[A]) extends Console[A]

In this model, Console[A] is an immutable, type-safe value, which represents a console program that returns a value of type A.

The Console data structure is an ordered tree, and at the very "end" of the program, you will find a Return instruction that stores a value of type A, which is the return value of the Console[A] program.

Although very simple, this data structure is enough to build an interactive program:

val example1: Console[Unit] =   PrintLine("Hello, what is your name?",    ReadLine(name =>      PrintLine(s"Good to meet you, ${name}", Return(() => ()))))

This immutable value doesn't do anything—it just describes a program that prints out a message, asks for input, and prints out another message that depends on the input.

Although this program is just a model, we can translate the model into procedural effects quite simply using an interpreter, which recurses on the data structure, translating every instruction into the side-effect that it describes:

def interpret[A](program: Console[A]): A = program match {  case Return(value) =>     value()  case PrintLine(line, next) =>     println(line)    interpret(next)  case ReadLine(next) =>    interpret(next(scala.io.StdIn.readLine()))}

Interpreting (also called running or executing) is not functional, because it may be partial, non-deterministic, and impure. In an ideal application, however, interpretation only needs to happen once: in the application's main function. The rest of the application can be purely functional.

In practice, it's not very convenient to build console programs using constructors directly. Instead, we can define helper functions, which look more like their effectful equivalents:

def succeed[A](a: => A): Console[A] = Return(() => a)def printLine(line: String): Console[Unit] =  PrintLine(line, succeed(()))val readLine: Console[String] =  ReadLine(line => succeed(line))

Composing these "leaf" instructions into larger programs becomes a lot easier if we define map and flatMap methods on Console:

  • The map method lets you transform a console program that returns an A into a console program that returns a B, by supplying a function A => B.

  • The flatMap method lets you sequentially compose a console program that returns an A with a callback that returns another console program created from the A.

    These two methods are defined as follows:

implicit class ConsoleSyntax[+A](self: Console[A]) {  def map[B](f: A => B): Console[B] =    flatMap(a => succeed(f(a)))
  def flatMap[B](f: A => Console[B]): Console[B] =    self match {      case Return(value) => f(value())      case PrintLine(line, next) =>        PrintLine(line, next.flatMap(f))      case ReadLine(next) =>        ReadLine(line => next(line).flatMap(f))    }}

With these map and flatMap methods, we can now take advantage of Scala's for comprehensions, and write programs that look like their procedural equivalents:

val example2: Console[String] =  for {    _    <- printLine("What's your name?")    name <- readLine    _    <- printLine(s"Hello, ${name}, good to meet you!")  } yield name

When we wish to execute this program, we can call interpret on the Console value.

All functional Scala programs are constructed like this: instead of interacting with the real world, they build a functional effect, which is nothing more than an immutable, type-safe, tree-like data structure that models procedural effects.

Functional programmers use functional effects to build complex, real world software without giving up the equational reasoning, composability, and type safety afforded by purely functional programming.

Next Steps#

If functional effects are starting to make more sense, then the next step is to learn more about the core effect type in ZIO.