ЕС
Лет через 10 может появиться.
Size: a a a
2020 June 29
ЕС
Но с завтипами слишком много проблем, а ресерча совсем мало.
SP
А теперь объясняю на пальцах. Допустим у нас есть некий код:
foo = let a = 10 in a
Итак, давайте подумаем какой тип у переменной a. Вспомним определение типа: тип - это множество значений, которые принимает переменная. Посмотрим на пример. Логично предположить, что a имеет тип { 10 }. Но! Она имеет тип Int. То есть компилятор на полном серьезе считает что 'а' может быть в данном случае -268. Поразительно, не правда ли?
foo = let a = 10 in a
Итак, давайте подумаем какой тип у переменной a. Вспомним определение типа: тип - это множество значений, которые принимает переменная. Посмотрим на пример. Логично предположить, что a имеет тип { 10 }. Но! Она имеет тип Int. То есть компилятор на полном серьезе считает что 'а' может быть в данном случае -268. Поразительно, не правда ли?
в данном случае тип 10, да, и тебе приходится изза несовершенства языков откатываться к динамике увеличивая возможные варианты до инта
ты снова ошибаешься говоря что расстояние от 10 до инта такой же огромное как и расстояние от инта до Option<Int> или int| float или UserModel vs user_id
ты снова ошибаешься говоря что расстояние от 10 до инта такой же огромное как и расстояние от инта до Option<Int> или int| float или UserModel vs user_id
ЕС
в данном случае тип 10, да, и тебе приходится изза несовершенства языков откатываться к динамике увеличивая возможные варианты до инта
ты снова ошибаешься говоря что расстояние от 10 до инта такой же огромное как и расстояние от инта до Option<Int> или int| float или UserModel vs user_id
ты снова ошибаешься говоря что расстояние от 10 до инта такой же огромное как и расстояние от инта до Option<Int> или int| float или UserModel vs user_id
Разница между Int и Option<Int> всего лишь на единицу
SP
Разница между Int и Option<Int> всего лишь на единицу
нет. разница в том будет ли у тебя лишние ифы в десятке мест или нет
ЕС
И я не утверждал ничего такого.
ЕС
нет. разница в том будет ли у тебя лишние ифы в десятке мест или нет
Давай ты сожжешь сам свое соломенное чучело.
SP
ану ану
SP
по твоему Option<Int> не требует дополнительной логики почти всегда?
ЕС
Давай ты сожжешь сам свое соломенное чучело.
this
ЕС
Я ничего подобного не утверждал.
ЕС
Когда я смогу иметь в поле рекорда число от -10 до 5 при этом с полным затиранием завтипов и без свистоплясок, можно будет говорить что статика хороша. До тех пор, это неполноценная вещь.
DS
А теперь объясняю на пальцах. Допустим у нас есть некий код:
foo = let a = 10 in a
Итак, давайте подумаем какой тип у переменной a. Вспомним определение типа: тип - это множество значений, которые принимает переменная. Посмотрим на пример. Логично предположить, что a имеет тип { 10 }. Но! Она имеет тип Int. То есть компилятор на полном серьезе считает что 'а' может быть в данном случае -268. Поразительно, не правда ли?
foo = let a = 10 in a
Итак, давайте подумаем какой тип у переменной a. Вспомним определение типа: тип - это множество значений, которые принимает переменная. Посмотрим на пример. Логично предположить, что a имеет тип { 10 }. Но! Она имеет тип Int. То есть компилятор на полном серьезе считает что 'а' может быть в данном случае -268. Поразительно, не правда ли?
Ты хочешь невозможного в общем случае, если ты говоришь про вывод типов. Потому что вывод типов в присутствии зависимых типов физически не возможен.
DS
По более-менее очевидным причинам
ЕС
К слову статика идёт рядом с парсингом. Когда в языках начнет отсутствовать валидация, и будет только парсинг, тогда можно сказать что статическая типизация победила.
ЕС
Ты хочешь невозможного в общем случае, если ты говоришь про вывод типов. Потому что вывод типов в присутствии зависимых типов физически не возможен.
По хиндли миднера это спокойно выводится, если бы число 10 имело тип 10 а не Int
SP
Когда я смогу иметь в поле рекорда число от -10 до 5 при этом с полным затиранием завтипов и без свистоплясок, можно будет говорить что статика хороша. До тех пор, это неполноценная вещь.
ты утверждаешь что типы не ограничивают data cadinality (сорри не помню точный термин) в *достаточной для тебя мере*. но идея их в том чтобы ограничить её в достаточной мере для кода. чистый тип инт отметает миллион проверок и этим он ценен. если у тебя код требует разделения инта на множества ты всегда можешь сделать ньютайп
ЕС
ты утверждаешь что типы не ограничивают data cadinality (сорри не помню точный термин) в *достаточной для тебя мере*. но идея их в том чтобы ограничить её в достаточной мере для кода. чистый тип инт отметает миллион проверок и этим он ценен. если у тебя код требует разделения инта на множества ты всегда можешь сделать ньютайп
Ньютайп будет NewInt(Int)
ЕС
Который ничем не отличается от обычного инта.
DS
По хиндли миднера это спокойно выводится, если бы число 10 имело тип 10 а не Int
Как только ты захочешь что-то больше, чем просто литеральные типы (которые в той же скале есть и выводятся, если это нужно), то возможность выводить типы повсюду ты потеряешь.
И да, даже чуть сильнее система типов, чем у хаскель 98 и т.п. и вывод типов становится невыводимым.
И да, даже чуть сильнее система типов, чем у хаскель 98 и т.п. и вывод типов становится невыводимым.