Pull to refresh
1
1.8

Специалист по теории типов USB-кабелей

Send message

По итогам 2023 года ВВП страны вырос на 5%, что в том числе связывают с сокращением рабочей недели

Ура, циферки!

Правда, непонятно, откуда циферки. Я вот открыл подушевой ВВП по ППС ­(что имеет куда больше смысла, чем голый ВВП) — рост с 2022 до 2023 составляет 1.05%, но вот только рост с 2021 до 2022 — 6%.

Правда, там недавно до того было ковидное падение, так что пахнет эффектом низкой базы. Сравним с доковидными временами: c 2012-го по 2018-й медианный рост — 2.8%, и упомянутые выше 1.05% хуже, чем пять лет из шести предыдущего периода.

Что-то как-то так себе.

Это всё тоже заблуждение!

Нет, всё так. Истинных целей нет, это бессмысленное понятие.

То, что обычно понимают под навязанностью и истинностью — это просто спектр, где на одной стороне, скажем, прямое пиление со стороны родителей/жены/начальника, что надо хорошо учиться/заработать на шубку/мы одна семья, а с другой — просмотренный вами в детстве мультик про Чипа и Дейла, где Гаечка вызывала определённые тёплые чувства, которые у вас проассоциировались со всяким технарством, или совместный поход с вашим отцом на автовыставку, где вы хорошо провели время и после которого начали куда сильнее интересоваться автомобилями, или просто генетически обусловленные особенности вашей системы вознаграждения, требующей больший контраст нейромедиаторов для той же реакции, отчего вам нравятся громко пердящие авто и тапка в пол.

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

Не идеалогический HashMap, чуть более быстрый, использующий низкоуровневые примитивы, с массивами написаными на Си

Это не так. GHC предоставляет достаточно низкоуровневых примитивов, чтобы писать на C вообще не нужно было.

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

Считается, что использование массива напрямую небезопасно.

Кто считает?

Небезопасно обращаться по индексу через unsafeRead / unsafeWrite у условного Data.Vector, но это и в других языках небезопасно, а тут зависимые типы нас рано или поздно в итоге спасут.

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

Только почти всегда не нужно. На хаскеле не сильно сложно писать код, который будет на уровне C по производительности. Разве что, если вам нужно прямо дёргать SIMD-интринсики (но тогда вы не на С пишете), или если у вас какие-то хитрые хаки с памятью (но я не могу сходу такое придумать, что при этом не было бы UB в С).

12 ...
130

Information

Rating
1,541-st
Registered
Activity