Some of the most interesting comments are out of: "3. Why Isn't SQLite Coded In A "Safe" Language?" "....Safe languages insert additional machine branches to d

Some of the most interesting comments are out of: "3. Why Isn't SQLite Coded In A "Safe" Language?" "....Safe languages insert additional machine branches to do things like verify that array accesses are in-bounds. In correct code, those branches are never taken. That means that the machine code cannot be 100% branch tested, which is an important component of SQLite's quality strategy..." "...Safe languages usually want to abort if they encounter an out-of-memory (OOM) situation. SQLite is designed to recover gracefully from an OOM. It is unclear how this could be accomplished in the current crop of safe languages..."