Thanks for a great explanation of a weird topic, that I’ve struggled to do put into words! I’ve had a few similar experiences in my humble programming educatio

Thanks for a great explanation of a weird topic, that I’ve struggled to do put into words! I’ve had a few similar experiences in my humble programming education. The first was at uni, having to learn c, c++ and python in one semester, after only using java for the first two semesters. (And a tiny bit of php and visual basic before that) The second was exposure to scheme/racket and real functional programming. The third time was the most amazing mix of haskell, type theory, lambda calculus, logics, agda, category theory, proof theory, model theory and just theoretical computer science in general. It leaves you with this wonderful and strange view of programming, without any of the concrete computational models.