p
Мне для телока это критично
Size: a a a
2021 May 06
AN
Оо?
p
А для umlsm ещё критичнее
p
Там все построено вокруг этих индексов франковских сейчас
О
походу вы с тревелером помогли не только мне
AN
кстати я понял откуда берутся километровые трейтбаунды. ты просто берешь и копируешь то что высрал компилятор. А там он без тайп алиасов. В итоге получается токомака (или как там ) стайл
О
но это то программирование, которое мы заслужили
AN
так чтобы убрать индекс надо айдишники ввести. Подругому я не придумал, я даже пытался вдохновится идрисом но не помогло.
p
Я на самом деле забыл что у нас typelevel тьюринг-полный
p
И значит все что угодно можно посчитать
О
так все, осталось только этот md5! написать
AN
ну нее... индексы ты не посчитаешь
AN
ебись провались. ты хочешь md5 в тайпнум засунуть
О
а можно поидее все название как битстринг этот засунуть
О
2 жыжабайта на компиляцию, 5летка на сборку проекта
AN
если ты сделаешь U18446744073709551616 то мне кажется это борода
ΑZ
не, я уже забил, спасибо
ΑZ
написал скрипт который после генерации проходит и фиксит
О
можно через прок дерайв накалякать, во
AN
ну самый разумный вариант это завести централизированое хранение индексов. В каком то отдельном файле.