Forwarded from Linker Unsafe
Велика сила утиной типизации
===
Oleg ℕizhnik, [23.07.20 15:29]
[In reply to Александр Меньшиков]
утиная типизация - это принцип моделирования, он в голове моделирующего работает.
Работает примерно так "эти две вещи круглые, их диаметр меньше 10 см, значит вполне логично положить каждую из них в стеклянную литровую банку", даже если это фонарик и полулитровая стеклянная банка
"А если диаметр чего-то из них больше 10 см, или вещь не круглая, ничего страшного у меня есть динамическая типизация, благодаря которой банка треснет, когда я буду класть в неё неподходящую вещь. Очень удобно, какой я продуктивный"
Дальше ты рассуждаешь "я взял из этой банки вещь, она наверняка круглая и диаметром меньше 10 см, очень хороший инструмент для раскатки теста ,иначе тесты бы упали"
В результате ты вытаскиваешь из банки книгу фуко, опасную бритву, катаешь тесто, приготовленное из машинного масла и комков пыли, отрезаешь себе пальцы, окровавленными обрубками ставишь получившееся "тесто" со страницами зарождения биополитики в стиральную машину и ждёшь.
Спустя час получаешь таймаут, и начинаешь отлаживать
===
https://news.1rj.ru/str/ebanatics_learn/29351
===
Oleg ℕizhnik, [23.07.20 15:29]
[In reply to Александр Меньшиков]
утиная типизация - это принцип моделирования, он в голове моделирующего работает.
Работает примерно так "эти две вещи круглые, их диаметр меньше 10 см, значит вполне логично положить каждую из них в стеклянную литровую банку", даже если это фонарик и полулитровая стеклянная банка
"А если диаметр чего-то из них больше 10 см, или вещь не круглая, ничего страшного у меня есть динамическая типизация, благодаря которой банка треснет, когда я буду класть в неё неподходящую вещь. Очень удобно, какой я продуктивный"
Дальше ты рассуждаешь "я взял из этой банки вещь, она наверняка круглая и диаметром меньше 10 см, очень хороший инструмент для раскатки теста ,иначе тесты бы упали"
В результате ты вытаскиваешь из банки книгу фуко, опасную бритву, катаешь тесто, приготовленное из машинного масла и комков пыли, отрезаешь себе пальцы, окровавленными обрубками ставишь получившееся "тесто" со страницами зарождения биополитики в стиральную машину и ждёшь.
Спустя час получаешь таймаут, и начинаешь отлаживать
===
https://news.1rj.ru/str/ebanatics_learn/29351
Telegram
Oleg ℕizhnik in Задачник по ебанатике или "Что такое ФП"
утиная типизация - это принцип моделирования, он в голове моделирующего работает.
Работает примерно так "эти две вещи круглые, их диаметр меньше 10 см, значит вполне логично положить каждую из них в стеклянную литровую банку", даже если это фонарик и полулитровая…
Работает примерно так "эти две вещи круглые, их диаметр меньше 10 см, значит вполне логично положить каждую из них в стеклянную литровую банку", даже если это фонарик и полулитровая…
Магия это плохо, если не вротмненоги. Столкнулся с такой фишечкой Go, когда он вызывает функции сам, заглядывая в будущее (а именно на следующие строки кода).
Это приятно, что компилятор знает о предстоящих действиях, но это так же напрягает из-за неявных допущений.
Хоть и пример о принтах и явные объявления прмных такое бы не пропустили(ведь да?), некое ощущение тревоги остаётся.
https://play.golang.org/p/NVnOiGHl1i9 (пойду за ведром)
Это приятно, что компилятор знает о предстоящих действиях, но это так же напрягает из-за неявных допущений.
Хоть и пример о принтах и явные объявления прмных такое бы не пропустили(ведь да?), некое ощущение тревоги остаётся.
https://play.golang.org/p/NVnOiGHl1i9 (пойду за ведром)
Forwarded from oleg_log (Oleg Kovalov)
Магия это плохо, если не вротмненоги. Столкнулся с такой фишечкой Rust, когда он выводит тип сам, заглядывая в будущее (а именно на следующие строки кода).
Это приятно, что компилятор знает о предстоящих действиях, но это так же напрягает из-за неявных допущений.
Хоть и пример о константах и явные вызовы фций такое бы не пропустили(ведь да?), некое ощущение тревоги остаётся.
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=d653649834e63684a51c83896212ffbd (пойду за ведром)
Это приятно, что компилятор знает о предстоящих действиях, но это так же напрягает из-за неявных допущений.
Хоть и пример о константах и явные вызовы фций такое бы не пропустили(ведь да?), некое ощущение тревоги остаётся.
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=d653649834e63684a51c83896212ffbd (пойду за ведром)
Forwarded from Julian =) Coffee
Читаю ответы в раст дискасе, на вопрос, что юзать to_owned или to_string.
1) Конечно юзай to_owned, потому что to_string юзает Display
2) Используй .into(), так писать меньше.
3) Нет, теперь не юзает Display, используй to_string, потому что это яснее.
4) dtolnay: нет, юзайте to_owned, потому что в этом и вся суть.
1) Конечно юзай to_owned, потому что to_string юзает Display
2) Используй .into(), так писать меньше.
3) Нет, теперь не юзает Display, используй to_string, потому что это яснее.
4) dtolnay: нет, юзайте to_owned, потому что в этом и вся суть.
#prog #article
В кои-то веки действительно полезный набор советов по работе с Git.
habr.com/ru/post/512490/
В кои-то веки действительно полезный набор советов по работе с Git.
habr.com/ru/post/512490/
Хабр
В одной лодке с «ублюдком»: 11 продвинутых советов по использованию Git
*"ублюдок" — вольный перевод слова "git" — "an unpleasant or contemptible person", "неприятный или презренный человек". В комментариях к статье 15 базовых...
Forwarded from rusta::mann
< мем из профунктора
Я сгорел, ведь правильно приготовленный type-driven design оберегает от кучи логических ошибок, особенно связанных с проверками инвариантов (пресловутый is_initialized() вместо типа, который гарантирован находиться в валидном состояннии всегда).
Рекоммендую прочитать Parse, don't validate, или ее растоадаптацию для хабра.
Я сгорел, ведь правильно приготовленный type-driven design оберегает от кучи логических ошибок, особенно связанных с проверками инвариантов (пресловутый is_initialized() вместо типа, который гарантирован находиться в валидном состояннии всегда).
Рекоммендую прочитать Parse, don't validate, или ее растоадаптацию для хабра.
👍1
Forwarded from Банда Вилли Брандта
В октябре 2015 года Der Tagesspiegel вышла с очень интересной обложкой. На передовице красовался заголовок Flüchtlingskrise wird Chefsache — «Миграционный кризис становится приоритетом», а чуть выше располагалась фотография Гитлера. С надписью «Снова он» — Der schon wieder.
Получилось так интересно, что пришлось извиняться и объяснять, что первое про правительство Меркель, а второе — про фильм «Он снова здесь».
Получилось так интересно, что пришлось извиняться и объяснять, что первое про правительство Меркель, а второе — про фильм «Он снова здесь».
Forwarded from мне не нравится реальность (вафель 🧇)
Пришла идея дизайна, который потребует трейт с.... 71 ассоциированными типами