TK
Не доводит до конца, ленится
Size: a a a
2021 April 17
AN
Ооо. т.е. это отличается от обычной типизации этим вашим Хиндлей-Милнер. Ведь чтобы скомпилировать нам надо все типы узнать.
TK
Жалуются только, и даже конкретно не могут выразить претензию
AN
а тут какая то полумера, или что? я запутался.
D
Почему никто не забросил формальную верификацию с появлением раста?
TK
Тут нет фп системы вывода типов, неявно выводятся только лайфтаймы
AN
ну как нету. я могу оба варинта делать
let v: Vec<_> = (...).collect() я думал тут такая же логика.TK
Потому что раст не занимается формальной верификацией и даже не предназначен для неё
TK
Он только смотрит: "Ага, нужно собрать вектор, и тип элементов известен"
TK
И видит только напрямую, не взад-вперёд
AN
для меня это уже взад. потому что rhs выводим через lhs
D
Потому что всем не важно как там внутри, опять же, либо ты пишешь ансейф, либо прогаешь на питоне в другом синтаксе, и там и там ничего тебя не страхует от логических ошибок
AN
кароче с лайфтаймами получается так не работает. потому что у нас всегда остаются свободные параметры внутри.
AN
кароче какая то херня не ясная. Почему нельзя если 'a='static то всё идите нафиг?
TK
Либо
1. Согласен
2. Не совсем. На более удобном в использовании и разительно более производительном языке.
1. Согласен
2. Не совсем. На более удобном в использовании и разительно более производительном языке.
ID
Чем отличаются undefined и unspecified поведения?
D
Да в итоге все дело в выразительности, все верно
p
Первое это значит что поведение НЕИЗВЕСТНО а второе что поведение ИЗВЕСТНО но НЕ ЗАПИСАНО в спеке
ID
Спасибо