Здравствуйте, vsb, Вы писали:

vsb>Вот эту программу компилятор Swift откомпилировать не может и падает с ошибкой

У меня не падает. Показывает реальную ошибку в коде. И если написать код нормально, то компилируется все мгновенно и работает.


Я читал, что из-за того, что они разрешили overloading и пытаются с ним типы выводить, это приводит к тормозам компиляции. Но сам пока ничего такого не наблюдал, моя программа компилируется супербыстро.

Здравствуйте, vsb, Вы писали:

vsb>Вот эту программу компилятор Swift откомпилировать не может и падает с ошибкой

У меня не падает. Показывает реальную ошибку в коде. И если написать код нормально, то компилируется все мгновенно и работает.


Я читал, что из-за того, что они разрешили overloading и пытаются с ним типы выводить, это приводит к тормозам компиляции. Но сам пока ничего такого не наблюдал, моя программа компилируется супербыстро.

vsb>это никак не исправить, это by design

Если чуть строже язык сделать, убрать кое-какие неоднозначности/оверлоадинг, наверняка можно исправить. Вон в OCaml, Haxe, Elm тот же Хиндли-Милнер вывод типов, и все очень быстро типизируется и компилируется.