Go is not statically typed, really. Consider using Haskell, if not Agda. About "type-related programming bugs." I once took endeavour to write cycle-accurate M

Go is not statically typed, really. Consider using Haskell, if not Agda. About "type-related programming bugs." I once took endeavour to write cycle-accurate MIPS CPU simulation in Haskell. Most of the errors I uncovered were easily preventable with the types - mark integers with their size in bits and you will never add instruction pointer to an unaligned offset. Haskell did not had proper types at the time but later I used that trick quite successfully. With the types you can eliminate whole classes of logic errors. They just will not appear before end user.