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.
Abstract - perspective demonstrates a new way of doing generic programming that is intuitive, type safe, and extensible. perspective attains simplicity by using features like first-class typeclasses and higher kinded data to express its transformations.