The dominant language for EVM smart contracts — statically typed, compiled to bytecode, and deployed to an address where the code is public and, by default, permanent.
The language is small; the discipline is not. Code that would be a minor bug in a backend is an unrecoverable loss on-chain, because there is no hotfix after deployment.
We write contracts with explicit access control, unit and fork tests against real chain state, gas profiling, and an upgrade or pause path agreed before deployment — not improvised during an incident.