AD
Правьте типы
Size: a a a
2021 October 11
AW
Мешают только когда в япе недостаточно выразительност и
VF
Ну да, я уже понял
AW
В сипп void* не дают тайпчекать
ii
Либо одно либо другое. Выбирайте
AW
Нет же
AW
Например, в окамле есть поддержка многих фич, о которых я говорю
AD
Да ну нет, хаки системы типов отличаются локальностью
AD
И не только в нем
PD
Java может, если ты про что-то типа Map(T, List(R))
VF
Правильно, надо править, но можно не править, но тогда большинство погромистов не могут в своем мозгу хранить то же, что происходит в рантайме. Мы гибкость ПО меняем на мозги погромистов и это тоже с больной головы на здоровую
AD
Что
AW
Вы явно указали R как типовую переменную
VF
За выразительность надо чем-то заплатить
AD
Типы это для разгрузки мозгов
AW
У вас будет инстанс только для контейнера с содержимым типа R
AD
В основном платят багами
PD
Да, я понял о чем ты. Ок, а зачем это, есть жизненный пример?
AD
Иногда порогом вхождения но сильно реже
AW
Я код на тсе выше показывал