André Videla
Functional programmer with an inkling for type theory and category theory.
![selfie.jpg](/assets/img/selfie.jpg?a4c32425934af9be87194bc7bfd272d9)
I’m interested in dependent types, programming languages, user experience and user interfaces, compiler architecture, lenses, quantitative types, and more.
You can find me on discord (identity5193) and mastodon @andrev@types.pl.
Current projects
- Sometimes, I work on Idris2, mostly to resolve the problems that I encounter myself with the language
- My PhD Thesis is about Monadic programming in the category of containers
- I’m interested in the ergonomics and the semantics of programming, in particular servers backends, data description languages, and compilers