Эппл на смену ОбжективСи выкатывает новый язык Свифт, который (надо же!) при целочисленном переполнении умеет бросать исключения, автоматически управляет памятью и проверяет границы массивов.
Указание типов переменных при объявлении является необязательным.

http://en.wikipedia.org/wiki/Swift_(App ... g_language)
https://developer.apple.com/swift/