AZ
Т-34 85
так, погоди, это не ошибка? Ты хочешь неизвестному типу толкнуть дженерик-параметр? А если туда придёт int, то как рантайму реагировать? Эксепшен кидать?
это то что называется HKT, теперь ты знаешь что это)
Size: a a a
2020 March 31
В
Лол
Т8
конечно возможно
а что будет, если придёт неподходящий тип? Ошибка компиляции?
DS
Т-34 85
а что будет, если придёт неподходящий тип? Ошибка компиляции?
Да, конечно. А что ещё?
DS
Точно так же, как если ты попытаешься в метод типа DoSmth<T>(T t) where T: IWtf засунуть что-то, что этому интерфейсу не удовлетврояет
Т8
Точно так же, как если ты попытаешься в метод типа DoSmth<T>(T t) where T: IWtf засунуть что-то, что этому интерфейсу не удовлетврояет
интересно, вроде не выглядит сложным сделать как в C++. Но и там тоже так нельзя
Т8
Точно так же, как если ты попытаешься в метод типа DoSmth<T>(T t) where T: IWtf засунуть что-то, что этому интерфейсу не удовлетврояет
но должен быть where, а не как Жуковский хотел
DS
Т-34 85
но должен быть where, а не как Жуковский хотел
Это вопрос синтаксиса уже
DS
А сама система типов от синтаксиса не зависит особо
Т8
Это вопрос синтаксиса уже
тебе нравится, как сделано в плюсах?
Т8
пока не инстанцируешь, не увидишь ошибки
DS
Т-34 85
тебе нравится, как сделано в плюсах?
Мне на синтаксис вообще глубочайще пофигу, за редкими исключениями.
DS
Т-34 85
пока не инстанцируешь, не увидишь ошибки
Это не проблема синтксиса
DS
Это проблема как раз системы типов
DS
И ты можешь сделать без where, так, что оно будет корректные ошибки отображать в таких случаях.
DS
См. как в скале сделано
Т8
См. как в скале сделано
а в расте так же?
Т8
мне кажется, если бы всё было так просто, сделали бы уже
Т8
значит, что-то там не так