ivory: add section on Compiler Assurance
smaccm: plan to replace c++ in future, caveats on code comparison
thegood: drawbacks/limitations of using haskell: type system, error reporting, modules