Я вот тоже насмотрелся на прелести статической типизации в Си, и теперь для себя его за язык не считаю. В Сях нет никаких прелестей статической типизации, там просто "конструктор на 100000 деталей: собери мост из скрепок"
А чем тебе статика в ассемблерном фреймворке не нравиться?