A new niche where forth's qualities shine is smart contracts.

Michelson, the language for smart contract on the tezos blockchain is forth like.

It is a pleasure to work with and it is relaricely easy to prove non trivial properties of a specific program.