@fsharp_flood - страница 810

Ayrat

let inline (>>=) a f = async.Return(a >>- f)

Vasily

О, точняк

Ayrat

ты можешь подсмотреть ещё укуренных операторов здесь https://github.com/haf/YoLo/blob/master/YoLo.fs

Vasily

Ух бля

Ayrat

полный ухбля

Ayrat

канона нет, акромя >>=, который из хаскеля

Ayrat

ну и мне лично, лично мне, нравится >>- как map

Ayrat

остальное кто как хочет так и дрочит.

Dr. Friedrich

Что за /u003

Ну такой кот 🤷‍♂️

x

остальное кто как хочет так и дрочит.

создай комитет по стандартизации

Ayrat

создай комитет по стандартизации

в F#? шансы около нуля, Сайм не любит нестандартные операторы

x

за что?

Viacheslav

в F#? шансы около нуля, Сайм не любит нестандартные операторы

Ну так в этом суть)) сделать стандартными какую-то часть

Ayrat

Ну так в этом суть)) сделать стандартными какую-то часть

ну стандартные уже стандартизованы в FSharp.Core :D Все что снаружи, Сайм не одобряет. А что не одобряет Сайм в экосистеме F# имеет мало шансов на победу

Viacheslav

ну стандартные уже стандартизованы в FSharp.Core :D Все что снаружи, Сайм не одобряет. А что не одобряет Сайм в экосистеме F# имеет мало шансов на победу

Нихуя он диктатор. Хотя, наверное, это даже правильно

Viacheslav

А, кстати, операторы из фейк того же, он тоже не одобряет?

Ayrat

Нихуя он диктатор. Хотя, наверное, это даже правильно

У него есть тактика и он её придерживается.

Ayrat

Тактика, как я понимаю, в том чтобы сохранить F# как более или менее френдли язык для масс. Без упарывания в высокие материи

Viacheslav

Тактика, как я понимаю, в том чтобы сохранить F# как более или менее френдли язык для масс. Без упарывания в высокие материи

Немного странно, имхо, потому что в стандартных либах лишних операторов и не появится (и не должно, тут я согласен), а в остальных - ну, тут каждый сам дурак наверное

Vasily

А какой у нас оператор для преобразования option ```'a option->('a->Async<'b option>)->Async<'b option>?

Ayrat

А какой у нас оператор для преобразования option ```'a option->('a->Async<'b option>)->Async<'b option>?

насчёт оператора хз, но это траверс

Vasily

По факту это Option.bind

Ayrat

бля

Ayrat

это по факту async.Bind

Ayrat

Василий

Ayrat

!

Vasily

У меня мозг сломался :(

Vasily

У меня есть 'a option

Vasily

Есть f:'a->Async<'b option>

Vasily

Хотя да, async.bind

Vasily

Но это не точно

Vasily

Потому как хочу получить Async<'b option>

Pavel

Потому как хочу получить Async<'b option>

накостыли let bar (f:'a->Async<'b option>) x = match x with None -> async { return None } | Some e -> f e;;

Vasily

Во, похоже на правду, спасибо

Ayrat

@vshapenko ты ж помнишь что билдеры умеют в перегрузки?

Ayrat

то есть ты можешь научить свой билдер работать с целой кучей типов

Pavel

то есть ты можешь научить свой билдер работать с целой кучей типов

зачастую они необучаемы

Ayrat

зачастую они необучаемы

ну пока в перегрузках не запутаешься, да

Pavel

делаешь так member self.map (f : 'a -> 'b) = self.bind (Ok << f) member self.map (f : 'a -> 'b Async) = self.bind (Ok << f) а он те при вызове - чет пристал без понятия че использовать

Vasily

@vshapenko ты ж помнишь что билдеры умеют в перегрузки?

Это следующий этап :)

Ayrat

делаешь так member self.map (f : 'a -> 'b) = self.bind (Ok << f) member self.map (f : 'a -> 'b Async) = self.bind (Ok << f) а он те при вызове - чет пристал без понятия че использовать

ну да, тут проблема, надо использовать разные типы :D

Vasily

@fvnever У меня сломалась консоль в райдере

Ayrat

@eglyph так, я побенчил, рефлекшн победил говнокод марвела

Ayrat

Да, марвел быстрее конченого ньютонсофта, но это соревнование инвалидов

Ayrat

UTF8Json просто быстрее в два раза в десериализации, в 3 раза в сериализации и на ПОРЯДОК меньше GC-Pressure При этом он вообще не требует нихуя кроме собсно рекорда. Прикинь, можно нихуя не писать бойлерплейта и получать гораздо лучший перформанс

Ayrat

и он работает с опшнами и прочей фшарп ебалой, да

Dr. Friedrich

Дак через структуры и генерики, посмотри пропозал на shapes в C#.

Dr. Friedrich

Там прям весьма изящный способ кодирования тайпклассов, мне очень нравится.

Dr. Friedrich

В F# поддерживается ровнёхонько тот же способ кодирования тайпклассов через генерики и структуры.