в обычных типах не прижилось, а в генериках да

OnMouseClick так же переехал лол

в общем это не паскаль, но влияние чувствуется

хз, только для интерфейсов видел префикс I

Dictionary<TKey,TValue>
GroupBy<TSource,TKey,TResult>
...

ааа, там. Там есть, да, сорри

Был сегодня на встрече по удаленке со Скоттом Влашиным, ну и задал ему заранее подготовленный вопрос о типе string50. Тезисно его ответ:
- Этот тип вряд ли подходит для модели данных основной предметной области. Там лучше таких типов избегать
- Но может оказаться уместным, например, если мы моделируем форму ввода данных. (Здесь Скотт показал пример какой-то формы для заполнения, сказав, что в этом случае может иметь смысл)
(реакция на рассказ о том, что где-то накупили его книг, и теперь по книжке внедряют string50):
- "Don't follow my book without thinking! Often there is NO single right answer."

Тут в обсуждение включились другие присутствующие, приведя другие примеры. На ТВ одна из проблем - моделирование заголовка программы. Это постоянная головная боль из-за того, что UI пишется для разных устройств, на десктопе можно показать длинный заголовок, для телефона специально заводятся укороченные варианты. В некоторых решениях явно прописывается максимальная длина такого короткого заголовка, чтобы не вставляли то, что не поместится. То есть проблема-то более многогранная, чем может показаться.

Ну и комментарий Скотта о важности публичного выражения несогласия: "Blog about it!" Подпишусь под этим.

лучше это https://t.me/Nackepelo/2283

Майкл Наки

(((Наки)))

fun

Кстати мне интересно как эта задача решается в нормальных языках теперь. Чтобы на уровне типов выразить что елемент есть в списке.

в idris можешь посмотреть, там есть еминп

Ну там нету сравнения типов тоже

Насколько я нагуглил

есть

гетерогенное равенство

Есть ссылка поточнее?

Там вот эта refl херотень что ли?