filter_list help_outline
  • Liked Philip Wadler
    keyboard_arrow_down

    Philip Wadler - TBA

    30 Mins
    Talk
    Beginner

    Coming Soon...

  • Liked Bartosz Milewski
    keyboard_arrow_down

    Bartosz Milewski - TBA

    30 Mins
    Talk
    Beginner

    Coming Soon...

  • Liked Edward Kmett
    keyboard_arrow_down

    Edward Kmett / Tony Morris - Let's Lens

    480 Mins
    Introductory Workshop
    Beginner

    Let's Lens presents a series of exercises, in a similar format to the Data61 functional programming course material. The subject of the exercises is around the concept of lenses, initially proposed by Foster et al., to solve the view-update problem of relational databases.

    The theories around lenses have been advanced significantly in recent years, resulting in a library, implemented in Haskell, called lens.

    This workshop will take you through the basic definition of the lens data structure and its related structures such as traversals and prisms. Following this we implement some of the low-level lens library, then go on to discuss and solve a practical problem that uses all of these structures.

  • Liked Edward Kmett
    keyboard_arrow_down

    Edward Kmett - TBA

    30 Mins
    Talk
    Beginner

    Coming Soon...

  • No more submissions exist.
Looking for your submitted proposals. Click here.