Nicolas Francois Koisell

Scalability Scalability Reliability Engineer (SRE). Architecture astronaut. Scala 💪 Idris, F#, Rust 👀 Career goal: Software Anarchitect

Koisell / functor1.scala

Last active September 23, 2019 12:06

def map(fa: Foo[A])(f: A => B): Foo[B] = ???

Koisell / explicitRecursion.scala

Last active September 23, 2019 11:55

	// A function which calls itself explicitly:
	def length[A](list: List[A]) = list match {
	case h::t => 1 + length(t)
	case Nil => 0
	}

Koisell / list.scala

Last active September 23, 2019 11:55

	// A type which holds a reference to itself:
	sealed abstract class List[+A]
	final case class Cons[+A](head: A, tail: List[A]) extends List[A]
	final case object Nil extends List[Nothing]

Koisell / foldl.scala

Last active September 23, 2019 11:52

Medium recursion schemes

	List(1, 2, 3).foldl(0)(_ + _)

	// foldl removes the explicit recursion.
	// FOLD, REDUCE, ... already are recursion scheme