Haskell

08 April 2026 12:47

Степень это стрелка?

Haskell

08 April 2026 12:44

поясняю. в русте есть произведение и сумма, но нет степени

Haskell

08 April 2026 12:41

https://rustc-dev-guide.rust-lang.org/ty-module/generic-arguments.html

Haskell

08 April 2026 12:13

там не смогли сделать раздельную компиляцию и АДТ

Haskell

08 April 2026 12:11

Я тебе объясняю что умеет делать бекпак, а не это вот всё.

Haskell

08 April 2026 12:10

Ну в расте трейты отличаются от тайпклассов во многом тем что inline+specialize по дефолту везде. По итогу там проблем с компиляцией не меньше чем в Хаскеле

Haskell

08 April 2026 11:50

Ну представь что ты хочешь плотно упакованный вектор, без Storable

Haskell

08 April 2026 10:54

Ну и на более мелких сильно помогало

Haskell

08 April 2026 10:50

Принципиально или на практике с эвристиками и без прагм?

Haskell

05 February 2026 17:37

а как вы сообщения с музыкой посылаете?

Haskell

05 February 2026 17:36

Деревня скрытого перфоманса

Haskell

05 February 2026 16:49

Обычные рекорды с инстансами для парсеров. Мне не нужны сеттеры

Haskell

05 February 2026 16:47

А что тебе вместо линз нагенерить?

Haskell

05 February 2026 16:44

Разбей на несколько файлов. Я не замечал особой медленности.

Haskell

05 February 2026 16:43

Обновятся .proto файлы - ребилд. Кому-то дашь в руки - билд

Haskell

08 April 2026 12:46

чем принципиально отличается

struct MyStruct<T> { x: u8, y: T }

data MyStruct t = MyStruct { x :: Word8, y :: t }

Haskell

08 April 2026 12:42

in rust this refers to a struct, enum, or union.

Haskell

08 April 2026 12:24

В смысле HKD? У нас смогли, но ценой того что умности оптимизатора при использовании HKD может не хватать, но Раст тупее и просто не имплементирует. Если на Хаскеле не использовать HKD то все прекрасно мономорфизуется и рекордов на хипе вообще не существует - только прямые обращению к буферу. Я все еще не понимаю что такого умеет бэкпак чего не умеют тайпклассы с дженериками

Haskell

08 April 2026 12:12

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

Haskell

08 April 2026 12:10

Это про memory layout

Haskell

08 April 2026 11:51

как в плюсах там, или русте

Haskell

08 April 2026 11:48

Ну это же не значит что всегда компилятор не сможет убрать материализацию рекорда

В любом случае не понятно как тут поможет бэкпак и зачем нужен еще один способ выразить ad-hoc полиморфизм на уровне сборщика из-за кривости оптимизатора когда все есть на уровне языка и можно допилить оптимизатор. Абсолютно закономерно что на поддержку накостыленой бесполезной фичи по итогу благополучно забили

Haskell

08 April 2026 10:51

Ну нельзя навесить UNPACK

Haskell

05 February 2026 19:08

кстати, HLS вполне переваривает такой пакет, правда закономерно потребляя много памяти

2026-02-05T18:06:41.584562Z | Info | Live bytes: 6692.62MB Heap size: 11836.33MB

Haskell

05 February 2026 17:36

шо там с перформансом и линзами?

Haskell

05 February 2026 16:54

Ни один истинный хаскелист не может быть линзофобом

Haskell

05 February 2026 16:48

setUser_NameText, setUser_NameString?

Haskell

05 February 2026 16:47

Если бы оттуда выкинули линзы и не генерировали бы 1.1кк строк - было бы нормально для такого большого бинда

Haskell

05 February 2026 16:44

Только бинарный кэш с никсом от части решит проблему

Haskell

05 February 2026 16:41

Я про сборку в пол часа