#static typing #unchanging types #frozen types #type immutability #type system