Hog
https://www.compositional-it.com/news-blog/will-csharp-replace-fsharp/
Vasiliy
https://www.facebook.com/russiatv/videos/1030837503963409/
Hog
Привет:)
gsomix
Vasily
Я вам покажу, входит и выходит (с)
Shub
type StoreCode = | SE | NO | FI | VP
static member ofString (s : string) = ....
// for newtonsoft deserialization of map
static member op_Explicit (str: string) =
StoreCode.ofString str
|> Option.defaultWith (fun () -> failwithf "unexpected value for store code %s" str)
Без такого падает при десериализации Map<StoreCode, Whatever>.
круто, спасибо. я вообще интересовался насчет tagged DU, надо посмотреть, как они в строку сериализуются
Roman
что за tagged du?
Vasily
Всегда было интересно, зачем такое в DU хранить
Roman
?
Vasily
Ну типа кодов стран
Крылатый
Коды стран вообще в табличке отдельной нужно хранить.
Крылатый
Пушо есть ISO 3166 с его подстандартами. И наследуемый в от него ОКСМ.
Roman
ну у нас 4 магазина, и их коды не меняются. Надо объяснять, почему это сделано через юнион, а не через строку?
Hog
Там же скандинавский магаз. Стран 3.5 штуки
Hog
Почти угадал! :)
Крылатый
Roman
а, ну такие сериализуются не в строку, а в объект.
Roman
А вот если ты их хочешь использовать как ключ в словаре — тобi кришка
Shub
даже если определить сериализацию\десериализацию в строку?
Roman
а, если ты сам определишь для них (де)сериализацию, то наверное норм
Roman
но из коробки и без специфичных для нутонсофта хаков не получится
Shub
ну вообще для общего случая может и не помочь. потому что тип там любой может быть, в т.ч. и другой DU\рекорд
Roman
ну тут выход один — не использовать такие юнионы как ключ в словаре
Roman
или сериализовать чем-то другим. Или писать конвертеры
Roman
Короч да, выхода 3, а я напиздел)
Vasiliy
знает кто, какой прогой на windows можно выделить файлы и дописать им имя?
но при этом, чтобы они не переименовались в одно и то же имя
Hog
PowerToys
Hog
https://www.techrepublic.com/article/how-to-batch-rename-files-in-windows-10-with-the-powertoys-powerrename-tool/
Vasiliy
Оооо мой низкий поклон !) 🤘
Vladimir
Vasily
Неужто инлайн
Vladimir
не, без инлайна работает)
Vladimir
задачка очень простая) меня просто прикололо что один и тот же код разные типы выдает
Vasily
Ну код myF бы глянуть
Vladimir
ну в этом же и смысл задачки)
Vasily
Мутаблы есть?
Vladimir
неа
Igor
Русские буквы?
Vladimir
нет, никаких подвохов нету
Igor
А это ты такие вопросы задаёшь или тебе?
Vladislav
Vasily
Влад прав
Vasily
Там выше шадовинг
Vladimir
хотя может и не верно
Vladislav
обычная
Vladislav
жеж
Vladimir
проверил - не верно)
Roman
ну f1 и f2 определяются тайп инференсом по использованию
Roman
это значит, что myF 1 возвращает функцию 'a -> 'a
Roman
myF принимает 2 параметра, последний из которых и определяет, что это будет за 'a видимо
Vasily
let myf:'a = fun 'a->'a
Roman
но добавить единичку и норм
Vasily
А,да
Roman
let myF i = id
Vladimir
но был ответ еще проще)
Vladimir
Vasily
Ну логично
Vasily
К сожалению, в задачке много неизвестных
Roman
данных достаточно, чтобы вывести ответ
Vasily
В целом да
Roman
Василий че-то разленился
Vasily
Работаю много
Vladimir
ну в твоем случае 'a -> ('b -> 'b ) :)
Vladimir
на самом деле задачка родилась из-за ограничения фарша
Vladimir
если паршл аппликейшн к дженерик функции применяешь, то она перестает быть дженерик ;(
Vasily
Если сделать инлайном
Vasily
То вроде можно