> Type Safe = Imponderable. Better: * Type Safe = Almost type safe. You can cast them away. * Memory Safe = Almost memory safe. Ignore the stack overflows.

> Type Safe = Imponderable. Better: * Type Safe = Almost type safe. You can cast them away. * Memory Safe = Almost memory safe. Ignore the stack overflows. * Concurrency Safe = Almost concurrency safe. Only deadlocks are left. And it's blocking.