M
В JS я могу в массив положить любое колличество разных типов
Size: a a a
2020 February 01
AV
Вот строка кода, котороую я процитировал, в ней представлен кортеж и следующая в которой представлен массив
AV
Я просто не знаю, мне нужно объяснять как это работает и почему?
M
Vector<Dynamic> это конечно хорошо, но как только я захочу положить туда скажем кортеж из (Dynamic, Dynamic) мне придется расщирять определения этого типа
А
AV
Если вы хотите поддерживать в языке кортежи, то вы сделаете
Tuple Int (Vector Dynamic)AV
Как вариант вы договоритесь, что они представляются как словарь с ключами "1","2", "3"
E
Не понял где там динамика то?
Ela combines strict and lazy evaluation, dynamic typing and features, which are normally adopted by statically typed languages, such as algebraic data types and Haskell style type classes.
А
Eugene
Ela combines strict and lazy evaluation, dynamic typing and features, which are normally adopted by statically typed languages, such as algebraic data types and Haskell style type classes.
Странно в общем
AV
Но это правила вашего языка, в "питоне", у вас есть кортежи и есть подобный конструктор, в "пхп" нет, и вы пользуетесь словарём. Но основной смысл остаётся - любое значение в динамическом языке представляется как подобная структура
AV
В отличии от, скажем с++, где вам радостно может прийти набор байт и это можно интепретировать как какой-то конкретный тип, в динамическом языке любой набор байт типом не будет. Он должен быть представлен в обобщенной форме
E
Странно в общем
это довольно старый язык, как минимум лет 10 назад он уже был, кто-то из RSDN его пилил
M
В том то и дело, что прилется все структуры конвертировать в HashTable. А теперь возьмем люмбду или функцию например, Где кстати в том Variant Func тип?
M
Короче, я хочу сказать, что каждый раз вам придется совершенствовать свой тип Variant =)
AV
MaxGraey
Короче, я хочу сказать, что каждый раз вам придется совершенствовать свой тип Variant =)
С этим спорить не собираюсь 🙂
M
В динамически типизированных ЯП вам этого делать не придется
AV
Ну да, там это уже сделано с какой-то степенью удобства
А
Eugene
это довольно старый язык, как минимум лет 10 назад он уже был, кто-то из RSDN его пилил
Он ещё и выглядит как хаскель, никаких динамических штук я там вообще не увидел. Например, могу ли я алгебраический тип в рантайме создать?
M
В динамическом типе вы пожете динамически удалить или добавить поле
AV
Вот тут проблемы не вижу