Monaden & Co. Funktionale Konzepte in Scala - Lars Hupel

Empfehlungen

Info

Path-dependent types – Konsequenzennnnnninnere Exemplare zweier verschiedener äußerer Referenzennicht miteinander kompatibelbirgt Probleme bei der Java-InteroperabilitätLösung: ProjektionenOuter#Inner steht für alle Exemplare von Innerin Scala jedoch: reichhaltige neue MöglichkeitenMonaden & Co. – Lars Hupel Copyright © 2011 MATHEMA Software GmbH 38
Path-dependent types – AnwendungnAnwendungsbeispiel: Bereichsdatentypnnneine Objekt ist mit einem Zahlenbereich assoziiertMethoden dieses Objekts sollen nun nur auf Zahlen aus diesemBereich operierenZahlen außerhalb des Bereichs sollen zu Compiler-Fehler führenMonaden & Co. – Lars Hupel Copyright © 2011 MATHEMA Software GmbH 39
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 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?