16+ years of gists
Looking back at 16 years of GitHub gists.
Gabriel Garcia Torrico
I'm a software engineer based in Amsterdam.
Latest posts
GHC Generics in Java via associated types
Extending my type class resolution library to support an approximation of associated types, so that I can build something like GHC Generics for Java.
Full Haskell-like Type Class resolution in Java
Typeclasses, Higher-Kinded Types, and Overlapping Instances in Pure Java: A post about re-implementing a mini Haskell in Java, using reflection, generic metadata, and type unification.
Calling Haskell from Java
I put together a self-contained example that calls compiled Haskell from Java using the new Foreign Function & Memory API from JEP 454.
Compiling Go to WASM
I share my experience compiling Go to WASM for a side project.
TypeScript and Haskell: Unions & Singletons
I briefly explore union types and singleton types in Haskell and TypeScript.
Understanding Go generics
A complete brain dump of my understanding of Go generics at the time.
Understanding Go interfaces
I explore the implementation details of Go interfaces.
Programming with Units
I describe a code meta-pattern that I have developed and applied in the last year.
My Programming Principles in 2020
This is rough brain dump of several principles/ideas that I applied in 2020 while working at Uber.