мы сможем написать
IEnumerable<T where (T.Count > 1)>
если будет метод который принимает такой енумерабль, засунуть в него любой не получится без ужесточения енумерабля до непустого
Ayrat
Doge
но без примеров - до / после всё равно неясно
Ну я просто говорю про зачем нужны зав типы без пруфов даже.
А то что ты говоришь - это уже с пруфами как раз
Ayrat
то есть сразу защита от говнокода в компайл тайме
Doge
А зачем? Вроде и так все норм и быстро работает
Да вообще не очень.
Какой-нибудь serde в расте как раз круги наворачивает вокруг любой сериализации на рефлексии
Igor
Да вообще не очень.
Какой-нибудь serde в расте как раз круги наворачивает вокруг любой сериализации на рефлексии
Как хорошо что у нас хороший рантам с готовой стерилизацией
Roman
Как хорошо что у нас хороший рантам с готовой стерилизацией
у нас нет готовой сериализации в рантайме
Ayrat
ты бы знал как же это круто когда можно просто взять и десериализнуть объект в List<int>
Doge
Как хорошо что у нас хороший рантам с готовой стерилизацией
Только с кастомной сериализацией очень больно.
Памяти ест ощутимо больше серде и т.д. и т.п.
Doge
А, и серде при этом не только в жсон умеет
Ayrat
и я бы честно лучше имел java.time чем system.text.json
Doge
А абстрагирован от формата
Ayrat
потому что сериализация в стд либе - ну такое.
А вот работа с датами важнее
Ayrat
всё равно получится новый ISerializable
Igor
Только с кастомной сериализацией очень больно.
Памяти ест ощутимо больше серде и т.д. и т.п.
Да но это не мешает рвать всех в techempower бенчах
Vladislav
ну только если не найдутся ебанутые которые свою строку предложат
Видел в исходниках одной црм
Doge
Да но это не мешает рвать всех в techempower бенчах
Так жизнь куда богаче одного задроченного читерскими методами бенча
Дмитрий
надо было написать интероп скалка <=> жыес
Дмитрий
сложность шейплесса переоценена
Дмитрий
по мануалу все очень просто и понятно
Дмитрий
(до этого под шейплесс не писал вообще)
Дмитрий
с магнолией кстати приседаний было бы больше
Дмитрий
а тут десять строчек
Дмитрий
ну и магнолия по другому с имплиситами работает, не всегда одинаковый результат
Romɑn
Дмитрий
и чтобы не получать "нишмагла найти имплисит" еще
EgorBo
@omgszer а ты не знаешь в дублинском офисе глеба лебедева?
Denis
Я не знаю, тут задавали этот вопрос или нет, а когда выйдет Rider с поддержкой F# 5 ?
Denis
А то я сегодня попробовал интерполяцию, хотя райдер и ругался на неё )
Ayrat
Я не знаю, тут задавали этот вопрос или нет, а когда выйдет Rider с поддержкой F# 5 ?
А чо там надо поддерживать?
Ayrat
я даже без еапа запускал
Denis
а хз, ругался на $""
Roman
я тоже
Roman
@omgszer кстати под кейсы, которые ты описал, достаточно refined types
Roman
ну типа непустая строка, непустой массив и тд
Ayrat
@omgszer кстати под кейсы, которые ты описал, достаточно refined types
ну рефайнд типы это подмножество зав типов
Roman
они ж более слабые
Ayrat
именно поэтому
Roman
а ну да
Ayrat
я хз, но с моей колокольни видится что одно от другого недалеко лежит
Ayrat
в плане сложности реализации
Ayrat
но я не писал канпеляторы!!1
Roman
мне кажется, полноценные зав типы сложней. Т.е. одно дело проверить предикат, а другое дело вывести Array[4] из конкатенации Array[1] & Array[3]
Doge
мне кажется, полноценные зав типы сложней. Т.е. одно дело проверить предикат, а другое дело вывести Array[4] из конкатенации Array[1] & Array[3]
Рефайнд типы в чем-то сложнее потому что они требуют SAT солвера для нормальной работы
Дмитрий
метро эксодус - симулятор закидывания угля в печку
Дмитрий
симулятор вылетов* только что
Vladislav
Я не знаю, тут задавали этот вопрос или нет, а когда выйдет Rider с поддержкой F# 5 ?
@auduchinok или там надо моно переопределить в настройках?
Андрей
сложность шейплесса переоценена
это ты еще сложные структуры не сериализовал, когда шейплес сам в своих в имплиситах путаться начинает. А вот когда работает то да, ихим ньютонсофтам и не снилось!
Дмитрий
Дмитрий
кейс классы в кейс классах
Дмитрий
шо ещё нужно
Андрей
не, кейсклассы это просто, а вот помешать листы, опшины и изере к примеру и приехали
Дмитрий
ну и работает все
Дмитрий
хз
Андрей
попробуй по влашински - eliminate impossible states )
EgorBo
https://twitter.com/isaac_abraham/status/1326295198989758464
Edward
EgorBo
а в репе рантайма его бы быстро на бутылку за вары посадили
Edward
Хаха, злые у вас там ревьюверы
Hog
Как у @omgszer
Edward
Просто Айрат ещё пока не царь и бог в Identity команде, вот как перепишет все тогда полегче будет lol
Ayrat
Не, я тут проездом почти точно
Ayrat
пускай они сами по 100500 алёртов в секунду обрабатывают
Hog
Зассал?