DS
Т-34 85
а в расте так же?
В расте пока нет таких типов, там будет чуть по другому.
Size: a a a
2020 March 31
Т8
какие-то проблемы
DS
Т-34 85
мне кажется, если бы всё было так просто, сделали бы уже
Нет, просто мало кто разбирается на достаточном уровне в системах типах, чтобы знать, что это вообще возможно и кому-то нужно.
Одерски - один из немногих дизайнеров языков современных, кто разбирается в системах типах
Одерски - один из немногих дизайнеров языков современных, кто разбирается в системах типах
DS
Вот и вся история
DS
А так сделать саму по себе систему типов с HKT не очень сложно, я когда делал в игрушечном языке.
DS
Т.е. в новом скаловском компиляторе реализация HKT добавила 1-2к строк в тайпчекер
Т8
Нет, просто мало кто разбирается на достаточном уровне в системах типах, чтобы знать, что это вообще возможно и кому-то нужно.
Одерски - один из немногих дизайнеров языков современных, кто разбирается в системах типах
Одерски - один из немногих дизайнеров языков современных, кто разбирается в системах типах
ты хочешь сказать, что никто их плюсовых активных предлагателей не разбирается, как прокачать язык?
DS
Если я правильно помню.
DS
Т-34 85
ты хочешь сказать, что никто их плюсовых активных предлагателей не разбирается, как прокачать язык?
Добавить дженерики в плюсы - это нетривиальная задача, да и странно их добавлять имея уже темплейты, который пусть и менее удобные, но как-то работают.
DS
Ну и да, в плюсы что угодно добавить - это очень нетривиальная задача из-за всего того легаси багажа, что язык за собой тащит.
Поэтому там казалось бы достаточно простые вещи, которые везде есть, могут добавлять много лет с бесконечными обсуждениями в комитетах
Поэтому там казалось бы достаточно простые вещи, которые везде есть, могут добавлять много лет с бесконечными обсуждениями в комитетах
Т8
Добавить дженерики в плюсы - это нетривиальная задача, да и странно их добавлять имея уже темплейты, который пусть и менее удобные, но как-то работают.
так если их добавить, разве не потеряется принцип "not pay for what you don't use"?
DS
Т-34 85
так если их добавить, разве не потеряется принцип "not pay for what you don't use"?
Нет, дженерики - настолько же зиро-кост насколько и шаблоны, см. тот же раст
s
Дженерики это же по идее просто кодогенерация под нужные виды данных при компиляции
s
Так что да, должно быть бесплатно.
AZ
Кстати
AZ
T-34 @t91x0 вы про нуллрефтипы говорили
AZ
так вот C# не понимает, что
new NotNullReferenceType[].Where(x => x.FOo).SingleOrDefault() даёт нулл если коллекция пустаяТ8
так вот C# не понимает, что
new NotNullReferenceType[].Where(x => x.FOo).SingleOrDefault() даёт нулл если коллекция пустаяне вся BCL ещё аннотирована, погоди
AZ
а если сделать
NotNullReferenceType[]? тогда перестанет работать WHERE потому что он начнет ругаться что x может быть нулл