The most probable language that’s safe enough to be adopted by Bitcoin is Simplicity. It’s based on algebraic data types, tries to be a superset of the Bitcoin

The most probable language that’s safe enough to be adopted by Bitcoin is Simplicity. It’s based on algebraic data types, tries to be a superset of the Bitcoin scripting language, but still guarantee a verification time that’s linear to the program length (not Turing complete)