Roman
я шото плохо не понял, ты меня ща геем назвал?
Shub
кинь ссылку, я пока не понимаю о чем ты
Result в стдлибе - это Choice<_,_>. для него же определены два актив паттерна Success (или Ok, не помню) и Failure. ты получается заимплементил часть Failure
Ayrat
я шото плохо не понял, ты меня ща геем назвал?
мне тут усиленно твердят что это нормально!!111
Ayrat
просят пошагать в параде
Ayrat
у некоторых такая цель в Persoanl Goals есть в нашем местном эээ.... целеуказателе
Shub
я так понимаю, это потому, что ты хотел свой тип для ошибок, ну так ты можешь продолжать им пользоваться
Vasily
Пошагай
Vasily
Пару скалистов наберёшь
Shub
оно ж там Result<‘a, b’>
Shub
https://github.com/atsapura/CardManagement/blob/master/CardManagement.Common/Common.fs#L17 — вот еще пример
Shub
есть в стдлибе
Roman
Result в стдлибе - это Choice<_,_>. для него же определены два актив паттерна Success (или Ok, не помню) и Failure. ты получается заимплементил часть Failure
так Result<> тоже в стд либе, я ничего не понял
Ayrat
их уже сто лет просят
Shub
у меня в проекте есть. это марвел, штоли?
Shub
в любом случае, надо было расширением типа
Ayrat
пропозалу тыща лет на добавление Map в CE
Ayrat
https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1048-ce-builder-map.md
Ayrat
о, даже RFC есть
Shub
так Result<> тоже в стд либе, я ничего не понял
везде, где ты вертаешь Ok или Error, стоило бы вертать Ok или Failure<Error>. Error твой
Ayrat
вот ишуй
https://github.com/fsharp/fslang-design/issues/258
Shub
> cartermp added accepted needs implementation and removed implementation proposed labels on Aug 6, 2018
ближе к зиме завезут?
Roman
везде, где ты вертаешь Ok или Error, стоило бы вертать Ok или Failure<Error>. Error твой
но в чем разница? Что даст переход на чойс?
Shub
но в чем разница? Что даст переход на чойс?
можно найти стороннюю либу, работающую со стдлиб типом. получишь ништяки бесплатно
Shub
например
Shub
меньше когнитивной нагрузки посторонним людям, не знаю, насколько релевантно
Roman
так Result это не мой тип.
Roman
объясните мне, я че-то не догоняю
Shub
так Result это не мой тип.
много чего не твоего, стдлиба для того и придумана, чтобы ты каждый раз колесо не изобретал
Ilya
Shub
вот скажем ты сегодня вечером пойдешь, и почитаешь про аппликативные функторы и валидацию у того же пресловутого Влашина
Ayrat
Shub
и чо, в каждом проекте будешь пилить или все же попытаешься написать обобщенно?
Shub
я забил уже ждать.
напомните, я уже говорил, где находится вся экосистема на экономической шкале или еще нет?
Roman
Hog
А я люблю разноцветное мороженое =\
(Здесь должна была быть шутка про то, куда его надо засунуть)
Shub
https://github.com/atsapura/CardManagement/blob/master/CardManagement.Common/CommonTypes.fs#L18
Shub
тебе родина энумы дала
Ayrat
напомните, я уже говорил, где находится вся экосистема на экономической шкале или еще нет?
да нормас. Я вот на скалу смотрю, там конечно ядерный распиздец. Ограничивать фантазию тоже надо. Возможно Сайм слишком консервативен, но Одерски слишком открыт для изменений ломающих и не очень. Не может пройти мимо похоже
Ayrat
у Сайма была тактика и он её придерживался.
Shub
а вообще хз, то ли Влашин не может в документацию, то ли он бложил в первую секунду после Большого Взрыва, но вообще-то давно есть методы конвертации в нужный тип, op_Explicit или ToString
Hog
Ayrat
а вообще хз, то ли Влашин не может в документацию, то ли он бложил в первую секунду после Большого Взрыва, но вообще-то давно есть методы конвертации в нужный тип, op_Explicit или ToString
оп_Експлисит не работает в общем случае. Эти методы существуют для SRTP магии, которые требуют наличия этого метода для конвертации
Ayrat
с тем же успехом можно было написать hop_hop_Explicit
Shub
да нормас. Я вот на скалу смотрю, там конечно ядерный распиздец. Ограничивать фантазию тоже надо. Возможно Сайм слишком консервативен, но Одерски слишком открыт для изменений ломающих и не очень. Не может пройти мимо похоже
Одерски производит впечатление очень мягкого человека, в плане, что свое мнение насчет что правильно, а что нет он при себе держит
Doge
да нормас. Я вот на скалу смотрю, там конечно ядерный распиздец. Ограничивать фантазию тоже надо. Возможно Сайм слишком консервативен, но Одерски слишком открыт для изменений ломающих и не очень. Не может пройти мимо похоже
Это да, Одерски активно пользуется тем, что пилит 3.0 версию языка.
Но тут надо понимать, что скала - это прежде всего исследовательский язык. А Одерски как раз специалист по теории типов.
Doge
Так что его желание и право экспериментировать полностью понятно
Doge
И если ты берешь скалу, то надо это понимать
Shub
оп_Експлисит не работает в общем случае. Эти методы существуют для SRTP магии, которые требуют наличия этого метода для конвертации
ну для чисел эта магия работает. куда лучше писать decimal moneyVal чем moneyVal.Value
Ayrat
ну для чисел эта магия работает. куда лучше писать decimal moneyVal чем moneyVal.Value
не для чисел, а для особых SRTP функций - int, decimal, double и пр
Shub
именно это нам и надо
Romɑn
много чего не твоего, стдлиба для того и придумана, чтобы ты каждый раз колесо не изобретал
Так он и не изобретал. Result в Стд либе и есть вместе с чоусом. Два брата акробата прям в стдлибе и предаются своим радужным утехам, посмотри как там а даблине
Ayrat
то есть в общем случае у типа Foo если написать op_Explicit: Foo -> Bar кастить неявно в Bar не выйдет
Ayrat
это вам не это
Shub
то есть в общем случае у типа Foo если написать op_Explicit: Foo -> Bar кастить неявно в Bar не выйдет
в данном случае требуется конвертация в один из выше названных примитивных типов
Ayrat
но можно дописать op_Explicit: Foo -> int и пользовать функцию int!
Ayrat
Shub
ну вроде документация прямо об этом и говорит
Shub
в чем прекол писать
let getUser : GetUser =
fun userId -> ?
Ayrat
в чем прекол писать
let getUser : GetUser =
fun userId -> ?
а нельзя написать let getUser userId: GetUser =
Ayrat
потому что поди type GetUser = UserId -> ...
Ayrat
но я не знаю зачем под эту функцию отдельный алиас
Doge
да нормас. Я вот на скалу смотрю, там конечно ядерный распиздец. Ограничивать фантазию тоже надо. Возможно Сайм слишком консервативен, но Одерски слишком открыт для изменений ломающих и не очень. Не может пройти мимо похоже
Да и то, если говорить честно, то в плане дизайна яп в мейнстриме все и так слишком консервативно.
То есть большинство имеют древние системы типов, которым много десятков лет.
Вне консерватизма сидят только какая-нибудь агда с поддержкой hott и всякий жуткий экстрим типа формалити.
Shub
аннотаций не вижу
Ayrat
Да и то, если говорить честно, то в плане дизайна яп в мейнстриме все и так слишком консервативно.
То есть большинство имеют древние системы типов, которым много десятков лет.
Вне консерватизма сидят только какая-нибудь агда с поддержкой hott и всякий жуткий экстрим типа формалити.
потому что мейнстрим он про бизнес. Бизнесу плевать на блидинг едж, ему нужно зарабатывать сегодня, а лучше вчера и чтобы стабильно
Ayrat
и задёшево
Ayrat
Вот на хаскеле задёшево и стабильно ну никак не выйдет
Ayrat
нанять гору пхп макак или одного хаскелиста?...
Shub
https://github.com/atsapura/CardManagement/blob/master/CardManagement.Infrastructure/AppConfiguration.fs — .NET не умеет в ini?