> It is _not_ a safe language. To do anything interesting you will require unsafe blocks.

This is largely untrue. You can use proven abstractions over 99% of cases that would require unsafe.