what made it easier for me was to think of it as design by contract. if you start by describing the interfaces, you can basically autocomplete the functionality.

i wrote a driver for an i2c device in rust because i needed to sanity check my c implementation, and after defining the types of each register i wanted to use i could just ignore types entirely because it all became implicit.

not saying i particularly like how much magic there is in rust, just that i get it.