If I were actually smart I'd use something like Idris or Coq. But it's just software development, not rocket surgery. I'm good with being dumb.