https://github.com/ghc/ghc/commit/0e953da147c405648356f75ee67eda044fffad49

так они скоро доведут до того, что легковесные потоки часто нормально работать не будут, потому, что цикл ничего не аллоцирует

-fomit-yields ?

или как он зовется

так он же тормозной вроде

наверное

а они оптимизируют, стараются

мне целый раз делать надо было

а есть что-нибудь нормальное для FSM в хаскелле?

я видел несколько библиотек, все на вид какие-то страшные

в принципе тайпсейфные какие-нибудь ок, недавно что-то было, но я забыл название

беспокоюсь за мутабельные объекты, что-то даже и на фабрикаторе их не видел

мутабельные объекты это типа того что кметт делал?

нет, там никакой борьбы с издержками от ленивости (только с издержками от иорефов)

ну это имплементация Явором пропозала Марлоу

https://hackage.haskell.org/package/motor-0.1.0.0/docs/Motor-FSM.html чото кмк ту мач

just use machines

!

(я не серьезно)

https://github.com/yav/ghc/tree/wip/mutable-fields

Профункторы, линзы...Я тут минут 5 думал, что не так. https://www.ohaskell.guide/practice/repos.html

@A64m_qb0 а сколько full time paid девов в расте не в курсе?

Профункторы, линзы...Я тут минут 5 думал, что не так. https://www.ohaskell.guide/practice/repos.html

не вижу ошибок(

не вижу ошибок(

Открой решение.

боже

это издевательство

@A64m_qb0 а сколько full time paid девов в расте не в курсе?

нет

причём в целом для хаскеля это спорное решение с выравниванием

я теперь не знаю, сколько ориентировочно и для гхц будет

что обозначает нотация <a, b>?

где?

метью сказал, что для ghc - 2

Ben и David

а походу реляционная пара

а тех, кто не основную часть времени, но все равно за зарплату?

а это я не знаю как оценить..

Это же @astynax говорил, что у раста 15 человек, но мне это всегда казалось сомнительным, если на страницу "контрибьютеры" на гитхабе смотреть. Там примерно все то же самое что и в скале, а там человека 4 вроде работает, ну или раза в два - три лучше, чем у гхц.

а походу реляционная пара

слово реляционная, как-то только сегодня начал слышать. это теперь так зависимую (депендент) надо называть?

В раст подконтрибучивает много народу, но активных разрабов не так много, конечно

грубо говоря там в 2.5 раза больше добавивших 10KLOC+ и во столько же раз больше добавивших 100KLOC+

@qnikst

м?

ну выглядит как обычная пара

\o/ новый fast-builder на hackage

@A64m_qb0 чёт я не понял, ghc всегда алайнит распакованные поля по word?

быстро

@A64m_qb0 чёт я не понял, ghc всегда алайнит распакованные поля по word?

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

ну т.е. теперь могут и меньше, если флоаты, и если добавят новые примитивы, то и не только флоаты можно будет

это несколько неожиданно

float-ы?

или что инлайнит?

@qnikst патч для флоатов только

https://github.com/ghc/ghc/commit/cca2d6b78f97bfb79bef4dc3f75d6c4d15b94680

там просто все очевидно

и никаких вопросов

для гхц-то? по-моему, сейчас стало понеожиданнее

мне показалось что @lonokhov говорит, что это неожиданно что только для флоатов патч

ну х.з. в ghc хоть как меняй местами поля и упаковывай, не C же

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

угу

т.е. кроме них просто нечего упаковывать

нахаляву другие не сделаешь, там кучу всего менять надо я так понимаю

Так, погоди. если у меня Word8# четыре раза, то всё-равно размер будет в 4 Word${arch}?

да

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

Так, погоди. если у меня Word8# четыре раза, то всё-равно размер будет в 4 Word${arch}?

Word8# сейчас просто не существует

newtype Word8# = W#

где W# unsigned в слово

ну вот

все эти короткие инты оборачивают обычный инт-с-указатель

надо упаковывать юзай стораблы

Т.е. паковать руками в ${не помнию}Array что-ли?

а у стораблов же оверхед

вот S.Vector Word8 уже отъект length(v)

+ заголовок

который 3 слова

кек

даже больше

ещё + ForeignPtr