- J: https://www.jsoftware.com/#/ you'll learn arbitrary dimension arrays, verb composition and more
- Lisp: I don't know the right Lisp to recommend. Macros stand out as something to learn
- Forth: I don't know the right Forth to recommend. The stack is an interesting metaphor
- A constraint-based language: maybe https://www.minizinc.org constraints are super interesting
Those are all practical languages -- none is esoteric just for the sake of strangeness.There are more of course.