Serguey Zefirov (thesz) wrote,
Serguey Zefirov
thesz

А еще у зависимых типов проблемы с перегрузкой.

Выводы по чтению вот этой статьи. До конца я не дочитал, однако.

Пример перегруженного значения с проблемой: πn.{πn.array [n] of char, array [3] of char}.

Проблема заключается в том, что для определенного n (n==3) появляется неоднозначность выбора между значениями.

Что нехорошо. ;)

PS
Создается нехорошее впечатление, что вывод типов в стиле ХМ - лучшее, что есть на данный момент.

Чуть шагнешь в сторону и начинаются проблемы то с одной полезной стороной системы типов, то с другой.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 33 comments