Funcional Programming in Scala - Chapter 4
0 likes142 views
The document discusses handling errors in a functional programming style without exceptions. It covers the main problems with exceptions, including context dependence and lack of type safety. It then presents the Option type as an alternative, which is sealed and can be either Some containing a value or None. The document explains how to use the Option type correctly and introduces concepts like map, flatMap, and monads for structural recursion with the Option type.
(f: A => B): List[B]](https://image.slidesharecdn.com/option-160505093726/85/Funcional-Programming-in-Scala-Chapter-4-3-320.jpg)
![CHAPTER 4
EXAMPLE
// partial function
def mean(xs: Seq[Double]): Double =
if (xs.isEmpty)
throw new ArithmeticException("mean of
empty list!")
else xs.sum / xs.length
def mean1(xs: Seq[Double]): Double =
if (xs.isEmpty)
null
else xs.sum / xs.length](https://image.slidesharecdn.com/option-160505093726/85/Funcional-Programming-in-Scala-Chapter-4-4-320.jpg)
![CHAPTER 4
EXAMPLE
// total function
def mean_1(xs: Seq[Double], onEmpty: Double):
Double =
if (xs.isEmpty)
onEmpty
else
xs.sum / xs.length](https://image.slidesharecdn.com/option-160505093726/85/Funcional-Programming-in-Scala-Chapter-4-5-320.jpg)
![CHAPTER 4
OPTION
sealed trait Option[+A]
case class Some[+A](get: A) extends Option[A]
case object None extends Option[Nothing]](https://image.slidesharecdn.com/option-160505093726/85/Funcional-Programming-in-Scala-Chapter-4-6-320.jpg)
![CHAPTER 4
MONAD
trait M[A] {
def flatMap[B](f: A => M[B]): M[B]
}
def unit[A](x: A): M[A]](https://image.slidesharecdn.com/option-160505093726/85/Funcional-Programming-in-Scala-Chapter-4-9-320.jpg)
Funcional Programming in Scala - Chapter 4
- 1. HANDLING ERRORS WITHOUT EXCEPTIONS FUNCTIONAL PROGRAMMING IN SCALA
- 2. SIDE EFFECT
- 3. CHAPTER 4 MAIN PROBLEMS WITH EXCEPTIONS ▸ Context dependence ▸ Exceptions are not type-safe ▸ Checked exceptions def map[A,B](l: List[A])(f: A => B): List[B]
- 4. CHAPTER 4 EXAMPLE // partial function def mean(xs: Seq[Double]): Double = if (xs.isEmpty) throw new ArithmeticException("mean of empty list!") else xs.sum / xs.length def mean1(xs: Seq[Double]): Double = if (xs.isEmpty) null else xs.sum / xs.length
- 5. CHAPTER 4 EXAMPLE // total function def mean_1(xs: Seq[Double], onEmpty: Double): Double = if (xs.isEmpty) onEmpty else xs.sum / xs.length
- 6. CHAPTER 4 OPTION sealed trait Option[+A] case class Some[+A](get: A) extends Option[A] case object None extends Option[Nothing]
- 7. CHAPTER 4 HOW TO USE OPTION TYPE CORRECTLY ▸ Reference Option example
- 8. CHAPTER 4 STRUCTURAL RECURSION ▸ map ▸ flatMap
- 10. CHAPTER 4 REFERENCE ▸ Monad Design Pattern in Java ▸ Demystifying the Monad in Scala