Nick Ivanych

А когда уже линейные типы откатят? Все сроки уже проходят! Так дальше пойдёт, так они и совсем в хаскеле останутся!

А какая есть быстрая однопоточная мапка из uuid'ов? И очередь тоже бы неплохо быструю.

А линейные типы ещё до сих пор не убрали?

Несколько передёргиваю, но всё же. Есть у нас (допустим) traverse :: Applicative f => (a -> f b) -> t a -> f (t b) Зачем там требовать Applicative, когда можно спросить монаду...

А не появилось ли где-то бенчмарков нового realtime-мусорщика в ghc? Вот для обычного мусорщика, имхо, очень неплохие были бенчмарки на примере сетевого драйвера. Что-то бы по...

Это имеется в виду? https://elvishjerricco.github.io/2016/09/17/abstracting-async-concurrently.html

А что может быть нового в хаскельном компиляторе, кроме фич? Оптимизации?...

Хочешь писать в хаскеле a → b, λx → f x и что-нибудь типаа analyze :: ∀ f eff a₀ b₀ r. (Applicative f, Monoid r) ⇒ (∀ a b. eff a b → f r) → FreeA eff a₀ b₀ → f...

Скажите, а кроме ghc-8.10.5, какой поддерживает всякие там M1 на макбуках?

А как формулируется проблема?

> 4) едь на велосипеде А моноколесо подойдёт?

Интересно, а можно ли как-то получить do-notation в селективных функторах (разумеется, в тех случаях, когда это возможно)?

А к 9-му ghc они успеют?

А за счёт чего в ghc-8.10 должен ускориться polysemy? Я не увидел таких изменений, которые бы этому поспособствовали. Что я пропустил?

А линейные типы там откатили? Уже пора, пожалуй. А то ж, так придётся поверить, что их вмёржили всерьёз!

Но линейный-то будет?

Ну ладно. Но хоть SLR можно? ;-)

Насчтёт можно пусть решают, но насколько целесообразно... Не проще ли спросить в чатеге на эту тему?

А с тех пор, какие-то бенчмарки про мусорщик новый были?

@JohnRoebot Скажи, а нужны ли нам свободные монады?