Macって、UNIXだし大部分はCとかC++なんじゃね？
開発言語よりも近代になってから互換性を完全放棄してもともと安定感の高いUNIXに強制移行したアドバンテージの方が大きいと思う

あと、動的型付けは遅いからOSの中核には向かないと思うけど