Haskell Debugger for GHC 9.14
Announcing the brand new Haskell Debugger, which I've been working on for the past year. It is first compatible with GHC 9.14.
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.
Announcing the brand new Haskell Debugger, which I've been working on for the past year. It is first compatible with GHC 9.14.
A brief announcement about my first paper published to the POPL conference
Announcing xcframework or: the happy path for wiring a Haskell dependency to your Swift app
Implementing a calculator with normal ranges, embedded in Haskell, using a simplified probability monad.
A lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.
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.
Adding computed properties to Haskell record types -- probably a new Haskell anti-pattern!
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.