Tag:types

All the articles with the tag "types".

• Type Variances (or, Why Maps Are Invariant in Its Key Type)

  Posted on:October 6, 2020

  It took me 2 years of rumination and good-ol’ procrastination to finally get my website back up on its feet. I think I might have more to say…

• Type Safety with Code Generation for Third Party APIs

  Posted on:May 26, 2020

  Runder is a rudimentary clone of CodePen that I wrote to see how much I could accomplish in a span of 24 hours. It leverages on Google Caja’s…