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

ну щас хаскелисты любят аннотации писать, я думаю их этим не напугаешь!

там кстати не появился INLINABLE для всех определений в модуле еще?

нет

какие-нибудь идеи почему?

понятия не имею

я думаю это вообще не в нынешнем хаскельном мейнстриме где больше страдают по скорости компиляции

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

языки, которые компилируют из GHC Core пользуются этой фичей. Ну или пытаются пользоваться. В Плутусе сделали / пытались сделать, но там проблема в том, что компилить из оптимизированного core в plutus core — это боль, и все разъезжается к херам

другой такой — daml, но я хз, пользуются ли они этой фичей в итоге

там вообще какое-то бесконечное количество боли с компиляцией из ghc core, хорошо, что я в этом не участвую

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

а Митчелл отличный пост написал про поиск очередных спейс ликов

> The Haskell (Mu) compiler I wrote used no mutation, and the compilation speed up to, and including, type checking was about 15,000 lines/s. That was 5 years ago, so I expect it to be faster now.

>> I'm sorry to report that the current speed of Mu type-checking is somewhere around 1200 LoC/s. We aren't entirely sure what is the cause of the order-of-magnitude drop in speed, but we think maybe the large increase in type-level programming over the last 5 years could be a factor.

(два последних сообщения не связаны)

вот к чему приводит отсутствие regression perf benchmarks
расстроили леннарта почём зря

представим такую ситуацию.
вoт есть oпенсoрсная либа, кoтoрую испoльзует чувак в свoём бизнесе и в кoтoрую ты кoнтрибутишь в свoбoднoе время.
oн задаёт вoпрoс, на самoм деле 3: 1 — лёгкий, а 2 других - чуть пoтруднее.
ты oтвечаешь на лёгкий вoпрoc.
oн oтвечает в духе I really care about more complicated cases.

внимание, вoпрoс: наскoлькo бестактнo будет звучать такoй oтвет:
I'm facing some covid cases right now. I don't think your cases are more complicated
?

А что сказать хотел?

Что извините, у меня сейчас иные проблемы?

Ну желательно потактичнее