Structural polymorphism in Generic Haskell
287
Microsoft Research330 тыс
Следующее
07.09.16 – 371:02:31Популярные
33 дня – 3959:39
Опубликовано 7 сентября 2016, 16:04
Using `Generic Haskell`, an extension of the functional programming language Haskell, one can define `structurally polymorphic functions`: functions that take a type argument and are defined by induction on the structure of datatypes. Using this mechanism, functions such as equality, comparison, parsing and pretty printing, but also several forms of traversals and queries on data structures can be expressed. Such functions are defined once, in a type-safe way, and can then be used on all Haskell datatypes. The talk will introduce structural polymorphism in contrast to parametric and ad-hoc polymorphism, both of which are already supported in standard Haskell. The core features of Generic Haskell will be highlighted using several examples of type-indexed functions.
Свежие видео
12 дней – 1 2680:52
16 дней – 90 7958:42
18 дней – 2 79731:13
18 дней – 6210:48
19 дней – 21 2774:50
19 дней – 17 8542:48Случайные видео
183 дня – 1971:05
302 дня – 243 93019:57
27.05.23 – 34 8595:14
25.10.22 – 8 8018:10
17.02.22 – 25 0732:29
12.11.18 – 151 3115:21
6 дней – 4 9501:14
6 дней – 6876:24
10 дней – 1 0600:59
11 дней – 45916:36
11 дней – 1431:49
12 дней – 1181:52
3 дня – 17312:52