Filter.beforeAfterExSync (fun _ -> ()) (konst()) (fun (req,ex) -> ... Ох, вот ещё мякотка, K-комбинатор IN THE WILD

FOR LAMBDA CALCULUS

а всё для того чтобы обработать ебаный ексепшун

без K-комбинатора ну никуда

я пока этот сервис переписывал ебало себе в кровь разбил

от фейспалмов

тем более konst() ========== ignore

это пишут люди, которые про фшарп на собесе узнали?

А что такое konst?

это пишут люди, которые про фшарп на собесе узнали?

Вот такой код скорее пишут ОПЫТНЫЕ F#исты

А что такое konst?

K-комбинатор

Вот такой код скорее пишут ОПЫТНЫЕ F#исты

а рекурсию делают через Y или как лохи через rec?

а рекурсию делают через Y или как лохи через rec?

ну Y-комбинатор у нас упорки в прелюдию вынесли. НЕ ЗНАЮ НАХУЯ

Надо поискать для ржаки, вдруг кто-то заюзал

охуенно

/// Fixed point combinator. /// Passes a function to itself. let rec fix f a = f (fix f) a

Полезно

Чем больше я узнаю про джет

Тем страшнее мне становится

тем больше понимаешь, почему Айрат предпочел на скале с нуля чем на фшарпе то, шо есть?

Чем больше я узнаю про джет

Энтерпрайз обыкновенный

Но, надо сказать, концентрация маразма тут гораздо меньше чем в энтерпрайзе которые я видал до джета

тут не так много такого стаффа.

ну кстати мб это действительно обычная хуйня, только не из ООП а из ФП

У еглифа дохуя, да. Ему тяжко

Они в команду набирают только отборных упырей

и его взяли)

меня тоже взяли!

вы ж вразных командах

я не пошёл к нему :D

аа

локти наверное кусаешь ща

ну к нему бы я пошёл, но помимо него там ещё рыл 30

и бОльшая часть - упыри

Ебанаты скорее

у меня есть антипример кстати про этот decode handle interpret паттерн

Так тут речь была про фри монады, а не просто interpret паттерн.

А фри монады (как и все фри конструкции) штука более чем полезная.

а почему кстати называется фри? Это свободная монада или бесплатная монада?

Filter.beforeAfterExSync (fun _ -> ()) (konst()) (fun (req,ex) -> ... Ох, вот ещё мякотка, K-комбинатор IN THE WILD

Как пример: https://tpolecat.github.io/doobie/ Вот эта неплохая либа внутри сделана на фри монадах целиком. Точно так же и с fs2 примерно.

а почему кстати называется фри? Это свободная монада или бесплатная монада?

Вроде как не привязанная к контексту

Вроде как не привязанная к контексту

хм, у меня была версия, что нахаляву, пушто судя по ответу на СО компилятор хаскеля сам ее генерирует, когда ты объявляешь функтор

а почему кстати называется фри? Это свободная монада или бесплатная монада?

Значит не обладает никаким свойствами, кроме тех, что нужны для того чтобы выполнялись законы для монады: return a >>= f ≡ f a m >>= return ≡ m (m >>= f) >>= g ≡ m >>= (\x -> f x >>= g)

Значит не обладает никаким свойствами, кроме тех, что нужны для того чтобы выполнялись законы для монады: return a >>= f ≡ f a m >>= return ≡ m (m >>= f) >>= g ≡ m >>= (\x -> f x >>= g)

забористо. Спс!

хм, у меня была версия, что нахаляву, пушто судя по ответу на СО компилятор хаскеля сам ее генерирует, когда ты объявляешь функтор

Это название идёт вот отсюда (извиняюсь уж за хардкор): https://ncatlab.org/nlab/show/free+object

Free бывают не только монады, но и другие обьекты около категорийные. Т.е. можно почитать о free applicative, как пример: https://www.youtube.com/watch?v=H28QqxO7Ihc

Время учить теоркат

Я вот все собираюсь, но опасаюсь за кукушку

Время учить теоркат

Не особо и нужно. Если сам по себе интересен, то да, будет прикольно.

Не особо и нужно. Если сам по себе интересен, то да, будет прикольно.

Но как же я буду тогда комбинаторы в прод тащить?

Но как же я буду тогда комбинаторы в прод тащить?

Без них никуда, сам видишь!!111

Ну нахуй

Но как же я буду тогда комбинаторы в прод тащить?

Словно для комбинаторов нужен теоркат

Ща читаю код на скале из 8 строчек, у меня взрывается мозг

Ща читаю код на скале из 8 строчек, у меня взрывается мозг

Что там за код хоть-то?

if (offsetId == 0 && addOffset == 0 && minId == 0 && (maxId == 0 || maxId == Int.MaxValue)) { if (limit > 0 && limit <= serverLimit) Last(limit) else None } else { val leftLimit = limit + addOffset val from = if (minId > 0) math.max(offsetId - leftLimit, minId + 1) else offsetId - leftLimit val rightLimit = limit - (leftLimit + 1) val to = if (maxId > 0) math.min(offsetId + rightLimit, maxId - 1) else offsetId + rightLimit if (from < to && to - from <= serverLimit) { if (from >= offsetId) Top(offsetId = offsetId, offset = from - offsetId, limit = to - offsetId) else if (to <= offsetId) Bottom(offsetId = offsetId, offset = offsetId - to, limit = offsetId - from) else Range(offsetId = offsetId, bottomLimit = offsetId - from, topLimit = to - offsetId) } else None } }

Ты сам попросил

Да, хорошо, забористо.

Вот и я думаю, что ничотак

Надо цикломатическую сложность посчитать.

Код занимается тем, что на основе входных параметров определяет, какие элементы брать из списка

Top,Bottom,Range или Last

Пытаюсь раскурить логику

Это джава какая-то

Это джава какая-то

Да не, просто средненько написанная логика расчета каких-то индексов. Она так всегда будет выглядеть.

Надо чат переименовать. «Проводы Айрата в Scalы»

Ну разве что на гардах хаскелевских было бы приятнее. Или на деструктурах кастомных.

только «скалы» с большой

она же большая

и страшная

SSкалы

а внизу джвм

ужос!

а это законно?

Когда платят за количество символов и время работы алгоритма

а это законно?

особенно приятно будет, когда туда отрицательный инт зашлют 👌

так много вопросов, так мало ответов

так много вопросов, так мало ответов

every day we stray further from gods light

еще один профит интерпретатора: можно встраивать легко воркфлоу в воркфлоу. https://github.com/atsapura/CardManagement/commit/3e208305124374f773f580f615a5f1a0c12f78cd