Gabriel Gonzalez
Expert Overview
Things I'm Doing
Talks I've Given
Gabriel is a Haskell+Nix backend engineer at Awake Security and also the world's biggest Haskell fanboy. In his spare time he evangelizes Haskell on Twitter (@GabrielG439) and via his blog at haskellforall.com. His open source contributions include the State of the Haskell ecosystem, the Turtle scripting library and the Dhall configuration language.
Talks I've Given
-
Keynote: Scrap your Bounds Checks with Liquid Haskell
Featuring Gabriel Gonzalez
Liquid Haskell is a type system extension to GHC that lets you add sophisticated predicates to type signatures. You can use these "refined types" to guarantee the safety of high-performance operations at compile time by eliminating most runtime checks.
haskell haskellx liquid-haskell refinement-types parsing performance