там ручной мемори менеджмент, паттерн-матчинг убогий, фьючеры сейчас есть примерно везде и пользы от них мало, тюплы в статически-типизированных языках только мешаются.
управление памятью там нулевой цены и к нему прибит статический анализатор, т.е. это не низкоуровневей чем dialyzer в erlang , и главное это основная фича языка.
всё остальное - как меняет утверждение, что это не низкоуровневый язык?