Monaden & Co. Funktionale Konzepte in Scala - Lars Hupel

Empfehlungen

Info

Heterogeneous Lists – VerwendungnZugriff auf Elemente: Indexbasiertnnneine Funktion HList[H, T] => Int => Any möglich, abernicht hilfreichIdee: index-Funktion muss einen Typparameter haben, der diePosition in der Liste repräsentiert→ Peano-NumeraleMonaden & Co. – Lars Hupel Copyright © 2011 MATHEMA Software GmbH 46
Peano-Numeralenals Wertetrait Natcase object Zerocase class Succ(n: Nat)val two = Succ(Succ(Zero))nals Typentrait Nattrait Zero extends Nattrait Succ[N
Seite 7: Typklassen - Verwendungngenerische
Seite 10 und 11: Typklassen in Scala - VerwendungnFu
Seite 12 und 13: Typklassen in Scala - implizite Par
Seite 14 und 15: Kinds - MotivationnnnBeispiel: man
Seite 16 und 17: Kinds - TypkonstruktorennnnnDatenko
Seite 18 und 19: Kinds - BeispieleDatenstruktur Dekl
Seite 20 und 21: Typklassen und Kinds"Someone in the
Seite 22 und 23: Scalaz"The intention of Scalaz is t
Seite 24 und 25: Scalaz - Functorstrait Functor[F[_]
Seite 26 und 27: Scalaz - PurennIntuition: "verpackt
Seite 28 und 29: Scalaz - ApplicativennnIntuition: "
Seite 30 und 31: Scalaz - ApplicativennAnwendungsbei
Seite 32 und 33: Scalaz - MonadsnnIntuition: "kombin
Seite 34 und 35: Scalaz - Monadstype Computation[A]
Seite 36 und 37: Path-dependent typesnnnScala behand
Seite 38 und 39: Path-dependent types - Konsequenzen
Seite 40 und 41: Path-dependent types - Zahlbereiche
Seite 42 und 43: Heterogeneous ListsnnnnnnProblem: F
Seite 44 und 45: Heterogeneous Lists - VerwendungnEr
Seite 48 und 49: Peano-Numerale und HListtrait Acces
Seite 50 und 51: Peano-Numerale und HListcase class
Seite 52 und 53: Heterogeneous Lists - Vorteilennnnn
Seite 54 und 55: Typsichere Formatierungtype Formatt
Seite 56 und 57: Typsichere Formatierung> const("foo
Seite 58: Fragen?Vielen Dank!hupel@in.tum.deM

Monaden & Co. Funktionale Konzepte in Scala - Lars Hupel

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?