— его, кстати, демократы всячески пытались отмыть. Интересно вам про это было читать, или не, в вашей эхокамере не было?
Или там, не знаю, пройдём по следующим пяти (мне лень копипастить ссылки, они тоже ищутся):
Illinois church goes woke, bans music and liturgical contributions by white people
Hiring manager @dropbox explains that she makes employment decisions based on race, and that she wants “fewer white people” in her life. I have reached out to Dropbox to see how many candidates this manager has rejected in recent years and whether they will investigate.
Google is setting hard caps on how many white and Asian students universities can nominate for a prestigious fellowship, a policy that likely violates civil rights law and could threaten the federal funding of nearly every elite university in the US.
BREAKING: University of California San Diego is hosting racially-segregated college welcome programs for the families of first-year students, explicitly prohibiting white families from participating.
No Whites Allowed: Pfizer Fellowship Flagrantly Violates the Law, Lawyers Say
Тут реальные действия, в отличие от, но вы продолжаете сокрушаться над какими-то мемчиками. Господи, либтарды неисправимы.
Судя по отношению к тем кто хотя бы умеренно левый типа Зохрана Мамдани всё вполне видно.
«Умеренно левый» — это желающий отменить тюрьмы и национализировать магазины? Можно узнать, что такое «неумеренно левый» тогда?
Но я, конечно, выступаю всячески за его победу в Нью-Йорке. Вот бы только не разрешить тем, кто за него голосовал, переезжать потом в красные штаты, и вообще ништяк.
когда у вас правачьё хочет отнимать права у всех кто им не нравится ("your body, my choice" и всё в таком духе)
Какие конкретно права отняли? Не хотите детей — пользуйтесь контрацепцией.
Вполне себе понятная вещь: код, который будет выполнен в будущем.
Это просто код. Добавка «который выполнен в будущем» либо требует уточнений, либо не имеет смысла (потому что не несёт никакой дополнительной информации — абсолютно любой с код с тем же успехом может быть выполнен в будущем).
ФП тут не нужно - идее обработчиков уже сто лет в обед.
ФП это делает юзабельным.
«Классическое» ФП а-ля нетипизированный лисп — потому что обработчики можно композировать. Сишные указатели на функции, как мы с вами оба согласились, композировать нельзя.
«Современное» ФП а-ля обмазали системой типов посильнее — потому что о коде после этого легче рассуждать. И вам не нужно делать interface ITextPredicate вместе с ITextOr и ITextAnd, вы можете просто написать string → bool.
Ну, на самом деле, имелись в виду просто множества - входных параметров и результатов. Множествами тоже мыслить непросто, кстати, привычка нужна, хотя их и в школе проходят (ну, я точно проходил).
Я и множествами не мыслю. Мыслю максимум типами, но почти синтаксически, точно так же, как работает proof finding в некоторых языках: условно, если у меня есть функция типа a → b и другая функция типа b → c, а мне надо a → c, то очевидно, как их совместить. Даже думать не надо, ни о морфизмах, ни о категориях, ни о множествах.
А вы, как я понял, мыслите действиями. Так вот, что, в вашем понимании, есть действие?
В моём — любой терм, тип которого имеет стрелочку первым конструктором типов. Ну, короче, что-то вида a → b.
может, проще захардкодить вызов этих двух функций в отдельном методе, и передавать его делегат
Кому проще и почему?
Вы там дальше про ASP.NET пишете, но у меня с ним ровно ноль опыта. В моём же опыте это оправдано тогда, когда одна и та же последовательность действий повторяется часто. Правда, тогда весь хардкод сводится к
compositeAction = f2 . f1
Написан ли уже этот accumulate?
Да. Это почтиstd::accumulate (только последний принимает пару итераторов вместо одного рейнджа, а std::ranges::accumulate почему-то не сделали, но для дискуссии это несущественно).
И если да, помнит ли про него программист, или ему надо в документацию лезть?
А вот это косвенно мой вам вопрос :]
Есть философия, что надо пользоваться стдлибкой по максимуму. Если вы придёте на конференцию по плюсам или почитаете модный блог, то там вам расскажут про std::for_each, std::accumulate, std::inner_product какой-нибудь, и так далее, и скажут, что их надо предпочитать голым циклам (потому что они делают код выразительнее, интент — понятнее, реализацию — безопаснее, и так далее).
Так про них-то и речь. Концепт один и тот же: сделать из двух действий третье. Просто в классическом ООП реализация такая, что за деревьями теряется лес.
Если вы про шаблон Стратегия, то он про другое - про вынос во внешний объект логическисогласованного набора методов.
Не обязательно набора. Там и один метод выносится, и этот метод обзывается «точкой конфигурации» или чем-то таким. Только смысл у него простой: он, собсна, выражает действие.
Я там весь ваш спор не читал, но по тому что прочел, он идет о том, как писать проще, что отождествляется с короче. Так? В таком виде этот вопрос мне обсуждать не интересно. Проблема с подходом ФП, на мой взгляд - что он не для людей, а для роботов: ну не мыслят люди (кроме специально обученных) малыми категориями и морфизмами.
Я ни разу не мыслил малыми категориями и морфизмами, и ими там мыслить совершенно не нужно.
Я мыслю операциями «применить к каждому узлу дерева такую-то функцию и собрать результаты в новое дерево» (это traverse), а затем, если надо, «собрать все эффекты из узлов нового дерева» (это sequence). Никакого теорката, ничего.
Лично я вот смотрю а программу чисто конкретно - как на рецепт, на последовательность действий, чтобы получить результат.
Тогда вам тот же вопрос, что и исходному товарищу. Что лучше,
int sum = 0;
for (int i = 0; i < vec.size(); ++i)
sum += vec[i];
Тезис «я ща вас побежду на вашем же поле» очень резко превратился сначала в продолжительное уточнение вопроса, кульминировавшее в на порядок большем количестве кода, вопрос не решающем, а потом в «да это всё игрушечные задачи и не нужно, и важны только 100%-о работающие компиляторы, только если это не компиляторы имеющихся языков».
Лично знаком с людьми, имеющими аналогичные идеи в Аляске, Вермонте и NH, и там поддержка, конечно, не большинства, но и ненулевая.
и то это, положа руку на сердце, инфантильные бредни какието
Почему? Не считаю это инфантильными бреднями. Техас отдаёт федералам больше денег, чем получает от них, у Техаса достаточно ресурсов для энергонезависимости, да и для военной независимости тоже, ЕВПОЧЯ.
США в данном случае первоначально создалась как куча раздробленных колоний которые за все время их существования слились в один конгломерат
И единым у этого конгломерата была только армия и отсутствие экономических барьеров. Внутренняя политика каждого из штатов могла быть произвольной.
ведь "желанные страны" - это желание переехать в удобное окружение для жизни. для белого человека это очевидно страны 1 мира, и почему бы не стремится к тому чтобы вся планета не была страной 1 мира?
Какие конкретно действия для этого надо совершать, кому именно, и зачем им это?
во первых, концепт единого государства на весь мир - решит довольно много проблем
С какими правилами? Ближе к КНР? Ближе к РФ? Ближе к США? Ближе к вашим конкретным фантазиям, потому что вы определённо хотите добра всем во всём мире, поэтому ваши фантазии к нему приведут, и поэтому же они и сбудутся?
объединение и стандартизация моральных принципов
На базе христианства, например. Ну вот просто большинством голосов. Готовы к полному запрету абортов?
Для маленькой симуляции объединения и стандартизации предлагаю вам остаться до конца жизни в РФ (вы ж до сих пор не уехали, верно?) и выгибаться буквой зю, но соответствовать её моральным принципам. Вместо РФ можете выбрать любую другую страну, где одобрямс моральных принципов зашкаливает за 86%, а оппозиции нет, потому что как же можно оппонировать такому мудрому и стандартизированному правительству.
Почему же вам не хочется? Может, потому, что нихрена моральные принципы на самом деле не стандартизовались, и пригодность страны для жизни коррелирует с (по крайней мере) историческим плюрализмом мнений в ней?
И, может, потому, что конкуренция между государствами хотя бы минимально заставляет их работать на благо населения — а то шарящее население уедет куда-то ещё, и государство кончится?
а последние лет 200 с экспансией запада (в т.ч. и России, запада - в том смысле что белого мира) и его взглядов на мир
«Конец истории» оказался несколько преждевременным, как показывает практика.
т.е. как идея - она принесет огромное количество плюсов и поднимет уровень жизни во всем мире.
Это если победят все правильные идеи, а все неправильные идеи не победят. Правда, тут есть один нюанс: почти любой носитель почти любой идеи искренне считает именно свою идею правильной, а остальные — ересью.
но вот идея с миллионом мелких государств со своими принципами - очевидно провальная
Неочевидно.
пока вполне очевидно что все проблемы с территориальными претензиями
Территориальные претензии как раз давно кончились, кроме пары маленьких, но гордых исключений, но не будем вскрывать эту тему. Остаются претензии к ресурсам (и это вполне возможно и в рамках одного мегагосударства, потому что ресурсы — они для моей клики или вашей клики, которые исторически ассоциируются с нацгосударствами), и так далее.
Физиологически гетерогаметному полу обычно хуже. Следовательно, мужчины должны выходить на пенсию раньше и иметь приоритетное обслуживание в медицинских учреждениях.
— Могу ли я написать функцию? — Да. Только не функцию.
Гм.
Ладно. Функции вычёркиваем.
В C# это сделать несложно даже в старом синтакисисе, без стрелочных функций: создаете объект
Ура, мы пришли к тому, о чём я говорил изначально: создаёте объект.
Кажется, умные люди в умных ООП-книгах называют это «стратегией» (вернее, частным случаем), и, кажется, я ровно такой пример видел в одной из них (но напрочь не помню, в какой). Там, правда, развешивалась целая иерархия в духе
interface ISomeStrategy
{
T run(T);
}
class Composite : ISomeStrategy
{
ISomeStrategy S1;
ISomeStrategy S2;
T run(T arg)
{
return S2.run(S1.run(arg));
}
}
вместо простого
compose s1 s2 = \arg → s2 (s1 arg)
(которое полиморфно и работает для любых функций, покуда типы подходят, и которое, тем более, во всех известных мне ФП-языках встроено в стандартную либу языка и пишется, скажем, просто как .), но это ведь то же самое и почти так же легко, поэтому программисты не будут лениться и избегать этим пользоваться, не так ли?
В C++, насколько я его представля, сложнее - там память этого объекта надо вовремя освободить, насколько это автоматизировано в современном синтаксисе - не в курсе.
Степени оптимизации, разворачивание циклов, поддержка разных типов архитектур, всяких версий наборов sse/avx, скорость компиляции, кроссплатформенность, логгирование. Я не разбираюсь в компиляторах, никогда не писал, но это список навскидку.
Про это я тоже писал: моя реализация давала более производительный код (и ещё имела зачатки статического анализа, лол).
Разница в том, что проценты поддержки семантики нельзя сравнивать напрямую. Я, к примеру, могу написать компилятор, с поддержкой 90% семантики за месяц. С кучей нюансов, да. И говорить, что эти идиоты писали свой годами. Что тоже будет некорректно.
Если они будут поддерживать не 90, а меньше, и выплёвываемый ими код будет работать медленнее, то вполне себе корректно.
Впрочем, в том месте я имел в виду, что мне всё равно, что моя программа корректно скомпилится на 90% или на 40%. Она всё равно не запустится.
Не понял, что это за «эргодичность» такая? В одном случае компилируется 90% программ, в другом — 40%. Это не то же самое.
Но сложный проект обязательно имеет много строк.
Вот здесь мы и несогласны, и весь тред выше — моя попытка пояснить примерами, за счёт чего именно.
Не в 10 раз никак.
И в 10 раз тоже.
Определитесь.
Давно определился: в первой (моей цитате речь не о сложности, а во второй (вашей) — о сложности.
Циркулярка может пилить доски вдоль. Торцовочная - только поперёк. Остальные ваши рассуждения про "пересекающиеся области" смысла не имеют.
Во-первых, мне ни разу не нужно было распилить плинтуса вдоль. Я их пилил только поперёк, и эту задачу могут решить и циркулярка, и торцовочная, и даже лобзик. Эта задача на пересечении.
Во-вторыю, циркулярка не может пилить доски вдоль сама по себе, потому что вам нужна обвязка, чтобы доску зафиксировать, например. Здесь есть тоже кое-какие параллели с этими нашими ЯП, но не будем об этом.
Нет. I said what I said. Я сказал, что ваше утверждение ошибочно.
Потому что что-то там про сложность и мощность.
У ПО есть всего две задачи: делать то, что требуется и не делать то, что не требуется.
Управление сложностью что-то очень резко сдулось, сразу после ФП в шарпе.
И у вас там в голове ничего не щёлкнуло, когда это писали, не? No bells ringing? Нормально вообще требовать семантики хаскеля от кода на шарпе?
Так я-то и не требую. Я констатирую факт, что у шарпа меньше средств выражения семантики композируемым и проверяемым компилятором образом, чем у хаскеля (а у хаскеля меньше, чем у идриса, например).
И я не вижу ваших проектов. Ни гитхаба ни продуктов в паблике. И у меня возникает интересный вопрос.
Предположим, я вам дам ссылку на, скажем, интерпретатор языка смарт-контрактов для одного из блокчейнов, куда я контрибьютил. Дальше что? Пойдёте переписывать его на сишарпе, чтобы сравнить сложность?
Должен ли житель глубоко южного штата, где снег идёт раз в год, сдавать такие же нормативы на вождение зимой/по льду, как житель глубоко северного штата?
Какие должны быть стандарты для сильно rural-штата, где 90% людей вне крупных городов, и как они отличаются от стандартов для «городских» штатов? Это не только вождение в городских условиях, это и послабление стандартов для того, чтобы люди могли куда-то добраться и быть продуктивными членами экономики.
В некоторых штатах можно делать right on red, в некоторых — нет, в некоторых — если подождать. Как унифицировать и почему?
Дальше чисто политически-философские вопросы: исторически федеративная система Штатов даёт очень много власти в руки отдельных, собсна, штатов, и федералам оставляет только регуляцию взаимодействий между штатами. Подобная децентрализация — это одна из тех самых мэдисоновских сдержек против централизации власти и следующей за ней тирании. Обсуждать в этом контексте права, конечно, смешно, но, во-первых, это смешно до первой отмены прав при голосовании не за того президента или выхода на протесты против результатов голосования, а, во-вторых, централизация одних аспектов власти в глазах общества легитимизирует централизацию других аспектов, где может быть ещё менее смешно.
При этом я по правам одного штата вполне могу ездить в (и, тем более, проезжать через) другой штат. Есть требования сдать старые права и получить права/ID нового штата (если старые права есть), если вы становитесь резидентом нового штата, но это требование тяжело энфорсить, особенно в граничных случаях.
И да, обмен прав на новые не требует сдавать экзамен по нормативам целевого штата (насколько я знаю, но IANAL). Учитывая, что в разных штатах могут быть очень разные требования, это получается забавно.
«расскажи, зачем снимаешь деньги со своего счёта и как их потратишь»
Или там,
Canadian Police Chief: “If you ever find yourself the victim of a home invasion, we are urging citizens not to take matters into your own hands... The best defense is to comply...”
(ведь наказывать преступников, или там вообще самооборона — это не либерально-просвещённая идея)
(via)
Левачество — это культ. Правачество — нет.
Первая же ссылка по тегу #antiwhite в моём файлике со ссылочками:
Darrell Brooks shared pro-Hitler memes, called for violence against white people
— его, кстати, демократы всячески пытались отмыть. Интересно вам про это было читать, или не, в вашей эхокамере не было?
Или там, не знаю, пройдём по следующим пяти (мне лень копипастить ссылки, они тоже ищутся):
Illinois church goes woke, bans music and liturgical contributions by white people
Hiring manager @dropbox explains that she makes employment decisions based on race, and that she wants “fewer white people” in her life. I have reached out to Dropbox to see how many candidates this manager has rejected in recent years and whether they will investigate.
Google is setting hard caps on how many white and Asian students universities can nominate for a prestigious fellowship, a policy that likely violates civil rights law and could threaten the federal funding of nearly every elite university in the US.
BREAKING: University of California San Diego is hosting racially-segregated college welcome programs for the families of first-year students, explicitly prohibiting white families from participating.
No Whites Allowed: Pfizer Fellowship Flagrantly Violates the Law, Lawyers Say
Тут реальные действия, в отличие от, но вы продолжаете сокрушаться над какими-то мемчиками. Господи, либтарды неисправимы.
«Умеренно левый» — это желающий отменить тюрьмы и национализировать магазины? Можно узнать, что такое «неумеренно левый» тогда?
Но я, конечно, выступаю всячески за его победу в Нью-Йорке. Вот бы только не разрешить тем, кто за него голосовал, переезжать потом в красные штаты, и вообще ништяк.
Какие конкретно права отняли? Не хотите детей — пользуйтесь контрацепцией.
С чего вы взяли?
Нет. Пока что с вашей стороны были только лозунги и ваши мнения. Логических доказательств (основа аргументации) у вас не было.
Парадокс Блаба — это не руководство к действию, если что.
Это просто код. Добавка «который выполнен в будущем» либо требует уточнений, либо не имеет смысла (потому что не несёт никакой дополнительной информации — абсолютно любой с код с тем же успехом может быть выполнен в будущем).
ФП это делает юзабельным.
«Классическое» ФП а-ля нетипизированный лисп — потому что обработчики можно композировать. Сишные указатели на функции, как мы с вами оба согласились, композировать нельзя.
«Современное» ФП а-ля обмазали системой типов посильнее — потому что о коде после этого легче рассуждать. И вам не нужно делать
interface ITextPredicateвместе сITextOrиITextAnd, вы можете просто написатьstring → bool.Я и множествами не мыслю. Мыслю максимум типами, но почти синтаксически, точно так же, как работает proof finding в некоторых языках: условно, если у меня есть функция типа a → b и другая функция типа b → c, а мне надо a → c, то очевидно, как их совместить. Даже думать не надо, ни о морфизмах, ни о категориях, ни о множествах.
В моём — любой терм, тип которого имеет стрелочку первым конструктором типов. Ну, короче, что-то вида a → b.
Кому проще и почему?
Вы там дальше про ASP.NET пишете, но у меня с ним ровно ноль опыта. В моём же опыте это оправдано тогда, когда одна и та же последовательность действий повторяется часто. Правда, тогда весь хардкод сводится к
Да. Это почти
std::accumulate(только последний принимает пару итераторов вместо одного рейнджа, аstd::ranges::accumulateпочему-то не сделали, но для дискуссии это несущественно).А вот это косвенно мой вам вопрос :]
Есть философия, что надо пользоваться стдлибкой по максимуму. Если вы придёте на конференцию по плюсам или почитаете модный блог, то там вам расскажут про
std::for_each,std::accumulate,std::inner_productкакой-нибудь, и так далее, и скажут, что их надо предпочитать голым циклам (потому что они делают код выразительнее, интент — понятнее, реализацию — безопаснее, и так далее).А есть философия, конечно, что это всё бесовское.
Вы читаете код. Оба варианта уже написаны.
Так про них-то и речь. Концепт один и тот же: сделать из двух действий третье. Просто в классическом ООП реализация такая, что за деревьями теряется лес.
Не обязательно набора. Там и один метод выносится, и этот метод обзывается «точкой конфигурации» или чем-то таким. Только смысл у него простой: он, собсна, выражает действие.
Я ни разу не мыслил малыми категориями и морфизмами, и ими там мыслить совершенно не нужно.
Я мыслю операциями «применить к каждому узлу дерева такую-то функцию и собрать результаты в новое дерево» (это
traverse), а затем, если надо, «собрать все эффекты из узлов нового дерева» (этоsequence). Никакого теорката, ничего.Тогда вам тот же вопрос, что и исходному товарищу. Что лучше,
или
?
А, сорян, я думал, есть какие-то конкретные предложения. Пока что это всё выглядит как «как здорово было бы всем собраться и быть лучше среднего».
Тезис «я ща вас побежду на вашем же поле» очень резко превратился сначала в продолжительное уточнение вопроса, кульминировавшее в на порядок большем количестве кода, вопрос не решающем, а потом в «да это всё игрушечные задачи и не нужно, и важны только 100%-о работающие компиляторы, только если это не компиляторы имеющихся языков».
На разных языках, да.
Оооох броо, у меня есть новости!
Proposed Initiative Enters Circulation Requires Future Vote on Whether California Should Become Independent Country. Initiative Statute
California, the most populous state in the United States and third largest in area after Alaska and Texas, has been the subject of more than 220 proposals to divide it into multiple states since its admission to the Union in 1850,[1] including at least 27 significant proposals prior to the 21st century.[2] In addition, there have been some calls for the secession of multiple states or large regions in the American West (such as the proposal of Cascadia) which often include parts of Northern California.[3]
Лично знаком с людьми, имеющими аналогичные идеи в Аляске, Вермонте и NH, и там поддержка, конечно, не большинства, но и ненулевая.
Почему? Не считаю это инфантильными бреднями. Техас отдаёт федералам больше денег, чем получает от них, у Техаса достаточно ресурсов для энергонезависимости, да и для военной независимости тоже, ЕВПОЧЯ.
И единым у этого конгломерата была только армия и отсутствие экономических барьеров. Внутренняя политика каждого из штатов могла быть произвольной.
National divorce? Не, не слышали.
Какие конкретно действия для этого надо совершать, кому именно, и зачем им это?
С какими правилами? Ближе к КНР? Ближе к РФ? Ближе к США? Ближе к вашим конкретным фантазиям, потому что вы определённо хотите добра всем во всём мире, поэтому ваши фантазии к нему приведут, и поэтому же они и сбудутся?
На базе христианства, например. Ну вот просто большинством голосов. Готовы к полному запрету абортов?
Для маленькой симуляции объединения и стандартизации предлагаю вам остаться до конца жизни в РФ (вы ж до сих пор не уехали, верно?) и выгибаться буквой зю, но соответствовать её моральным принципам. Вместо РФ можете выбрать любую другую страну, где одобрямс моральных принципов зашкаливает за 86%, а оппозиции нет, потому что как же можно оппонировать такому мудрому и стандартизированному правительству.
Почему же вам не хочется? Может, потому, что нихрена моральные принципы на самом деле не стандартизовались, и пригодность страны для жизни коррелирует с (по крайней мере) историческим плюрализмом мнений в ней?
И, может, потому, что конкуренция между государствами хотя бы минимально заставляет их работать на благо населения — а то шарящее население уедет куда-то ещё, и государство кончится?
«Конец истории» оказался несколько преждевременным, как показывает практика.
Это если победят все правильные идеи, а все неправильные идеи не победят. Правда, тут есть один нюанс: почти любой носитель почти любой идеи искренне считает именно свою идею правильной, а остальные — ересью.
Неочевидно.
Территориальные претензии как раз давно кончились, кроме пары маленьких, но гордых исключений, но не будем вскрывать эту тему. Остаются претензии к ресурсам (и это вполне возможно и в рамках одного мегагосударства, потому что ресурсы — они для моей клики или вашей клики, которые исторически ассоциируются с нацгосударствами), и так далее.
Физиологически гетерогаметному полу обычно хуже. Следовательно, мужчины должны выходить на пенсию раньше и иметь приоритетное обслуживание в медицинских учреждениях.
— Могу ли я написать функцию?
— Да. Только не функцию.
Гм.
Ладно. Функции вычёркиваем.
Ура, мы пришли к тому, о чём я говорил изначально: создаёте объект.
Кажется, умные люди в умных ООП-книгах называют это «стратегией» (вернее, частным случаем), и, кажется, я ровно такой пример видел в одной из них (но напрочь не помню, в какой). Там, правда, развешивалась целая иерархия в духе
вместо простого
(которое полиморфно и работает для любых функций, покуда типы подходят, и которое, тем более, во всех известных мне ФП-языках встроено в стандартную либу языка и пишется, скажем, просто как
.), но это ведь то же самое и почти так же легко, поэтому программисты не будут лениться и избегать этим пользоваться, не так ли?Можно в лямбду по значению захватывать, но да.
Про это я тоже писал: моя реализация давала более производительный код (и ещё имела зачатки статического анализа, лол).
Если они будут поддерживать не 90, а меньше, и выплёвываемый ими код будет работать медленнее, то вполне себе корректно.
Не понял, что это за «эргодичность» такая? В одном случае компилируется 90% программ, в другом — 40%. Это не то же самое.
Вот здесь мы и несогласны, и весь тред выше — моя попытка пояснить примерами, за счёт чего именно.
И в 10 раз тоже.
Давно определился: в первой (моей цитате речь не о сложности, а во второй (вашей) — о сложности.
Во-первых, мне ни разу не нужно было распилить плинтуса вдоль. Я их пилил только поперёк, и эту задачу могут решить и циркулярка, и торцовочная, и даже лобзик. Эта задача на пересечении.
Во-вторыю, циркулярка не может пилить доски вдоль сама по себе, потому что вам нужна обвязка, чтобы доску зафиксировать, например. Здесь есть тоже кое-какие параллели с этими нашими ЯП, но не будем об этом.
Потому что что-то там про сложность и мощность.
Управление сложностью что-то очень резко сдулось, сразу после ФП в шарпе.
Так я-то и не требую. Я констатирую факт, что у шарпа меньше средств выражения семантики композируемым и проверяемым компилятором образом, чем у хаскеля (а у хаскеля меньше, чем у идриса, например).
Предположим, я вам дам ссылку на, скажем, интерпретатор языка смарт-контрактов для одного из блокчейнов, куда я контрибьютил. Дальше что? Пойдёте переписывать его на сишарпе, чтобы сравнить сложность?
Должен ли житель глубоко южного штата, где снег идёт раз в год, сдавать такие же нормативы на вождение зимой/по льду, как житель глубоко северного штата?
Какие должны быть стандарты для сильно rural-штата, где 90% людей вне крупных городов, и как они отличаются от стандартов для «городских» штатов? Это не только вождение в городских условиях, это и послабление стандартов для того, чтобы люди могли куда-то добраться и быть продуктивными членами экономики.
В некоторых штатах можно делать right on red, в некоторых — нет, в некоторых — если подождать. Как унифицировать и почему?
Дальше чисто политически-философские вопросы: исторически федеративная система Штатов даёт очень много власти в руки отдельных, собсна, штатов, и федералам оставляет только регуляцию взаимодействий между штатами. Подобная децентрализация — это одна из тех самых мэдисоновских сдержек против централизации власти и следующей за ней тирании. Обсуждать в этом контексте права, конечно, смешно, но, во-первых, это смешно до первой отмены прав при голосовании не за того президента или выхода на протесты против результатов голосования, а, во-вторых, централизация одних аспектов власти в глазах общества легитимизирует централизацию других аспектов, где может быть ещё менее смешно.
Поэтому не, не соглашусь с вами.
Надеюсь, что нет, потому что, если вкратце, конкуренция юрисдикций, правовых систем и законов — это тоже хорошо.
Вам будет очень тяжело найти более прооружейного человека, чем я, но я против carry reciprocity, например.
При этом я по правам одного штата вполне могу ездить в (и, тем более, проезжать через) другой штат. Есть требования сдать старые права и получить права/ID нового штата (если старые права есть), если вы становитесь резидентом нового штата, но это требование тяжело энфорсить, особенно в граничных случаях.
И да, обмен прав на новые не требует сдавать экзамен по нормативам целевого штата (насколько я знаю, но IANAL). Учитывая, что в разных штатах могут быть очень разные требования, это получается забавно.
Олсо, тем временем поговаривают не только о правах, но и об universal carry reciprocity.
«расскажи, зачем снимаешь деньги со своего счёта и как их потратишь»
Или там,
(ведь наказывать преступников, или там вообще самооборона — это не либерально-просвещённая идея)
Много там приколов.