Leo considered several languages for implementation, including Ocaml. While I'm certain his familiarity with C++ played a big part in the final decision, he has very justified reasons for choosing it. He claims that it's extremely hard to get excellent performance without breaking the nice abstractions built by such languages (memory management, data structure layout etc.), and I have to say, Lean is blindingly fast when type-checking. A lot of things become easy when working with such a mainstream language, like writing FFI bindings and using compiler frameworks.

Ничего не напоминает?

Like many of the places we frequent online, the Red Pill has become an echo chamber. The psychologist I spoke to, Mike Wood, told me this can lead to people adopting more and more extreme views. "If you’re in some sort of a group that defines itself by its opinions, then people will get more and more polarised over time," he says. "Individuals will try to conform to what the group mandates.” This is true of not just the Red Pill, but its opponents. While radical feminists on Tumblr, for example, become more extreme in their views, so too does the subreddit. In many ways, the extremes of each group justify one another's existence in their minds.

“People within the group will try to get social approval from other members of the group,” Wood continues. “So they’ll play to that standard that they’re supposed to live up to – and then people will take it further because they reason ‘If I’m more extreme about this then I will get more approval’, so the norms of the group shift over time.”

Поражение советской IT-отрасли в конкуренции с США обыкновенно объясняют сочетанием трех факторов. Во-первых, слабой технологической базой СССР и ставкой на копирование американских компьютеров, сделанной уже в 1970-е. Во-вторых, отсутствием частной собственности, конкуренции и предпринимательской инициативы. И, наконец, изоляцией перспективных технологий в военном секторе и минимальным количеством разработок двойного назначения, доступных советскому народному хозяйству. Питерс не пытается опровергнуть все эти аргументы, но сосредоточивается на альтернативном объяснении: по его мнению, ключевой вклад в провал красного интернета внесла советская бюрократия. Главный тезис его книги звучит так: в тех ситуациях, где агенты капиталистической экономики, будто бы обязанные конкурировать между собой, в действительности демонстрировали способность сотрудничать для решения комплексных и принципиально новых задач, там советские ведомства, задача которых формально заключалась в том, чтобы обеспечивать социалистическую кооперацию, напротив, усердно защищали собственные аппаратные позиции. В итоге неспособность номенклатуры договариваться затормозила проект Глушкова, а после ранней смерти академика в 1982 году у ОГАС вообще не осталось крупных лоббистов. Формально не отвергнутый окончательно проект был закрыт из-за неактуальности лишь к 1989 году. «Советский Союз не смог построить интернет не столько из-за нехватки технологий или отсутствия частной собственности, — пишет Питерс, — сколько из-за невозможности протолкнуть столь масштабный проект через все ведомства, интересам которых он противоречил».

Постоянное соревнование в злом остроумии, ерничестве, жестокой иронии есть несомненный признак интеллектуальной жизни русскоязычного общества. Это соревнование, вне зависимости от политической принадлежности соревнующегося унаследованное от Маркса, Ленина и других блестящих полемистов, в наше время наносит непоправимый вред доверию, а значит и совокупному интеллекту. И, похоже, никакая степень знакомства со священным текстами тут не помеха. Борьба с чем бы то ни было такими средствами ни к чему рационально хорошему не приведет.

Всё начинается с того что мудак-функциональщик читает какую-нибудь «умную» книгу типа Little Schemer. Ну обычно хуже того: поциент узнает про самый лучший в мире язык хаскель. И во всяких быдлосайтах и говноблогах типа хабры он черпает свои знания.
Он долго тужится, пытаясь вникуть в суть буковок и однажды он вроде что-то там понимает. И тут начинается срашное: эта пиздота лезет на форумы и выплескивает свой ментально-функциональный гной на ничего не подозревающих окружающих, обязательно делая это наиболее ублюдочным способом: на языке хаскель или лисп.

«Ах, вы знаете господа я давеча читал про комбинатор неподвижной точки. Ах, ах, божественно! Ах, какая прелесть лябмда-исчисление! Какой блеск, функции высшего порядка, рекурсия. Ах! Ах! Высший класс! Циклы? Ах, глупости! Императивщина. Фи, как скучно!»

Просто и понятно ответить на законный вопрос недоумевающих читателей «зачем это простому человеку» тупой функциональный пиздюк не может. Вместо этого он начинает с важным видом дристать многабукав о том как всё нетривиально, и тупым идиотам на том форуме куда он пришёл конечно не понять генитальных задумок. Но как говорил Лев Толстой: «Самый верный признак истины — простота и ясность. Ложь всегда сложна и многословна.»

Практического применения очередной абстрактной хуиты, функциональная мразь найти не может. Вместо того чтобы показать пользу от мозговыносящего уёбищного сгустка замыканий мудак начинает рассказывать басни о том как он научился считать факториалы и числа Фибоначчи, используя бесконечные ряды функций, которые генериуют и постоянно вызывают сами себя.
Однако попроси применить Y-комбинатор, чтобы решить какую-нибудь нешаблонную задачку: найти бесконечную же сумму всех натуральных чисел, как тут же следует неловкая тишина и пердеж в лужу.

I learned to program on a course that follows SICP, I spent all my college years learning how to program from first principles, building all the pieces from scratch. Building compilers, soft threads implementations, graph parsing algorithms... and I was happy with that way of programming!

Today I'm an iOS developer