There are quite a few Haskell and Haskell-like languages in blockchain, as well as quite a few ML-style languages, and at least two Scheme dialects that I've worked on for clients.
There are also a number of languages and ecosystems that remove Turing completeness in a formal way, as opposed to how Ethereum does it(with burning lots of money to halt). It’s definitely an interesting space for languages and tooling, that’s for sure.
Q. How many Prolog programmers does it take to change a lightbulb?