EG
И чтоб я знал почему у них разные баунды
Size: a a a
2021 April 30
EG
И зачем нужна возможность запустить сервер, который нельзя создать (баунды на втором импле местами слабее)
AN
А там проблема что два раза одно И то же
EG
Ты противоречишь сам себе.
> приятно точно знать, что и как функция делает, почти как в хаскеле
> Но обычно надо читать только некоторую часть, когда компилятор ругается.
Либо ты собираешься читать сигнатуры, либо нет.
> приятно точно знать, что и как функция делает, почти как в хаскеле
> Но обычно надо читать только некоторую часть, когда компилятор ругается.
Либо ты собираешься читать сигнатуры, либо нет.
EG
Там не одно и то же. Там тонкое различие, и нихуя непонятно зачем.
AN
Вообще это немного косяк раста. Надо не повторять все баунды а как то их объединять дополнять.
EG
Rust так умеет, можно навешивать дополнительные where на функцию.
TK
Пока проблем не возникает, читать как бы и необязательно, но вообще именно с лайфтаймами есть некоторые сложности
EG
Более того, даже на трейтметод в объявлении трейта.
AN
Т.е баунды надо ставить на структуру в первую очередь иначе не понятно.
EG
Баунды не надо ставить на структуру, это антипаттерн.
AN
А уже на имплы кидать только когда специализация
EG
Если ты ставишь баунды на структуру, то тебе придётся их повторить минимум два раза.
AN
Это проблемы раста.
EG
Хаскелль делает так же, например
AN
Он просто тупой в этом месте
EG
В нём вообще нет баундов на типы, по-моему, @DogeShibu поправь если не прав
AN
Ну или просто если были бы алиасы для баундов какие то. Вообщем я не знаю как лучше, но что то можно придумать
DS
Ты можешь их поставить, запросто:
data Wut = forall a. (Show a) => Wut a
data Wut = forall a. (Show a) => Wut a
EG
А, ок. Не видел такого особо, но я не так много хаскеллекода читаю