André Videla
Functional programmer with an inkling for type theory and category theory.
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