Why programs written in Nice have less bugs
Daniel Bonniot, the creator of the Nice language, wrote an overview of some of the safety properties of Nice. It's a good introduction to some of the problems that Nice and other languages with stronger-than-average type systems can solve.