Матемаг, да, да! Больше типизации богу типизации! А ещё сверху навернём тестов! Те же замеры времени работы программы типами никак не сделать...