SM
Создаётся universe тип (общее представление для любого значения "динамического типа"), которое отличается тегом. В haskell тег это просто номер конструктора
про Data.Dynamic знаю, но там надо to/from касты делать, неудобно
Size: a a a
2020 February 01
AV
Ну это совсем другой подход, ты там должен знать с чем ты работаешь и можешь проверить является ли тип ожидаемым. В общем-то это GHC.Any + словарик Typeable
SM
AV
Туда можно "сложить" любой тип, но работать обобщенно с такими типами и автоматически кастовать один в другой не выйдет, для этого нужно закрытая вселенная типов и правила отображения
M
Много, "динамический" тип в любом динамическом языке реализован как тегированный тип с ограниченными вариантами
В питоне например. Есть много динамических ЯП где есть только один тип - dictionary. Это Lua например
M
Динамическую типизацию можно строить не только на основе теггирования. Теггирование это лишь одна из опций
M
В Lua например используется 1-битовый тег NaN-теггирования и только для ускорения работы с простыми типами, можно было бы обойтись и без этого
M
а в остальном - это все объект, а объект это хэш-таблица
AV
Ну блин тип выше это именно это - тегирование + array + словарь
AV
Который и основывает universe тип, значениями которого является любое значение в языке
M
как представить рекорд или кортеж?
SM
Много, "динамический" тип в любом динамическом языке реализован как тегированный тип с ограниченными вариантами
Почему с огриничеными вариантами?
В питоне например можно в рантайме в петле for классы создавать, и вообще незнаю в каком динамически типированом языке нельзя
В питоне например можно в рантайме в петле for классы создавать, и вообще незнаю в каком динамически типированом языке нельзя
M
Почему с огриничеными вариантами?
В питоне например можно в рантайме в петле for классы создавать, и вообще незнаю в каком динамически типированом языке нельзя
В питоне например можно в рантайме в петле for классы создавать, и вообще незнаю в каком динамически типированом языке нельзя
Да именно
AV
Класс в таком языке это один из вариантов, в котором в поле class будет информация о классе
M
нужна рефлексия
AV
Можно делать сколь угодно сложную систему рантайм тегов, это абсолютно ничего не меняет.
AV
Плохо "тут" слово тег воспринимают как int..
M
Можно делать сколь угодно сложную систему рантайм тегов, это абсолютно ничего не меняет.
Как с помошью тега предаставить кортеж? Как представить вариативный массив?