Software EngineerRed Hat
Fraser works at Red Hat on the FreeIPA identity management system,
Dogtag Certificate System and related projects. He's interested in security,
cryptography and functional programming. Jalapeño aficionado.
Talks I've Given
-
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...
case-study -
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...
case-study -
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...
practice -
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...
practice -
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...
concept