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.
I'm a student at Faculdade de Ciências e Tecnologia in Lisbon, currently writing my Master thesis on type-checking linear types in the Glasgow Haskell Compiler's Core. I work at Well-Typed as part of the GHC Team.
I try to write interdisciplinary articles, am a Haskell enthusiast and GHC contributor. Besides the thesis and work, I'm developing a shader-centric and type-heavy 3d renderer / game engine, trying to get e-graphs into GHC, and learning Music Theory. You can find below my latests posts.
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.
Improving GHC's configuration logic and cross-compilation support with the brand new ghc-toolchain
tool.
A short write-up on combining digraphs, a feature built-in to vim, and Haskell's UnicodeSyntax
extension, to easily write beautiful Haskell programs with unicode symbols.
I've been working the past month or two in a shader-centric, type-heavy 3d-renderer/game engine, written in Haskell. In this post I present some of the current implementation details and pictures of the multiple achievements and progress done so far.
A first tutorial for equality saturation with hegg, a library of e-graphs and fast equality saturation written in Haskell. This tutorial implements a symbolic manipulation library using hegg.
This is the second of two parts on creating interactive graphical applications with functional programming, in Haskell; this second part, using Functional Reactive Programming through reflex
, and how it can be used to build a DOM-based interactive UI.