Давайте немножко покорректнее,
— статическая типизация сработала и обнаружила ошибку.
— динамическая сработала только тогда, когда вы дошли до выполнения именно этой ветки кода (т.е. динамическая как раз не сработала тогда, когда сработала статическая)
— вы использовали с одной стороны массовый python, с другой — академичный Haskell
— вид исходного кода то же другой.
Я переписал на F# ваш код и получил ошибку на этапе набора кода:
let addLen = fun x -> [for e in x -> e + String.length e]
Значит теперь в Питоне две типизации — динамическая для рантайма и компилятора и статическая для IDE, причем они необязательно между собой согласованы.
Инструментам не надо знать тип до выполнения: аннотации могут помочь IDE лучше (чем сейчас) угадывать тип переменной для удобства программиста, но не более того
Получается, чтобы предоставить какой-то уровень удобства им именно надо знать тип до выполнения. То есть это типизация и при этом статическая.
Я так понимаю, что HTML язык разметки. Т.е. стояла такая задача, что есть у нас текст и надо его разметить — привязать какие-то атрибуты к кусочкам чтоб получился гипертекст.
Причем, наверное, вначале обычно пользовались просто текстовыми редакторами. Поэтому он такой. Какой-нибудь yaml было бы неудобно так использовать, т.к. надо было бы много в тексте менять. А тут вносишь локальную правку и все — кусочек помечен как ссылка, например.
Тогда, возможно, автор поста хотел дополнить пост ссылками на похожие вещи — типа повысить связность хабра. Например, интересна последняя ссылка на конкретные проблемы с российскими адресами
«При этом IoT-устройства обычно слабо защищены от подобных угроз, поэтому вирусы типа Conficker могут быть эффективны в отношении таких устройств сейчас так же, как они были эффективны в отношении персональных компьютеров в 2008-2009 годах. Для ПК же этот вирус уже не представляет особой угрозы.
»
Я не про стоимость защищаемых данных, а про существование альтернативных путей обхода защиты.
Дверь -> Антивирусная политика
Стены -> Терморектальный криптоанализ
Не поверю — во-первых, там наверняка про метеориты ничего не написано (этак и я могу обозвать это антивирусом) — а во-вторых, а если они попаут во все резервные копии?
Примеры бывают реально случившегося и умозрительные. Нам не надо делать, чтобы такое было невозможно. Нам надо сделать, чтобы вероятность этого была такова, что для атакующего вероятнее получить то же самое терморектально.
1) Завести папку с именем «Сюда я переписываю программы которые мне действиетельно нужноустановить для работы, и пусть я подвергнусь групповому изнасилованию своими товарищами, если я запишу сюда что-то еще» и пусть он может выполнять только оттуда
2) Всякий одноразовый мусор развертывать на виртуалку
3) Давать права на установку «раз в год» на ограниченное время по заявке с указанием обоснования
И еще, как получается, что они ловят агента, но не ловят шифровальщиков.
— статическая типизация сработала и обнаружила ошибку.
— динамическая сработала только тогда, когда вы дошли до выполнения именно этой ветки кода (т.е. динамическая как раз не сработала тогда, когда сработала статическая)
— вы использовали с одной стороны массовый python, с другой — академичный Haskell
— вид исходного кода то же другой.
Я переписал на F# ваш код и получил ошибку на этапе набора кода:
Можете сами попробовать www.tryfsharp.org/Create
Получается, чтобы предоставить какой-то уровень удобства им именно надо знать тип до выполнения. То есть это типизация и при этом статическая.
Это типизация, так как значению приписывается тип и при этом она статическая, так как инструментам надо его знать до выполнения.
Как раз проблема интроспекции именно в том, что она динамически типизированная.
Я так понимаю, что HTML язык разметки. Т.е. стояла такая задача, что есть у нас текст и надо его разметить — привязать какие-то атрибуты к кусочкам чтоб получился гипертекст.
Причем, наверное, вначале обычно пользовались просто текстовыми редакторами. Поэтому он такой. Какой-нибудь yaml было бы неудобно так использовать, т.к. надо было бы много в тексте менять. А тут вносишь локальную правку и все — кусочек помечен как ссылка, например.
2) Что там было внутри?
»
Тут, как мне кажется, описка «только» и «не» надо поменять местами :)
Дверь -> Антивирусная политика
Стены -> Терморектальный криптоанализ
1) Завести папку с именем «Сюда я переписываю программы которые мне действиетельно нужноустановить для работы, и пусть я подвергнусь групповому изнасилованию своими товарищами, если я запишу сюда что-то еще» и пусть он может выполнять только оттуда
2) Всякий одноразовый мусор развертывать на виртуалку
3) Давать права на установку «раз в год» на ограниченное время по заявке с указанием обоснования
И еще, как получается, что они ловят агента, но не ловят шифровальщиков.