Infinite Scroll: Lazy Lists in the Brick TUI Library

Featuring 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...

Taming the C monster: Haskell FFI techniques

Featuring Fraser Tweedale

Haskell has a powerful foreign function interface (FFI) for interfacing with C libraries. Haskell is a great language for building libraries and tools, but interoperability requirements or time constraints can make the FFI a compelling option.

Binding to a non-trivial C library presents several...

Performant Polymorphism: Rewrite Rules in Haskell

Featuring Fraser Tweedale

GHC usually does an excellent job of transforming well written Haskell code into efficient machine code, but sometimes “fast” is not “fast enough”. Common optimisation techniques when dealing with concrete data types often do not apply to polymorphic data and functions. A...

Unified Parsing and Printing with Prisms

Featuring Fraser Tweedale

Parsers and pretty printers are commonly defined as separate values, however, the same essential information about how the structured data is represented in a stream must exist in both values. This is therefore a violation of the DRY principle – usually quite an obvious one (a cursory...

Software Foundations Workshop

Featuring Fraser Tweedale

The Software Foundations syllabus first teaches theorem proving in Coq, without any prerequisites other than basic functional programming. It then gives a broad introduction to Programming Language Theory, completely formalised in Coq. Created by Benjamin Pierce and co-contributors at the...