КП
Size: a a a
2020 February 07
оГ
я не понимаю
AH
Как мы знаем тайп экстеншны в том же файле компилится как члены типа сразу
AH
Короче это может не работать если разнести по разным файлам
AH
Что снижает ценность до нуля
AH
А не, это ж экстеншн
AH
Igor
Это downcast и он не проверяется в компайлтайме в отличие от upcast, в доке так написано
Он проверяет что тип справа наследник типа слева. И это в общем единственная проверка при даункасте!
КП
Хотс годная игрушка
Dv
http://degoes.net/articles/insufficiently-polymorphic
Скалошники считают, что нормальные имена переменных — не нужны и даже вредны.
Скалошники считают, что нормальные имена переменных — не нужны и даже вредны.
DS
http://degoes.net/articles/insufficiently-polymorphic
Скалошники считают, что нормальные имена переменных — не нужны и даже вредны.
Скалошники считают, что нормальные имена переменных — не нужны и даже вредны.
Так речь тут про то, что в достаточно параметрически полиморфном чистом коде у тебя очень много информации несёт сигнатура.
Вплоть до того, что в некоторых случаях, реализация такой функции может быть выведена автоматически.
См. parametricity и статью theorems for free!
Вплоть до того, что в некоторых случаях, реализация такой функции может быть выведена автоматически.
См. parametricity и статью theorems for free!
Dv
Так речь тут про то, что в достаточно параметрически полиморфном чистом коде у тебя очень много информации несёт сигнатура.
Вплоть до того, что в некоторых случаях, реализация такой функции может быть выведена автоматически.
См. parametricity и статью theorems for free!
Вплоть до того, что в некоторых случаях, реализация такой функции может быть выведена автоматически.
См. parametricity и статью theorems for free!
Я прочитал статью.
Dv
В ней написано, что нормальные имена переменных — не нужны и даже вредны.
Dv
А вообще-то материал интересный, я потому и принёс.
DS
В ней написано, что нормальные имена переменных — не нужны и даже вредны.
Это вброс для привлечения внимания.
DS
Это же дегуз, он всегда так делает
Dv
Это вброс для привлечения внимания.
Это никакой не вброс, это буквально действительно то, что там написано.
DS
Это никакой не вброс, это буквально действительно то, что там написано.
Но не надо конкретно это всерьез воспринимать
Dv
И, ну, приводятся аргументы в пользу этого утверждения.