Haskell is one I haven't used yet. The closest I've come to that is a weekend fling with OCaml... much respect for the ML work though!
I hear you for the complexities in J though. I've intentionally limited k-synth to single letter upper case variables and the verbs are also one character... I might regret this at some point.
Have fun! It makes the world a better place!