а
@devoln, а расскажи подробнее про "явную строгую динамическуб типизацию", примеры приведи какие-нибудь, очень интересно что это
Size: a a a
2020 February 25
k
Это будет чистый функциональный язык с явной строгой динамической типизацией. Слышали когда-нибудь о таких?
Строгая динамическая типизация?
k
WTF?
АВ
Я не понимаю что такое "явная строгая динамическая типизация"
это оксюморон какой-то
это оксюморон какой-то
Например есть структура типа:
struct Image
{
Type type;
int width;
int height;
type[width][height] pixels;
}
а
Строгая динамическая типизация?
ты как в этот чат попал?
АВ
В статических языках такое не скомпилится.
k
ты как в этот чат попал?
Давно уже тут
а
АВ
А у меня рантайм-типы.
k
А у меня рантайм-типы.
Ты хотя бы работающий прототип сделал?
AZ
Ты хотя бы работающий прототип сделал?
нет
а
Например есть структура типа:
struct Image
{
Type type;
int width;
int height;
type[width][height] pixels;
}
Такое дженериками легко реализуется
AZ
но всё уже почти готово
KK
Так что, динамической строгой не бывает?..
а
Такое дженериками легко реализуется
struct<T> Image
{
int width;
int height;
T[width][height] pixels;
}AZ
Так что, динамической строгой не бывает?..
бывает. Python
k
бывает. Python
Неявная
а
бывает. Python
Там динамическая
AZ
Неявная
ты читать умеешь?
k
ты читать умеешь?
Да