раскройте мысль

"Да нормально всё, щас хуяк хуяк и в продакшен. Да всё нормально будет, чо ты переживаешь. Всмысле сотни лямов зелёных зависли из-за бага в смарт-контракте?"

это не мешает ему писать нормальный код

> Кроме того, я отвечал на тезис о том, что знание математики не должно быть обязательным для программирования. Да, если это программирование сайтиков или игр - необязательно. Если разработка критических систем (авиация, космос, здравоохранение, энергетика), то должно. не уверен, что какой-нибудь тровальдс знает теорат

Корректность. Без него был слишком высокий bug rate и невозможность рефакторить (на RoR). Грубо говоря.

> не уверен, что какой-нибудь тровальдс знает теоркат Ну и посмотрите, что из этого вышло

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

> В частности, я понимаю, что если мне кричат "покажи пример", это меня всё равно ни к чему не обязывает. 😜 ну не показывай, просто твое утверждение тогда голословное

а что потом случилось?

что вышло? Отличная ОС

А потом он уехал на Кипр, на бОльшую зарплату. И меня больше всего интересует, не то, что в Селектеле осталось - там у них руководство для этого имеется, пусть они думают, а увёз ли он своего спутника жизни на Кипр, или один уехал.

А, так это он селектель чуть в гроб не свёл.

Нормально делай - нормально будет. А то опять плотник инструмент ругает а не свои кривые руки. Какие у вас есть доказыва того что программы на хаскеле более корректны чем на с++?

😂 Вот это классный наезд! "Какие ваши доказательства?" Респект! 😂

😂 Вот это классный наезд! "Какие ваши доказательства?" Респект! 😂

что вышло? Отличная ОС

Я тебе открою (не) секрет. Леонид сам на хаскеле прод пишет и просто тебя троллирует.

Я тебе открою (не) секрет. Леонид сам на хаскеле прод пишет и просто тебя троллирует.

футакимбыть

Я написал весьма развёрнутое обоснование своего утверждения. Более того, там даже было про то что "количество багов не зависит от количества строк кода" и "любят зав. типы, несмотря на то, что нужно больше писать". Т.е. я не говорил, что монады или алгебраические эффекты уменьшают количество кода - мне глубоко плевать уменьшают или увеличивают, польза совсем в другом. Но это, конечно же, совершенно нелогично - как можно хотеть писать больше кода?! Бред какой-то! 😃

что сегодня

но зачем она нужна объяснить не может

Папиру читай!

"смотрите, теперь вы можете писать бла-бла-бла" - это хуйня

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

Корректность. Без него был слишком высокий bug rate и невозможность рефакторить (на RoR). Грубо говоря.

погоди я только понял что вопросики не нужны а нужны ду нотации

там нет кода

http://math.andrej.com/wp-content/uploads/2012/03/eff.pdf

А! Теперь понятно почему Вы пишете по N сообщений подряд - Вы не читаете дальше первого предложения! Или это ограничение Вашего Телеграм-клиента? 😂

Любая достаточно выразительная система типов формально не разрешима. В любом случае придётся писать аннотации, что вот этот тип - существует. Раз. Формальная правильность программы не гарантирует её соответствие спецификации. Два.

Вы понимаете разницу между разрешимостью, полуразрешимостью и неразрешимостью? Кроме того, что Вы называете формальной правильностью, если не соответствие спецификации?

вы тут опять предлагаете сделать раст ещё более неюзабельным для нормальных людей?

ДА! Нормальные люди пусть пишут на своём C++! Или Go (to hell). 😂

Интерпретируйте так, чтобы текст имел смысл. Формальная спецификация - это формализация того, что нам нужно на самом деле (спецификации).

я вангую сейчас срачи уровня "ваше утверждение неверно так что реплика игнорируется"

# docker run -it reqwest-test:0.0.1 Error: Error { kind: Io(Custom { kind: Other, error: Ssl(ErrorStack([Error { code: 336134278, library: "SSL routines", function: "ssl3_get_server_certificate", reason: "certificate verify failed", file: "s3_clnt.c", line: 1269 }])) }), url: Some("https://www.rust-lang.org/") }

там просто ssl ссл статиком собран