История изменений
Исправление
paramon,
(текущая версия)
:
но разве это должно быть частью системы типов, а не задаваться алгоритмически?
В идеале все что можно должно быть вынесено в типы, это дает возможность проверить свойства какого нибудь значения (и улучшить компиляцию, например зная что значение не может быть больше 10 можно вместо динамического создать статический на 10 элементов, много места не займет но будет быстрее, пример не очень но думаю понятно), совмещать типы итд.
Исправление
paramon,
:
но разве это должно быть частью системы типов, а не задаваться алгоритмически?
В идеале все что можно должно быть вынесено в типы, это дает возможность проверить свойства какого нибудь значения, совмещать типы итд.
Исходная версия
paramon,
:
но разве это должно быть частью системы типов, а не задаваться алгоритмически?
В идеале все что можно должно быть вынесено в типы, плюсов в таком подходе я не вижу, ну это если есть блоки которые исполняются и проверяют все во время компиляции.