Every type is defined by its intro and elim forms – Jake Zimmerman
https://blog.jez.io/intro-elim/
·
I took a course about programming languages in college. It was a very theory-oriented course, but as it turned out I learned more about how to write software from this theory course than many of my peers who took our school's software engineering elective.