• Объясните, почему мой рокет-саенс бэкенд билдится пару секунд, а четыре формы на фронте — полгода
    0

    Эти же средства позволяют найти внутренние противоречия в ТЗ. Не все, конечно, но достаточно значимый ряд.

  • Scala мертва?
    0
    Но, я замечаю, что разработчики зачастую уделяют внимание только локальным тестам (видимо, потому что их делать намного проще, и можно получить отмазку «а у меня всё работает»), а там где пересекается ответственность — трудоёмкость тестирования возрастает, именно там нас и поджидает куча сюрпризов.

    Не понимаю этого, кстати. Лично я на юнит-тесты и прочее локальное всегда забиваю и делегирую это на уровень системы типов, а интеграционные типам делегировать сложнее в большинстве приложений.

  • Переезд инженера в Нидерланды: рулинг, кеннисмигранты, стоимость жизни
    +1
    Потому и приводил аналогию со слоном.

    Это чисто формально логические рассуждения, которые я очень вкратце обрисовал следующей после процитированной вами фразой.


    Компания же не занимается благоустройством городов, теми же велодорожками, соц.выплатами на детей, компенсациями детс.сада и бесплатным образованием — это всё делается из текущих налогов, а пользоваться или нет — право каждого. Не пользовался — значит потерял. А если не будешь работать, но пользоваться — отнимаешь у кого-то другого.

    Да, не пользовался. Не ездил на велике, не получал образование, не заводил детей, не любовался на благоустроенные города (кстати, благоустройством того района, где я сейчас живу, занимается управляющая компания жилищного комплекса, в том числе, с тех средств, которые жильцы дружно платят за аренду). Потеряли ли нет — другой вопрос, но главное — что не пользовался, а, значит, не жил на эти налоги.


    Как бы попроще объяснить, например BLM в ЕС не поняли в целом, покрутили у виска и забыли. Именно потому, что расслоение не такое как в штатах.

    Так не поняли, что аж на уровне Европарламента что-то там приняли совершенно бессмысленное, просто чтоб высказать солидарность. И протестов не было ни в Лондоне, ни в Париже, ни в Цюрихе. И в той же Франции на прошлой неделе антифа снова не бесновалась.


    На уровне США хотя бы что-то, хотя бы отдалённо похожее на подобную резолюцию, было?


    Где не поняли в целом — это в штатах типа Техаса, где если BLM'щик начнёт буянить и устраивать погромы, то очень быстро отравится свинцом, а устроивший отравление не пойдёт под окружных прокуроров ради политических поинтов этих прокуроров, как в других штатах (см. Кайл и Джейд). Все это понимают, и в Техасе не устраивают то, что устраивают в Портленде, Сиэттле, Миннеаполисе и немножко Нью-Йорке.


    когда дети совершенно разных слоёв играют на одной площадке, ходят в один класс в школе вопросов становится меньше

    Вопросов о том, почему в самых благополучных районах всё равно тырят и режут? Я не уверен, что этим стоит гордиться.


    Кто мешает и какое отношение к личному желанию имеет государство? Оно же как раз не вмешивается в личную жизнь. Не хочешь плюсы — не пиши.

    Вы ж сами написали — запросят компетенции. А у меня там C++ один, будут снова его искать, снова придётся на нём писать в прод. Я даже не против так, в режиме хобби писать, просто в прод с ответственностью не хочу.


    Если ты приехал работать

    Но ведь в ЕС приезжают, чтобы жить?


    Социальный договор — он обоюдный, а не односторонний.

    Так толерантность, о которой вы говорили выше, всё равно пропадает.


    Опять путаем социальную гарантию государства и частную компанию?

    Опять говорим, что в США без влезания государства можно найти всё, что душе угодно. Хотите много пахать и за два года выплатить ипотеку — ну, чувак знакомый пашет с 8 утра до 7 вечера и потом ещё на on-call сидит до 3 ночи (а on-call в HFT — это хардкорно), но он и зарабатывает под лям. Не хотите — я тоже не хочу, мне это нафиг не надо всё, я работал формально 7-8 часов в день и зарабатывал в разы меньше (но всё равно в разы больше, чем упомянутые вами выше зарплаты).


    А при чём тут государство? Почему оно должно нести за это социальные гарантии?

    Потому что оно постулируется как социальное государство? Иначе как удобно получается, государство социальное, плоти нологи, но если что, то оно ничего не должно.


    Я же говорю — халявщиков мало кто любит. Найди инвестора. Красношляпка и Сьюсь в Чехии как-то же работают над опенсурс проектами, хотя там до уровня западной Европы не близко.

    Поиск инвестора — это совсем другой навык. Я буковки на клавиатуре топтать вот неплохо научился, а продавать потребность потратить полгода-год на то, чтобы формально доказать, что трансляция из одного модельного языка в другой модельный язык сохраняет какие-то там свойства, нет.


    И опять же, почему халявщиков? Разве если я вот с февраля не работаю и в ближайшие месяцы не планирую, я халявщик?

  • Scala мертва?
    0
    Конечно, они или продаются сами или помогают продавать другие продукты.

    Интересно, какова доля прибыли от C# или Java.


    Напомню, что мы всё-таки про энтерпрайз.

    Есть, конечно, подмножество энтерпрайза — кровавый энтерпрайз, но там бы мне работать не хотелось, и если язык отдалит меня от кровавого тырпрайза, то я буду только благодарен.


    Новые фичи быстро для него это, скорее, зло.

    Тогда какой ещё там F# и Swift? И, я совсем забыл, F# разве не был ресёрч-проектом MS?


    Mozilla, очевидно.

    Так они разве растоманов не разогнали?


    Поддерживает в контексте нашего разговора — обеспечивает гарантии стабильности и развития.

    Так не обеспечивает же. Если я с этой их писулькой приду в юридический отдел любой фирмы и заикнусь про гарантии, надо мной там максимум посмеются. Хоть какие-то гарантии обеспечивает, например, редхат, когда вы у них покупаете рхел и поддержку их DTS (хотя на практике с этой поддержкой всё довольно печально, но это совсем другая история). Но и то гарантии поддержки конкретной реализации в очень ограниченном спектре проблем, никаких гарантий развития языка или стабильности компилятора там нет. Не думаю, что если DTS'ный gcc сделает вам miscompilation, и вы 100500 денег проиграете на бирже, то кто-то вам что-то компенсирует (а гарантии стабильности — это именно про компенсацию в подобных ситуациях).


    Оставим этот вопрос на уровне «я бы не стал использовать Хаскелл в крупной разработке, будучи бизнесом», как моё личное мнение.

    Окей. Мне просто было очень интересно, как можно считать готовым к тырпрайзу F#, но не считать Haskell.


    А так язык хороший, да.

    Ну так себе, завтипов нет, данные и коданные не разделены, рекорды кривые какие-то, приходится линзами обмазываться.

  • «Некоторые более равны, чем другие». Удаленные сотрудники из Кремниевой долины сталкиваются с большим урезанием зарплаты
    +2

    В двух мониках хорошо то, что один из них можно поставить вертикально.

  • Переезд инженера в Нидерланды: рулинг, кеннисмигранты, стоимость жизни
    +2
    Меньшее социальное расслоение лишь означает почти равные возможности со старта (рождения) для граждан, но как эти граждане возможности используют — разговор отдельный.

    Не уверен, что согласен с этим тезисом, вернее с его первой половиной, и именно из-за второй половины. Если часть людей просто не хочет использовать некоторые возможности, то расслоение будет. Перераспределять ли доходы в пользу них от остальных — вопрос вашей этической системы и аксиоматики.


    Именно для недопущения подобного в ЕС «элитное» жильё строится вперемежку с социальным, лет 40 уже.

    А, я теперь понимаю, почему в лондонском Сити, в районе, где жильё стоит под 2 тыщи фунтов за базовую студию, регулярно кого-то резали ножом, тырили велосипеды, и так далее.


    Ну, короче, не уверен, что это — та вещь, которой стоит «не допускать».


    При наличии не зависящего от работодателя вида на жительство — 5 лет проживания и сданные интеграционные экзамены — без проблем.

    Как это без проблем, если 6 месяцев всего?


    так все эти годы и жили на эти налоги, а «потом» или «теперь» получается хочется жить на чужие налоги, в чём вопрос то? Налоги это же не сберегательный фонд :)

    Не понял, как это я жил на эти налоги? Я жил на то, что мне платила компания, на которую я работал. Какие там налоги?


    Для этого есть ряд проверок

    Интересно, что тут проверять, ну да ладно.


    А так, бёрнаут (и смена профессии в последствии) в НЛ является официальным диагнозом с выплатами от государства, страховых и социальных фондов и т.п., чем некоторые очень даже пользуются.

    Но я всё ещё программирую, собираюсь дальше программировать, и никто мне этот диагноз не поставит, посмотрев на мой гитхаб.


    Просто чё-т надоело код в прод на плюсах писать. Хочу тратить всё время, а не вечера после работы и выходные, на изучение других технологий и всякого матана, и потом писать код в публикации на идрисе или агде.


    как это связано с тем, что не хочется работать, как было озвучено выше?

    Так одно является подмножеством другого. Возможность прожить и не напрягаться подразумевает возможность в это время не заботиться о источнике заработка.


    а оно и не спрашивает, толерантность и всё такое :)

    Но при этом бездельников не любит. Интересно, как это совмещается.


    В НЛ можно официально работать 32 часа в неделю

    На той работе выше я и так работал часов 35 (и, между нами, был период, когда реальной работы в неделю было часов 10 по ряду причин).


    А на другой работе у меня было нелимитированное число отпусков, и за полгода я израсходовал их штук 15 (хотя в год в среднем их даётся 20 штук, то есть, за полгода у меня их было бы 10).


    беря один день «по уходу за ребёнком», не важно кто ты, отец или мать.

    А если у меня нет детей, зато есть опенсорс-проект?


    Можно перейти на почасовую оплату и вообще управлять самому сколько и когда ты будешь работать, хоть ночами, хоть по выходным, хоть стоя на голове в ванной. Ставки выше, но и социальные выплаты пойдут не от работодателя, а из личного кармана, и это мы ещё не про фриланцеров.

    Ну так это где угодно так можно пойти контрактором, если не консалтером работать, разве нет? Вопрос work/life balance — он скорее вопрос культуры.

  • Ни туда, ни обратно
    +2
    Например, я не вижу, какие проблемы с доступностью механизмов толкают людей на попытки "может договориться" с инспекторами ГАИ в случае нарушений, особенно если нарушения на самом деле не было.

    Примерно по тем же причинам, по которым я не стал возмещать 20 баксов за багаж у american airlines, которые я умудрился заплатить дважды, потому что найти у них на сайте правильные контакты за 5 минут я не смог.

  • Ни туда, ни обратно
    0
    пс вроде как зен3 одновременно с настольными будет, но с чехардой индексов.

    Я вроде читал, что мобильные на почти год откладываются (как было и с текущим поколением).

  • Предпочитайте Rust вместо C/C++ для нового кода
    0

    Эх, аж жаль, что так и не узнать мне про ещё один кейс формальной верификации в дикой природе.

  • Предпочитайте Rust вместо C/C++ для нового кода
    0
    Например, что те кто испольует GIT они скорее мультисайт, то есть у них несколько мест разработки и скорее всего автоматическая сборка и линукс.

    А язык, язык-то какой?


    А что такое мультисайт, я не знаю.

  • Переезд инженера в Нидерланды: рулинг, кеннисмигранты, стоимость жизни
    +2
    Сложно объяснить слепому, что такое слон :) Люди про это умные книжки пишут, исследования проводят, а ему в двух словах расскажи :)

    Обычно всё сводится к тезису, что меньше насильственных преступлений. Но когда я говорю, что в том же США (где расслоение выше) вполне себе можно выбирать города и районы для жизни, и есть места, и их не так уж и мало, где преступлений не бывает как класс, даже краж велосипедов, то в ответ ничего не получаю :(


    Конечно, халявщики ни кому не нужны, даже пресловутые беженцы, если верить Помёту и Сикилёву, захлестнувшие ЕС, обучены и трудоустроены, а кто не хочет — выдворены назад или живут в лагерях, ожидая билета домой.

    Но как же… социальные гарантии… Может, я просто устал? Или хочу переквалифицироваться в летсплеера, ютубера, или, чего хуже, математика?


    Да и почему халявщика? Я годами работал, платил налоги, почему я теперь на эти налоги не могу пожить?


    Плюс, интересно, что будет, если я в ожиданиях от вакансии напишу «программист на Idris», и вакансии программиста на php буду отклонять за незнанием php, но это уже другой вопрос.


    В США едут жить, что бы работать, в ЕС едут работать что бы жить — этот принцип забывать нельзя.

    А по факту получается наоборот по вашим же словам.


    Ну и да, за 4 года рабочей жизни в США я три с половиной года проработал с компании с очень расслабленной культурой (одно время приходил к 12, уходил в 19, имел пару часов в день на свои занятия), и только на полгода прикоснулся к другой компании, где надо было приходить в 9 и уходить в 18 (правда, час обеда), плюс чуть больше ожиданий от доступности вне этого времени, ну и даже on-call был. Но и платили там ооочень неплохо.


    Если изначально цель «жить без работы годами», то из, условного, Урюпинска, лучше не выезжать, там так и живут, годами :)

    Моя цель — иметь возможность так прожить и не сильно напрягаться, а что я там при этом делаю в личное время — дело десятое, и государства это касаться не должно.


    Кстати, угадаете, когда у меня


    работа кончилась?


    Похоже, в Европе я бы так не смог.

  • «Некоторые более равны, чем другие». Удаленные сотрудники из Кремниевой долины сталкиваются с большим урезанием зарплаты
    +12
    То есть ему придётся быть более лояльным компании, логика "я ж крутой разраб, уволят — за неделю новую работу найду" уже не применима.

    Так поэтому эта лояльность и конвертируется в меньшую зарплату.

  • «Некоторые более равны, чем другие». Удаленные сотрудники из Кремниевой долины сталкиваются с большим урезанием зарплаты
    +10

    Если в договоре это прописано.


    У меня в последнем договоре было прописано, что если компания увольняет меня without a good cause (если я не прихожу на работу бухим, делаю свое дело, и так далее), то она платит вполне такой себе ощутимый severance. Хотя я обычный софтварный инженер.

  • «Некоторые более равны, чем другие». Удаленные сотрудники из Кремниевой долины сталкиваются с большим урезанием зарплаты
    +5

    Странно, вы говорите о курсе экономики, а заголовок меняете на «капитализм».

  • Scala мертва?
    +1
    Ни один из перечисленных продуктов не был флагманским для Гугла, и никаких юридических гарантий относительно них не давалось.

    А Java для Оракла или C# для MS является флагманским продуктом? Я как-то думал, что основные деньги они зарабатывают не на них. Да и, в конце концов, вы изначально написали про годность F# к тырпрайзу — как там с юридическими гарантиями?


    Не понял вопроса.

    Мне в языке интересно в первую очередь то, насколько быстро там исправляются проблемы и насколько быстро запиливаются новые фичи, которые упрощают мою жизнь (чтобы не ждать новых стандартов по 13 лет, как было с C++11, и потом ещё 2-3 года на компиляторы).


    И вот по наблюдениям за разными языками, хаскель как в ghc опережает подавляющее большинство других языков (включая те, которые мне более симпатичны, чем хаскель), особенно если учесть эффект низкой базы для некоторых других языков.


    Если речь о других языках с корпоративной поддержкой, то кроме Явы и Шарпа, мы имеем сейчас как минимум Го, Раст и Свифт.

    Что интересного и нового есть в го или свифте?


    Кстати, какой корпорацией поддерживается Rust?


    golang.org/doc/go1compat

    А юридические гарантии-то тут где? Если они нарушат все эти intensions и expectations, я смогу на них в суд подать?


    Плюсы поддерживает ISO, до стандартизации пользоваться ими для серьёзного энтерпрайза было неоптимально.

    Что значит «поддерживает»? ISO занимается вопросом стандартизации, а реализациями она не занимается вообще.


    Кажется, мы по-разному понимаем юридическую поддержку.

  • Переезд инженера в Нидерланды: рулинг, кеннисмигранты, стоимость жизни
    +1
    Это достаточно интересный показатель социального расслоения общества, достаточно сравнить российские зарплаты продавцов в любом магазине и депутатов. Для некоторых — это важно.

    А чем этот показатель важен сам по себе? Лично мне важнее, как хорошо может жить самый нижний перцентиль, а не какова разница между низшим и высшим.


    Тогда, при регистрации на бирже труда

    А это требует от меня реакции на предложения о работе?


    будут платить ровно столько же, сколько ты получал на последнем месте работы в течении 6 месяцев.

    Ух, какой долгий и щедрый срок! Интересно, о каком переезде ради социальной защищённости можно говорить, если в куда менее социалистических странах можно (за счёт меньших налогов и большей зарплаты) за 3-4 года обзавестись достаточным количеством денег, чтобы жить без работы годами.

  • Scala мертва?
    +1
    Я думаю, что назвать Оракл или Майкрософт подверженными фактору автобуса это большое допущение. На уровне ядерной войны большое.

    Интересно, пользователи Google Reader/Picasa/Google+ думали так же?


    Так не растут и не развиваются с той же скоростью, как с таковыми, в том и суть.

    А можно пример другого языка, который бы развивался с аналогичной скоростью?


    Для Оракла и Майкрософта их языки это флагманы с соответствующими гарантиями, подтвержденными в том числе и юридически.

    Давайте лучше Go обсудим. Какие гарантии подтверждены юридически у Go?


    А перечисленные выше проекты на Хаскелле это именно проекты, в крупных технологических компаниях их бывает много, на разных языках и без особых гарантий.

    Критерий готовности языка к тырпрайзу «есть компании, стоящие за этим языком, с юридической поддержкой», то я не знаю, как мы на плюсах писали в прод. К кому надо было бы обращаться, если что? И, кстати, если что?

  • Предпочитайте Rust вместо C/C++ для нового кода
    0

    Ну это да.


    В любом случае, интеграционные тесты — дело полезное, конечно, но вот (возвращаясь к исходной теме) что-то мне подсказывает, что обычно в таком случае о покрытии кода особо не волнуются (а волнуются о покрытии спеки, что ли). И вот по опыту, когда начинают говорить о покрытии кода/ветвлений/етц, то тесты используются именно как такая недоверификация.

  • Предпочитайте Rust вместо C/C++ для нового кода
    0
    Формально доказывая что продукт работает вы рискуете ошибиться дважды (в продукте и при формализации ТЗ, а если это АПК — то ошибка возможна ещё и при построении модели аппаратной части).

    А кто мне мешает ошибиться в тесте? Тесты же не даны нам свыше, они тоже как-то следуют из ровно той же формализации ТЗ.

  • Предпочитайте Rust вместо C/C++ для нового кода
    +1
    Ну а я очень много…

    Например? Я-то могу рассуждать только в вероятностых терминах, мол, что решение компании T будет, возможно, медленнее решения компании Z, и тому подобное.


    Ваше мнение, в данном конкретном случае, безусловно очень важно для меня.

    Моё мнение тут совершенно ни при чём, это просто вещи разных типов. Это, ну, как диалог вроде
    — А какие языки вы используете для решения этой задачи?
    — Одна компания использует git, а другая — svn, что вам это скажет?

  • Предпочитайте Rust вместо C/C++ для нового кода
    +1

    Вообще ничего. Кроме того, что реконструкция имеет малое отношение к формальной верификации.

  • Предпочитайте Rust вместо C/C++ для нового кода
    –1

    Отрицанием (или снятием двойного отрицания) же можно привести одно к другому.

  • Scala мертва?
    0
    Соглашусь, что это ИМХО, но моё ИМХО говорит о том, что когда за языком стоит кто-то, защищающий его от фактора автобуса и вкладывающийся в его маркетинг и поддержку, это больше хорошо, чем плохо.

    Но тогда он сам становится фактором автобуса. А если язык растёт и развивается без таковых компаний, то это, ИМХО, и значит, что у него всё в порядке.


    Ребята хорошие, но это всё ресёрч.

    Из ресёрча там, разве что, работающий в MSR SPJ. Остальные перечисленные вполне себе не ресерч-товарищи (а кучу людей с вузовскими аффилиациями я даже и не упоминал). Фейсбук там антиспам свой держит и другие внутренние инструменты, у гугла были какие-то внутренние проекты, well-typed — консалтеры, просто дофигя коммитят в основной компилятор, tweag — тоже, пусть и коммиттеров чуть меньше (зато вот именно они линейные типы впилили пару месяцев назад), и так далее.

  • Предпочитайте Rust вместо C/C++ для нового кода
    +1
    Есть NDA.

    Не представляю, каким должно быть NDA, чтобы запретить вам сказать «Coq»/«Frama-C»/etc, если инструменты известные и сделаны не вашей компанией. А в приватность инструментов не верю по ряду причин.

  • Предпочитайте Rust вместо C/C++ для нового кода
    0
    фактическое отсутствие менеджера зависимостей...

    Тем привычнее.

  • Scala мертва?
    0

    Я не очень понимаю, что для вас «взлёт». Есть вакансии, есть люди со знанием (я в тех же резюме видел хаскель примерно так же часто, как раст, хотя для C++-конторы можно было бы ожидать существенный биас в сторону раста), есть экосистема, есть неплохой тулинг, есть компании-консалтеры. Что ещё нужно-то?

  • Предпочитайте Rust вместо C/C++ для нового кода
    0

    А тесты тогда зачем?


    И какими инструментами доказываете, если не секрет?

  • Scala мертва?
    0
    К сожалению, за Хаскелл так и не встала ни одна крупная корпорация, поэтому не могу его обсуждать в контексте энтерпрайза

    Не уверен, что могу придать такой вес критерию «стоит крупная корпорация». С некоторого момента (который и для хаскеля, и для условного раста, и для окамла давно пройден) это, ИМХО, не столь важно и скорее даже вредно для развития.


    У OCaml хотя бы есть Jane Street

    Так Jane Street им пользуется. Так-то и Galois пользуется коком, но кок в тырпрайзе лично я точно не вижу.


    а что есть у Хаскелла, кроме академии?

    Microsoft (где работает широко известный в узких кругах Simon-Peyton Jones?), Facebook (Simon Marlow), Касперский что-то на хаскеле делает, из других российских недавно Serokell появился, всякие там Tweag, Well Typed и прочие активно консалтят и контрибьютят.

  • Предпочитайте Rust вместо C/C++ для нового кода
    +1

    Эх, а могли бы формально доказывать вместо упования на тесты.

  • Переезд инженера в Нидерланды: рулинг, кеннисмигранты, стоимость жизни
    +3
    Зарплата «синьёра» в Нидерландах — 60-65 за пределами Амстердама, на руки около 3500.

    Целых 2.5 МРОТ!


    В Амстердаме легко выйдет и 100, но там и жильё съест намного больше, чем принесёт разница в оплате.

    Раз мы тут абсолютными цифрами меряемся, то в каком-нибудь NY легко выйдет и 200-250.


    Тот же пример с зарплатами премьер-министра, когда в НЛ она лишь в 5 раз выше МРОТ, а в РФ эта разница составляет более чем 50 раз. Так что смысл есть, если кто-то просто хочет спокойно жить с семьёй, а не ждать очередных войн правительства со всем миром и рубль по 90 за евро.

    Мне куда важнее, какая зарплата у меня, а не у премьер-министра. Премьер-министр один, им вообще можно пренебречь.


    А про социалку… Ну, например, если я через 3.5-4 года после переезда уйду с работы, сколько денег и в течение какого срока мне будут платить? Если у меня при этом есть офферы в другие фирмы, куда я идти не хочу?

  • Переезд инженера в Нидерланды: рулинг, кеннисмигранты, стоимость жизни
    0
    Бедность такова, что МРОТ в стране 1400 euro на руки

    И? Без уровня цен это ни о чём не говорит.


    а нидерландских туристов можно встретить в любой точке мира.

    Российских туристов тоже можно встретить в любой точке мира. Ура, РФ небедная страна с небедным народом!

  • Американское министерство торговли обязало каталоги приложений удалить TikTok и WeChat в США
    –1

    С другой стороны, в РФ военная обязанность, а в США всего-то selective service registration. Это как влияет на баланс свободы?


    Или вот в США можно спокойно сказать «хватит кормить Калифорнию», а в РФ «хватит кормить Кавказ» — официально экстремистский лозунг. Или можно сказать что-нибудь про религию, не боясь получить оскорбление чувств верующих. Или есть castle doctrine и в доброй части штатов stand your ground.


    Но, возможно, бухло важнее, а я просто ничего не понимаю в жизни.

  • Scala мертва?
    0

    Так я не с шарпом сравниваю, а с каким-нибудь хаскелем. Библиотек порядком, система типов приятнее, в пять раз больше вакансий в моём городе, в бесконечное количество раз чаще видел в резюме у людей (хотя работал в C++-шопах, где нет биаса ни к хаскелю, ни к F#).

  • Предпочитайте Rust вместо C/C++ для нового кода
    0

    Предпочитайте Idris вместо Rust для нового кода. Там и нормальные вычисления времени компиляции, и job security вернётся.

  • Предпочитайте Rust вместо C/C++ для нового кода
    +1

    Ну это прикольно мозги поразминать, всякое там уровня «мама, посмотри, как я могу». Когда шаблончики начинают использоваться всерьёз, и когда код начинает быть связан с какой-никакой ответственностью, а не делается как хобби-проект по вечерам, то это всё становится неоправданно больно.


    Для продакшена бы всё-таки хотелось адекватный параметрический полиморфизм как минимум.

  • Scala мертва?
    0

    А вот к тому, годится ли F# для тырпрайза, у меня есть некоторые вопросы, но то может быть связано с моей областью деятельности (и с тем, какие технологии были вокруг меня, что я видел в резюме у людей, и сколько работ есть, если поискать в условном indeed).

  • Scala мертва?
    +3

    Это ФП из лиспосемейства, а товарищи из ML-клуба на него смотрят как на императивщину.

  • Scala мертва?
    0
    Ну причиной может быть например экосистема, которой нет (предположительно) у хаскеля, но есть у скалы.

    В данном случае это именно что «предположительно» :) У хаскеля есть порядком библиотек, не все из которых есть для джавы или скалы. Обратное, конечно, тоже верно (как и у любой пары языков — я вам гарантированно найду библиотеки под плюсы, которых нет под джаву).


    А учитывая вещи типа таких или таких или даже таких (последняя — за авторством вашего покорного слуги; кстати, надо бы документацию уже написать)…

  • Предпочитайте Rust вместо C/C++ для нового кода
    +1
    Но на язык без скобочек будут нормально смотреть лишь любители Питона.

    Хаскелистам тоже норм, там даже круглых скобочек куда меньше, чем в питоне.

  • Как НЕ надо начинать изучать программирование
    0
    Даже в вашей цитате последней фразой написано, что использование термина "динамическая типизация" является стандартом :)

    Делайте скидку на американскую культуру. Там достаточно слов «misnomer» и «should be replaced». «But the usage is standard» — это «но использование устоялось».


    Это как сказать, что, конечно, правильно писать «ться»/«тся» так, как в словаре, но практика устоялась, поэтому будет использоватся неправильное написание, даже там, где текст корректируеться редактором в профильных изданиях, например.


    "tractable syntactic method"

    ИМХО это вот как раз стандартные термины. Tractable — эффективно реализуемый на машине. Прямой перебор, например, intractable.


    Как к этому относиться в случае языка, который позволяет тьюринг-полные вычисления на уровне типов/во время компиляции?

    Intractable, и, хуже того, undecidable.


    Поэтому, например, все практические зависимо типизированные языки во время компиляции допускают только доказуемо завершаемые вычисления, и если функция не доказуемо завершима, то они её вообще не пытаются нормализовать и относятся к ней как к uninterpreted function (по крайней мере, так точно делает идрис и, кажется, так делает агда).


    Например, если я напишу заведомо нетотальную функцию


    whatever : Nat -> Nat
    whatever x = if x < 10 then 1 + x else whatever (1 + x)

    То я всё равно смогу доказать теоремы типа такой:


    wCong : x = y -> whatever x = whatever y
    wCong Refl = Refl

    Тут поведение функции неважно, ведь если x = y, то f x = f y для любой f.


    А вот такую теорему я доказать уже не смогу:


    wBad : whatever 2 = 3

    потому что для этого надо смотреть на поведение функции, а она нетотальная, нельзя туда смотреть.


    А если язык типа C# вроде бы статически типизированный (кроме "dynamic"), но с помощью reflection во время выполнения можно много чего нагородить?

    Я недостаточно хорошо знаю, что именно там можно нагородить, но если бы мне нужно было построить формальную модель сишарпа, то я бы сказал «давайте забьём на рефлекшн и предположим, что он нигде не используется», или, лучше, «мой формализм работает только в случае, если использование рефлекшона ограничено таким-то, таким-то и таким-то образом».