Monaden & Co. Funktionale Konzepte in Scala - Lars Hupel

Empfehlungen

Info

Kinds – TypkonstruktorennnnnDatenkonstruktoren erzeugen DatenTypkonstruktoren erzeugen Typenauch bekannt als "parametrische Polymorphie"… oder in Java: "Generics"Monaden & Co. – Lars Hupel Copyright © 2011 MATHEMA Software GmbH 16
Kinds – Typkonstruktorennn"Kind" bezeichnet die Struktur eines TypkonstruktorsNotationnn* steht für beliebigen Typ-> steht für Abbildung (in Scala: generische Klasse)Monaden & Co. – Lars Hupel Copyright © 2011 MATHEMA Software GmbH 17
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 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 46 und 47: Heterogeneous Lists - VerwendungnZu
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?