Safety features of the Hare programming language

Hare offers many important advances over its main inspiration, C, when it comes
to safety features. These features prevent the programmer from making mistakes,
ideally without preventing them from doing what they want to do. Some of these
features reduce the risk of classic security problems, such as buffer overflows,
but they are generally designed with the broader hope of reducing the risk of
your program having bugs of any kind. After all, any bug can become a security
vulnerability under the right conditions.