Vortrag

Theorems for Free

In the typed functional programming communities, there is much talk about „reasoning with types“. But rarely is this elaborated into something concrete. Just how can we extract tangible information from types beyond playing mere type tetris? The secret sauce is called parametricity, first described by John C. Reynolds, and later applied to Haskell by Philip Wadler in his seminal paper „Theorems for free!“.

An dieser Stelle möchten wir Dir gerne ein YouTube Video anzeigen. Um es zu sehen, musst Du dem Laden von Fremdinhalten von youtube.com zustimmen.

Datum
11.09.2020
Uhrzeit
12:00 - 13:00
Online Event
Virtual MuniHac 2020
  • Folie 1
    1/49
  • Folie 2
    2/49
  • Folie 3
    3/49
  • Folie 4
    4/49
  • Folie 5
    5/49
  • Folie 6
    6/49
  • Folie 7
    7/49
  • Folie 8
    8/49
  • Folie 9
    9/49
  • Folie 10
    10/49
  • Folie 11
    11/49
  • Folie 12
    12/49
  • Folie 13
    13/49
  • Folie 14
    14/49
  • Folie 15
    15/49
  • Folie 16
    16/49
  • Folie 17
    17/49
  • Folie 18
    18/49
  • Folie 19
    19/49
  • Folie 20
    20/49
  • Folie 21
    21/49
  • Folie 22
    22/49
  • Folie 23
    23/49
  • Folie 24
    24/49
  • Folie 25
    25/49
  • Folie 26
    26/49
  • Folie 27
    27/49
  • Folie 28
    28/49
  • Folie 29
    29/49
  • Folie 30
    30/49
  • Folie 31
    31/49
  • Folie 32
    32/49
  • Folie 33
    33/49
  • Folie 34
    34/49
  • Folie 35
    35/49
  • Folie 36
    36/49
  • Folie 37
    37/49
  • Folie 38
    38/49
  • Folie 39
    39/49
  • Folie 40
    40/49
  • Folie 41
    41/49
  • Folie 42
    42/49
  • Folie 43
    43/49
  • Folie 44
    44/49
  • Folie 45
    45/49
  • Folie 46
    46/49
  • Folie 47
    47/49
  • Folie 48
    48/49
  • Folie 49
    49/49

Nach links wischen, um ggf. weitere Folien zu sehen

Scrollen oder die Pfeiltasten nutzen, um ggf. weitere Folien zu sehen

Scrollen, um ggf. weitere Folien zu sehen

Die Pfeiltasten nutzen, um ggf. weitere Folien zu sehen

Folien downloaden