Monaden & Co. Funktionale Konzepte in Scala - Lars Hupel

Empfehlungen

Info

Path-dependent types – Zahlbereicheclass Range(begin: Int, end: Int) {class RangeInt private[Range](val n: Int) {def next: Option[Range.this.RangeInt] =if (n < end) Some(new RangeInt(n+1))elseNone}}def first = new RangeInt(begin)def last = new RangeInt(end)class HasRange {val myRange: Range = new Range(1, 10)def func(i: myRange.RangeInt) = println(i.n)}Monaden & Co. – Lars Hupel Copyright © 2011 MATHEMA Software GmbH 40
Path-dependent types – Zahlbereiche> new HasRangeres0: HasRange = HasRange@5b927504> res0.func(res0.myRange.first)1> new Range(11, 20)res1: Range = Range@790f2f3c> res0.func(res1.first)error: type mismatch;found : res1.RangeIntrequired: res0.myRange.RangeInt■Monaden & Co. – Lars Hupel Copyright © 2011 MATHEMA Software GmbH 41
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 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

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?