There are an increasing number of “safe” and “secure” programming
languages. Many of these are variants on C and C++ that compensate for the
lack of type-safety and memory-safety in those languages. One of the most
widely used is Microsoft’s C#. Even more widely used is Java, which is frequently