Tag:functional
All the articles with the tag "functional".
Type Variances (or, Why Maps Are Invariant in Its Key Type)
Posted on:October 6, 2020It 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…
Tree Folds
Posted on:August 2, 2020Runder 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…