Bio
A long time enthusiast for type level and generic programming in Scala. A few years back worked on getting a decent chunk of Shapeless 2 ported to Scala 3 PR as part of my Google Summer of Code project (though sadly it is blocked by Scala 3 bugs). Since then I have worked on developing perpsective further, and writing my master’s thesis about it, and the ideas it provides. A master thesis I recently finished and got a grade of A for.