[thelollies]

I wonder if a language like Haskell with a strong type system and strict typing could help. If you were able to express exchange of currency with the type system.

[codygman]

I'm pretty sure you can do that. See units in F# for example.