TypeClasses and Implicits

Intro

Dalej

• typeclasses
  • implicits
• cos z typami
  • typy fantomowe
  • ograniczenia typów

 implicit val ord: Ordering[(Int,() => Unit)] = Ordering.by(_._1)

• Future i execution context
• bazy danych i connection

allEqual :: (Int,Int,Int) -> Bool
allEqual x y z = x==y && y==z
// nie ma tutaj nic specjalnego dla intów dlatego typeclase

• @IMPLICITAMBIGUOUS