I first started programming in Haskell at the end of 2001. I’m probably most known for my focus on category theory, programming language theory, type theory, and logic. Generally, I’m interested in languages and perspectives on topics that make them more manageable.
This talk covers two ideas from completely different worlds: quotient types from dependent type theory and behavioral reflection from dynamic programming languages. Each is covered in an introductory manner independently. The final part of the talk then presents some ideas and suggestions on what the combination might look like or allow.