Size: a a a

Боль Тимлида

2021 October 11

AD

Apache DOG™ in Боль Тимлида
Правьте типы
источник

AW

Ars Wysocki in Боль Тимлида
Мешают только когда в япе недостаточно выразительност и
источник

VF

Victor Fabrichenko in Боль Тимлида
Ну да, я уже понял
источник

AW

Ars Wysocki in Боль Тимлида
В сипп void* не дают тайпчекать
источник

ii

iv iv in Боль Тимлида
Либо одно либо другое. Выбирайте
источник

AW

Ars Wysocki in Боль Тимлида
Нет же
источник

AW

Ars Wysocki in Боль Тимлида
Например, в окамле есть поддержка многих фич, о которых я говорю
источник

AD

Apache DOG™ in Боль Тимлида
Да ну нет, хаки системы типов отличаются локальностью
источник

AD

Apache DOG™ in Боль Тимлида
И не только в нем
источник

PD

Phil Delgyado in Боль Тимлида
Java может, если ты про что-то типа Map(T, List(R))
источник

VF

Victor Fabrichenko in Боль Тимлида
Правильно, надо править, но можно не править, но тогда большинство погромистов не могут в своем мозгу хранить то же, что происходит в рантайме. Мы гибкость ПО меняем на мозги погромистов и это тоже с больной головы на здоровую
источник

AD

Apache DOG™ in Боль Тимлида
Что
источник

AW

Ars Wysocki in Боль Тимлида
Вы явно указали R как типовую переменную
источник

VF

Victor Fabrichenko in Боль Тимлида
За выразительность надо чем-то заплатить
источник

AD

Apache DOG™ in Боль Тимлида
Типы это для разгрузки мозгов
источник

AW

Ars Wysocki in Боль Тимлида
У вас будет инстанс только для контейнера с содержимым типа R
источник

AD

Apache DOG™ in Боль Тимлида
В основном платят багами
источник

PD

Phil Delgyado in Боль Тимлида
Да, я понял о чем ты. Ок, а зачем это, есть жизненный пример?
источник

AD

Apache DOG™ in Боль Тимлида
Иногда порогом вхождения но сильно реже
источник

AW

Ars Wysocki in Боль Тимлида
Я код на тсе выше показывал
источник