ΑZ
самое большое количество констрейнтов что я видел - в актиксе - 6 штук
Size: a a a
2021 March 07
ΑZ
не считая томаку офк
ΑZ
не так уж дофига
ΑZ
Roman Blog
и ты будешь до посинения компилировать этот код, как это делают все. Никогда, кроме примитивных случаев, ты не будешь заранее знать что тебе нужно описать у своего типа, чтобы соответствовать ограничениям
как ни странно - компилятор помогает
ΑZ
в большинстве случаев
RB
как ни странно - компилятор помогает
правильно, поэтому тебе ненужны там интерфейсы.
RB
потому что ты будешь смотреть на то, что тебе напишешь компилятор/асист в ide
RB
самое большое количество констрейнтов что я видел - в актиксе - 6 штук
ну это примитивная хрень. И даже я видел, не смотря на то, что ничего не пишу - видел уже 20 и более штук. Причём в рядовой херне
ΑZ
Roman Blog
правильно, поэтому тебе ненужны там интерфейсы.
я хочу видеть в типах что функция умеет. А не просто знать "та вот функция после раскрытия юзает плюс, значит типы должны уметь складываться"
RB
я хочу видеть в типах что функция умеет. А не просто знать "та вот функция после раскрытия юзает плюс, значит типы должны уметь складываться"
Ты этого никак не узнаешь - ты просто ретранслируешь пропаганду. Нельзя написать "Хочу" не обосновав зачем. К тому же - ты можешь это написать. Модель С++ позволяет использовать констрейты
ΑZ
Roman Blog
Ты этого никак не узнаешь - ты просто ретранслируешь пропаганду. Нельзя написать "Хочу" не обосновав зачем. К тому же - ты можешь это написать. Модель С++ позволяет использовать констрейты
обосновываю: я хочу глядя в незнакомый код видеть какие ограничения на типы. Не ныряя в кишки, а просто по сигнатуре видеть "ага, требуется то-то и то-то"
RB
пиши там свой num, ord или ещё какую херню. Более сильная модель включает в себя более слабую почти всегда
ΑZ
пример из жизн, когда я поменял 2 строчки кода местами и все нахуй развалилось
ΑZ
констрейнты с таким помогают
RB
обосновываю: я хочу глядя в незнакомый код видеть какие ограничения на типы. Не ныряя в кишки, а просто по сигнатуре видеть "ага, требуется то-то и то-то"
Ты ничего не поймёшь, потому я возьму любую либу и спрошу тебя "что нужно реализовать, чтобы удовлетворить этот констрейт" и ты не ответишь
ΑZ
Roman Blog
пиши там свой num, ord или ещё какую херню. Более сильная модель включает в себя более слабую почти всегда
ты исходишь из того, что библиотечный код правильнйы. Однако проблема в том, что ты никогда не знаешь наверняка не заюзал ли ты что-то что не хотел
RB
поэтому ты пойдёшь как раз таки смотреть. Кроме каких-то базовых констрейтов и примитивных
ΑZ
Roman Blog
поэтому ты пойдёшь как раз таки смотреть. Кроме каких-то базовых констрейтов и примитивных
обычно компиль пишет "Трейт такой-то не сатисфайд" и иногда даже предлагает импортнуть из либы где он реализован автоматически
RB
обычно компиль пишет "Трейт такой-то не сатисфайд" и иногда даже предлагает импортнуть из либы где он реализован автоматически
Т.е. то, о чём говорил я. Т.е. ты будешь запускать код, а выше ты говорил "без запуска"
RB
к тому же, повторяю. В это может крестовая модель - это не проблема. Нету выбора твоё вс моё