7 March 2024
Extending destination-passing style programming to arbitrary data types in Linear Haskell
This blog post presents a safe API for destination-passing style programming using Linear Haskell against arbitrary functional data types.
linear-types
18 January 2024
A look under GHC's hood: desugaring linear types
How GHC's design informs linear types
23 March 2023
Linear Constraints: the problem with scopes
How linear constraints get rid of scope functions and why it matters.
26 January 2023
Linear Constraints: the problem with O(1) freeze
How a linear constraint arrow relates to freezing arrays in Haskell.
17 November 2021
Safe Sparkle: a resource-safe interface with linear types
On design choices to build a resource-safe interface for Sparkle using linear types
8 July 2021
Exploring linear Traversable using generics
What should the type of linear traverse be exactly?
10 February 2021
linear-base makes writing Linear Haskell easy and fun
Announcing linear-base, a standard library for linearly typed Haskell programs.
11 November 2020
Pure destination-passing style in Linear Haskell
Destinations give you control over your memory allocations, and linear types make them pure.
13 July 2020
Qualified do: rebind your do-notation the right way
Announcement of the upcoming QualifiedDo language extension.
19 June 2020
Linear types are merged in GHC
Looking back at the journey which brought us there, and forward to what still lies ahead.
19 February 2020
On linear types and exceptions
A primer on the interaction between linear types and exceptions in Haskell.
6 February 2020
Safe memory management in inline-java using linear types
In this post about inline-java I aim to walk you through the upcoming safe interface of the library, which allows detecting memory management mistakes at compile time using linear types.
16 January 2020
A Tale of Two Functors or: How I learned to Stop Worrying and Love Data and Control
Haskell's Data and Control module hierarchies have always bugged me. Now, I understand that the intuition behind the Data/Control separation is rooted in a deep technical justification.
21 June 2018
Streaming with linear types
8 March 2018
Implementing a safer sort with linear types
29 November 2017
Making two garbage collectors be good neighbours (using linear types)
24 August 2017
Compact normal forms + linear types = efficient network communication
3 August 2017
Encode state transitions in types using linear types
13 March 2017