Since we are reaching the end of Moore's law, there is now an opportunity for language specific processors. Already there are soft core #Lisp, #Pascal, and #Forth processors.
The MIT #CADR Machine is most interesting.
https://tumbleweed.nu/r/lm-3/uv/knight-thesis.html#Typed-Data