1 - огромное множество библиотек начиная от библиотек для парсинга и заканчивая библиотеками для генерации ллвм/си-кода
2 - мощная система типов, которая позволяет писать максимально обобщённые библиотеки, код из которых в лёгкую композируется между собой
3 - лаконичность кода