For the exact reasons the pi-dividers complain about, the planes, in fact, do not crash. Pi-dividers: Please do not apply for a job where my money or my life will depend on your code.
comment from this blog post.
#ada #programming #types #safety #code #pi #typing