i suppose by "exotics" he/she means - Theorems for Free languages: haskell, scala, ocaml, - lisps: CL, Scheme/racket, clojure - logic programming/unification

i suppose by "exotics" he/she means - Theorems for Free languages: haskell, scala, ocaml, - lisps: CL, Scheme/racket, clojure - logic programming/unification: prolog, mercury - stack-based/concatenative: joy, forth, factor - O-O paradigm: D, eiffel, smalltalk, scala(again) - others I keep hearing about: Golang, rust, kotlin, Mozart/oz