Name: BFPG Monthly Meetup - YLJ Practice Run Edition
Start: 2019-05-07T17:45:00+10:00
End: 2019-05-07T19:45:00+10:00
Location: Data61/CSIRO Fortitude Valley

Lambda Jam Practice runs. Please note that it is a week earlier since lambda jam is the next week when we'd normally have our meetup.

Infinite Scroll: Lazy Lists in the Brick TUI Library - Fraser Tweedale
-----------------------------------------------------------------------------------

The Brick terminal UI library provides a rich library of widgets for building console applications in Haskell. These include a list widget, which uses a packed vector type under the hood: a major problem when working with lists that are very large or expensive to compute.

In this case study I will review, step by step, how I generalised Brick's list widget to admit different underlying container types and achieved lazy loading of list items. The presentation will address several topics including:

- The advantages of more general (polymorphic) code, including parametricity
- Ensuring adequate test coverage before refactoring or generalising
- Maintaining backwards compatibility
- Assessing and documenting asymptotic performance
- Using Brick list widget in a real-world application (purebred MUA) for lazy loading where I/O is involved
- How to evaluate a lazy structure in the background (and why you might want to)
- Can we really achieve infinite scroll, or is my presentation title just clickbait?

There will code examples and live demos to justify the work that was done, and show the pleasing results. The presentation uses Haskell exclusively but principles and advice for generalising code apply to many languages.

Ben Kolera

Brisbane Functional Programming Group (BFPG)

Technology

Functional Programming

Programming Languages

Scala

Haskell

Erlang Programming

Computer Programming

OCaml Programming