That really makes a case for functional languages and commenting your code, doesn't it?

SimpleX actually has some of its cryptography written in Haskell IIRC, and OCaml is another good option that's a little more pragmatic in its design.