Facundo Domínguez
Facundo Domínguez is a software engineer at Tweag. He has been using Haskell in industry during the last two decades, and he is a long-time contributor to Haskell libraries and GHC. Of late, he has been contributing to Liquid Haskell to make it easier and faster to use until it takes over the world.
Facundo Domínguez is a software engineer at Tweag. He has been using Haskell in industry during the last two decades, and he is a long-time contributor to Haskell libraries and GHC. Of late, he has been contributing to Liquid Haskell to make it easier and faster to use until it takes over the world.
Talks I've Given
-
Typecheck Your Memory Management with Linear Types
Featuring Facundo Domínguez
Join Facundo Domínguez as he discusses using the new language extension LinearTypes to safely manage references to foreign objects/values when integrating Haskell with other languages.
java haskell linear-types memory-management -
Implementing Inline-*
Featuring Facundo Domínguez
In this talk, Facundo will give an overview of the problems that arise when trying to make Haskell inter-operate with other languages in the same address space.
haskell plugins ghc quasiquotations template-haskell ffi