Talk

Lieber ein Typparameter zu viel als einer zu wenig

So gut wie alle modernen Programmiersprachen erlauben es, Routinen zu parametrisieren über Werte und über Typen. Für Letzteres gibt es verschiedenen Begriffe: “Templates”, “Generics” oder aber “Parametric Polymorphism”. Diese Begriffe sollen hier einmal geklärt werden. Außerdem lernen wir die Vorteile von Typparametern kennen und warum Type Erasure in Java nicht nur richtig, sondern auch notwendig ist.

Schließlich kommen wir auf Philipp Wadlers einflussreichen Artikel “Theorems For Free” zu sprechen, welcher eine Technik beschreibt, mit der wir Aussagen über Programme nur anhand der Typen treffen können.

Date
2019-03-19
Time
14:00 - 14:40
Conference / Event
JavaLand 2019
Venue
Phantasialand, Brühl
  • Slide 1
    1/72
  • Slide 2
    2/72
  • Slide 3
    3/72
  • Slide 4
    4/72
  • Slide 5
    5/72
  • Slide 6
    6/72
  • Slide 7
    7/72
  • Slide 8
    8/72
  • Slide 9
    9/72
  • Slide 10
    10/72
  • Slide 11
    11/72
  • Slide 12
    12/72
  • Slide 13
    13/72
  • Slide 14
    14/72
  • Slide 15
    15/72
  • Slide 16
    16/72
  • Slide 17
    17/72
  • Slide 18
    18/72
  • Slide 19
    19/72
  • Slide 20
    20/72
  • Slide 21
    21/72
  • Slide 22
    22/72
  • Slide 23
    23/72
  • Slide 24
    24/72
  • Slide 25
    25/72
  • Slide 26
    26/72
  • Slide 27
    27/72
  • Slide 28
    28/72
  • Slide 29
    29/72
  • Slide 30
    30/72
  • Slide 31
    31/72
  • Slide 32
    32/72
  • Slide 33
    33/72
  • Slide 34
    34/72
  • Slide 35
    35/72
  • Slide 36
    36/72
  • Slide 37
    37/72
  • Slide 38
    38/72
  • Slide 39
    39/72
  • Slide 40
    40/72
  • Slide 41
    41/72
  • Slide 42
    42/72
  • Slide 43
    43/72
  • Slide 44
    44/72
  • Slide 45
    45/72
  • Slide 46
    46/72
  • Slide 47
    47/72
  • Slide 48
    48/72
  • Slide 49
    49/72
  • Slide 50
    50/72
  • Slide 51
    51/72
  • Slide 52
    52/72
  • Slide 53
    53/72
  • Slide 54
    54/72
  • Slide 55
    55/72
  • Slide 56
    56/72
  • Slide 57
    57/72
  • Slide 58
    58/72
  • Slide 59
    59/72
  • Slide 60
    60/72
  • Slide 61
    61/72
  • Slide 62
    62/72
  • Slide 63
    63/72
  • Slide 64
    64/72
  • Slide 65
    65/72
  • Slide 66
    66/72
  • Slide 67
    67/72
  • Slide 68
    68/72
  • Slide 69
    69/72
  • Slide 70
    70/72
  • Slide 71
    71/72
  • Slide 72
    72/72

Swipe for more

Scroll or use your arrow keys for more

Scroll for more

Use your arrow keys for more

Download Slides