Ideally I would write my code in a declarative way and the compiler would figure it out. Second to that, the language can allow interior mutability so I can opt

Ideally I would write my code in a declarative way and the compiler would figure it out. Second to that, the language can allow interior mutability so I can optimize.