The Programming Languages Zoo

Two powerful, mind-bending items missing from the list of paradigms: (1) Dependent types. c.f Idris (or Agda, or others -- but Idris). (2) Logic programming. (It appears in the list of languages ("miniprolog") but not the list of paradigms.) I consider both of these much more important than some of the more popular paradigms (object-oriented, procedural, dynamic typing -- if I never use such a language again it'll be too soon).

The primary (?) author of this site (Andrej Bauer) is a professor at the University of Ljubljana. I'm currently in his Principles of Programming Languages course and I have to say, it is the one and only "theoretical" CS subject that I've really enjoyed! Old recordings of his other classes are also the only thing that helped me actually understand proofs of program correctness last semester. Seriously, I went through all our lectures and basic materials twice and still didn't…

Made me think about this book https://webperso.info.ucl.ac.be/~pvr/book.html where the author creates a mini language and extends it in many different paradigms.