Lazy Linearity for a Core Functional Language (POPL 2026)
A brief announcement about my first paper published to the POPL conference
Welcome to Romes' Musings
I work at Well-Typed as part of the Glasgow Haskell Compiler Team. I've got a Master's degree from Faculdade de Ciências e Tecnologia in Lisbon -- the thesis was on type-checking linear types in GHC's Core and throughout its optimisation pipeline.
I try to write interdisciplinary articles, am a Haskell enthusiast and GHC contributor. Besides work, I'm developing a language to design distributed algorithms, a shader-centric and type-heavy 3d renderer / game engine, trying to get e-graphs into GHC, and recently have been working on a deck of cards to learn Japanese. You can find below my latest posts.
Automatically Packaging a Haskell Library as a Swift Binary XCFramework
Announcing xcframework or: the happy path for wiring a Haskell dependency to your Swift app
Implementing Unsure Calculator in 100 lines of Haskell
Implementing a calculator with normal ranges, embedded in Haskell, using a simplified probability monad.
Planning Weekly Workouts in 100 lines of Haskell
A lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.
Calling Haskell from Swift
Crossing the language boundary between Haskell and Swift. This is the second part of an in-depth guide into developing native applications using Haskell with Swift.
Computed Properties for Haskell Records
Adding computed properties to Haskell record types -- probably a new Haskell anti-pattern!
Creating a macOS app with Haskell and Swift
First part of an in-depth guide into developing a native macOS application using Haskell with Swift and SwiftUI. This part covers the set-up required to call Haskell functions from Swift in an XCode project using SwiftUI.
Introducing ghc-toolchain to GHC
Improving GHC's configuration logic and cross-compilation support with the brand new ghc-toolchain tool.