Когда я впервые вернулся к старому коду на Pascal, меня поразило, насколько спокойным и уверенным был этот язык. Без магии, без догадок, без самоуверенности динамической типизации. Pascal не прощал халтуру — и именно поэтому программы на нём жили десятилетиями. Эта статья — не ностальгия, а попытка разобраться, почему мы потеряли культуру типобезопасности и почему сейчас снова к ней возвращаемся.
Рубрика «типобезопасность»
Что потеряли вместе с Pascal: типобезопасность, которую мы недооценили
2025-10-20 в 11:07, admin, рубрики: Pascal, архитектура программ, дизайн языка, Компиляторы, ошибки типов, строгая типизация, типобезопасностьМикроядро seL4. Формальная верификация программ в реальном мире
2019-01-24 в 15:47, admin, рубрики: AH-6, CakeML, CAmkES, Candle, capDL, CertiKOS, CoCon, CompCert, FSCQ, Ivory, Milawa, Rockwell Collins, sel4, ULB, Unmanned Little Bird, Беспилотная Птичка, боинг, гипотеза Кеплера, информационная безопасность, математика, модернизация безопасности ПО, проблема четырёх красок, синтез драйверов, системное программирование, Софт, теорема о нечётном порядке, теорема Фейта — Томпсона, типобезопасность, транспорт будущего, формальная верификацияНаучная статья опубликована в журнале Communications of the ACM, октябрь 2018, том 61, номер 10, стр. 68−77, doi: 10.1145/3230627
В феврале 2017 года со взлётной площадки «Боинга» в Аризоне поднялся вертолёт с обычным заданием: облёт ближайших холмов. Он летел полностью автономно. Согласно требованиям по технике безопасности Федерального управления авиации США, пилот не прикасался к органам управления. Это был не первый автономный полёт AH-6, которого в компании называют Беспилотной Птичкой (Unmanned Little Bird, ULB). Он так летает уже много лет. Однако на этот раз посреди полёта вертолёт подвергся кибератаке. Бортовой компьютер атаковало вредоносное программное обеспечение видеокамеры, а также вирус, доставленный через заражённую флэшку, которую вставили во время техобслуживания. Атака поставила под угрозу некоторые подсистемы, но не смогла повлиять на безопасную эксплуатацию воздушного судна.
Читать полностью »
CSS для Swift: использование стилей для любых подклассов UIView
2017-02-22 в 6:08, admin, рубрики: css, iOS, swift, uiview, Блог компании Лайв Тайпинг, разработка мобильных приложений, разработка под iOS, стили, типобезопасность, метки: uiviewОригинальное название статьи: Composable, type-safe UIView styling with Swift functions
Прежде, чем вы познакомитесь с материалом, мне хочется добавить кое-что про абстрагирование стилей от себя. Этот метод может облегчить вашу жизнь при работе на крупных проектах и особенно — в активно меняющемся продукте. Мы в полной силе ощутили это на таком проекте, как ИЛЬ ДЕ БОТЭ, где требования к визуальной составляющей приложения были значительными.
По мере развития в проект вносились существенные UI-изменения, и благодаря выделению стилей нам удалось отделаться малой кровью. В своем подходе мы использовали расширения для стандартных классов (UITextField, UILabel, UITextView, UIFont, UIColor). Нам кажется, что автору статьи удалось поднять данный подход на пару ступеней выше — настолько, что мы, потирая ладошки, бросились использовать его в нашем новом проекте. Надеемся, наш перевод поможет вам оптимизировать время на разработку и сделать проекты лучше.
