ML-family:
- Haskell, Elm, PureScript
- F# (lives in .NET-ecosystem)
- Scala (lives in Java-ecosystem)
LISP Family:
- Hy (lives in Python-ecosystem)
- LISP, Scheme // original LISPs
- Clojure (lives in Java-ecosystem), Racket // modern LISPs
Relevant ideas: code as data, homoiconicity, macros