Re:26 programming languages in 25 days, Part 2: Reflections ...
by thesz on Tuesday January 03, 2023 @08:10AM
(#34230884)
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.
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.