Also, unpredictable program behavior (which nearly destroys its usefulness in embedded beyond what perhaps Galois has been doing).
http://blog.ezyang.com/2011/05/space-leak-zoo/
The series require Haskell knowledge but this summary is fairly readable if you have a good grounding on programming language theory and implementation.
Also, unpredictable program behavior (which nearly destroys its usefulness in embedded beyond what perhaps Galois has been doing).