т.к. даже MutableList ломается.
Запретить конкретно массивы примитивов? Плохо, т.к. низлежащие абстрактные реализации (тот же ArrayList) будут хавать Double. Да и никто не отменял nullable массивы (нет, значения предвыбранные или NaN не подходят вместо null) или места, где юзерам хочется не думать, т.к. скорость не критична.
Единственный относительно окей вариант - варнинг, если массив примитивов можно преобразовать в примитивный массив. И тот лучше сделать на уровне инспекции IDE, как мне кажется.
Если неправ - сформулируй желаемое.
Вот про generic, честное слово, не готов. Но сегодня я наступил на аккуратно расставленные грабли, породив конструкцию, которая совершенно бесполезна и вдобавок вредна. Поэтому было предложение, подобное запретить в языке или ограничить. И я ничего не добиваюсь. Это только предложение, которое пробую аргументировать.
Обсуждают сегодня