It's not worth the trouble with "write once" programs that you never refactor. I think the problem is that mainstream statically typed programming languages co

It's not worth the trouble with "write once" programs that you never refactor. I think the problem is that mainstream statically typed programming languages come with terrible or non-existing metaprogramming facilities to make up for type constraints. Rust supposedly has good metaprogramming but then it also has a type system that is so obnoxious it's not "worth the trouble in many situations".