Сопоставление с образцом (pattern matching) — сильный механизм языков программирования, который, к сожалению, встречается не так часто. Причём, как в коде разработчиков, так и в поддержке со стороны самого языка.
Разработчики на функциональных языках используют этот механизм довольно часто, потому что у них вообще многое определяется статически через правильный подход к системе типов. Разработчики же на императивных языках очень любят огромные многоуровневые ветвления. Есть даже такое понятие «Спагетти-код» — раньше его применяли к коду, перегруженному операторами перехода, но в современном виде это скорее об избытке операторов условия.
Pattern matching позволяет накладывать на объекты некоторый трафарет и смотреть, попадают ли они под него. Это не только выглядит лаконичнее и короче, чем дерево условий, но ещё и понятнее с точки зрения восприятия человеком: вот у нас заказ содержит более 10 элементов и при этом стоит более 1000 долларов, значит делаем на него скидку 10 центов. При этом трафарет работает как сортировщик монеток: самая маленькая проваливается в первый паз, следующая по размеру в следующий итд, применение условий идёт сверху вниз. Есть и неявный плюс: такой подход автоматически провоцирует разработчиков проводить проверку на null. Ведь null не может подходить под трафарет «содержит более 10 товаров».
К счастью, в C# этот механизм в последних версиях активно развивают и совершенствуют. И это одно из многочисленных преимуществ C# над Java.
#dev
Чего на самом деле не прописано в сырьевой сделке между США и Украиной — так это гарантий безопасности, которые предлагал включить в неё Киев.
Но, во-первых, это в целом нетипичное условие для подобных соглашений, и трудно было ожидать, что оно там появится.
А во-вторых, международные проекты подобного рода содержат вшитые гарантии безопасности даже без их специального оговаривания в тексте. Покажем на примере.
По итогам Зимней войны Советский Союз аннексировал у Финляндии в несколько раз больше территории, чем сумел занять фактически (на приложенной карте ⤴️ зелёной линией примерно показана линия фронта на момент заключения мира). За одним удивительным исключением: регион Петсамо с тамошними никелевыми рудниками был возвращён финнам, несмотря на то, что как раз его-то Красная армия захватила де-факто, причём довольно быстро.
Этот парадокс становится понятнее, если вспомнить о том, что никелевый рудник Петсамо на тот момент принадлежал англо-канадскому акционерному обществу. А ссориться с Лондоном в планы Москвы не входило. Поэтому пришлось вернуть.
Могут возразить: да, но сейчас-то Петсамо включён в состав России под именем Печенгского района! Верно. Потому что за оставшееся время Второй мировой войны Суоми в попытках избежать дальнейшей советизации оказалась на стороне Третьего рейха, тогда как СССР — на стороне Британии, бросив на алтарь общей победы в 30 раз больше солдат. Это настолько смешало все карты, что требования Сталина о передаче ему Петсамо союзники сочли оправданными.
Примерно как если бы сейчас Китай объявил войну США, РФ выступила в качестве их самого мясного союзника, а Украина приняла китайскую сторону. Но до тех пор, пока нечто подобное не случилось, Вашингтону явно не понравятся любые попытки РФ захватить его совместный бизнес.
Ещё один пример. Когда пригожинцы в Сирии в феврале 2018 попытались кавалерийским наскоком захватить газовый завод Коноко под Дейр-эз-Зором, находившийся под контролем союзных США курдов, американская армия моментально размолотила вагнерьё в кровавый фарш ещё на дальних подступах. Это были крупнейшие единовременные потери россиян за все годы сирийского конфликта. И ни один путинский чиновник даже не пикнул про сарматов с кинжалами. Наоборот, лопотали по пословице: разбили рыло — говорят, так и было.
Помните, кстати, кто был президентом США в то время?
#FIN#война#стратегия#II#b