p
Им динамические вызовы с Any нормально смотрятся
Size: a a a
2020 August 08
AZ
Ну и правильнее будет сказать что тип зависит от терма а не от значения
ну да, я ж картинку вроде кидал
AZ
Просто типами зависящими от типов никого не удивишь
AZ
а вот типы зависящие от *значений* это да
AZ
в итоге если быть до конца точными, то в идрисе "выражения зависят от выражений". Но это как-то слишком абстрактно
Т8
то есть во-первых тип можно сохранить в переменную, во-вторых его можно использовать. На плюсах было бы что-то типа
auto x = int;
x y = 10;А вот такую штуку неплохо было бы в switch () запихнуть, как это сделали в C#
p
Т-34 85
А вот такую штуку неплохо было бы в switch () запихнуть, как это сделали в C#
В крестах нет рефлексии
Т8
В крестах нет рефлексии
В D есть
p
А в расте тоже нет но тут есть АДТ
AZ
Т-34 85
А вот такую штуку неплохо было бы в switch () запихнуть, как это сделали в C#
нельзя такую штуку в switch запинхуть
Т8
нельзя такую штуку в switch запинхуть
Как это "нельзя"? Почему тогда в C# можно проходиться по типу свитчаемой переменной?
AZ
Т-34 85
Как это "нельзя"? Почему тогда в C# можно проходиться по типу свитчаемой переменной?
в шарпе есть typeof() но он не позволяет работать с ним как с типом. Например:
var x = default(typeof(int)) - не скомпилитсяТ8
в шарпе есть typeof() но он не позволяет работать с ним как с типом. Например:
var x = default(typeof(int)) - не скомпилитсяДа, это плохо, но лучше, чем ничего
AZ
Т-34 85
Да, это плохо, но лучше, чем ничего
ты заметил как у нас постоянно разговоры проходят?
AZ
"да тут плохо, да тут криво, здесь копипаста, там небеезопасно.... Но что же тут поделаеееешь?.."
AZ
вот я не хочу чтобы было криво плохо и небезопасно
AZ
поэтому нахожу способы этого избежать
AZ
а тебе и так норм, времени что-то изучить чтобы не косячить у тебя вечно нет
AZ
хотя по времени в чате сколько ты его тратишь я бы не сказал так