Index

A

• actions
  • sequencing, with monad / Sequencing actions with monad and applicative
  • sequencing, with applicative / Sequencing actions with monad and applicative
• Ad-hoc polymorphism
  • about / Ad-hoc polymorphism
  • class-based / Class-based ad-hoc polymorphism
  • alternation-based versus. class-based / Alternation-based versus class-based
  • dispatch / Polymorphic dispatch and the visitor pattern
  • visitor pattern / Polymorphic dispatch and the visitor pattern
  • parametric, unifying / Unifying parametric and ad-hoc polymorphism
• Ad-hoc polymorphism
  • alternation-based / Alternation-based ad-hoc polymorphism
• algebraic types
  • about / Types, pattern matching, and polymorphism
  • and pattern matching / Algebraic types and pattern matching
  • recursive types / Recursive types
• applicative
  • monad as / Monad as applicative
  • actions, sequencing with / Sequencing actions with monad and applicative
• applicative functor
  • about / Applicative functor
• arrows
  • about /...