You can code in whatever can compile to byte code for the EVM. Solidity is typically the language and is statically typed. https://docs.soliditylang.org/en/v0.8.11/types.html