к о з и н а к и

@xgrommx можешь скинуть какую-нибудь реализацию фри-монад, где не Pure/Free, а Pure/Ap/Bind

@xgrommx можешь скинуть какую-нибудь реализацию фри-монад, где не Pure/Free, а Pure/Ap/Bind

свободный аппликатив?

Омг

Я только сейчас понял, что у меня есть такая имплементация прямо на жс

Так как я переписывал код safareli, а он видимо уже тогда угорал как следует

Так как я переписывал код safareli, а он видимо уже тогда угорал как следует

он сам спиздил идею)

ну рекурсивные схемы ты тоже не сам придумал же)

Образовательные цели, юноу

https://github.com/srijs/haskell-free-concurrent/blob/1a56280e8d63e037cf8f9e57aa17ac6a8ac817a5/src/Control/Concurrent/Free.hs#L29-L33

хм, я раньше думал, что так делают там, где нет ленивости

но похоже такой подход дает конкурентность если использовать <*> скажем

очень хорошо

Да

очень хорошо

это то, что ты просил?)

Да, спасибо

видел еще где-то

но забыл где

ничего себе ты так на флоу фигачишь)

чертовы ковариантности/контрвариантности

На тот момент игра слов в дженериках казалась мне остроумной ?

это с какой либы?

CLAP, только заметил лол

κραςιωο

это с какой либы?

https://github.com/zerobias/telegram-mtproto/tree/feature/mtproto3

У меня там два раздела тупо с экспериментами с фп, лол

Лень было другой проект открывать

https://github.com/zerobias/telegram-mtproto/tree/feature/mtproto3

не нахожу тут такого

Хорошие новости, значит никого удар не хватил)

не нахожу тут такого

https://github.com/zerobias/telegram-mtproto/tree/feature/mtproto3/packages/telegram-mtproto/src/util/monad-t

https://github.com/srijs/haskell-free-concurrent/blob/1a56280e8d63e037cf8f9e57aa17ac6a8ac817a5/src/Control/Concurrent/Free.hs#L29-L33

хм, тут даже не требуется, чтобы f был функтором

хм, тут даже не требуется, чтобы f был функтором

freer

Плюс вот тут и ещё где-то, уже не помню https://github.com/zerobias/telegram-mtproto/tree/feature/mtproto3/packages/telegram-mtproto/src/util/profunctor

Потом самое адекватное из этого перенёс в отдельную либу а потом понял что пусть такими муторными низкоуровневыми вещами занимается кто-то другой и взял immutable и fp-ts

Погоди, там дальше начинается слоговое письмо канадских аборигенов

По большей части just for lulz

это вы агду еще не читали

Читал, оттуда и взял идею о коде выглядящим как на тёмном наречии)

вот клевая вещь http://agda.readthedocs.io/en/v2.5.2/language/mixfix-operators.html

где

Я был чертовски расстроен что в жс нельзя было юзать все эти стрелки из агды

да ну нахер

неудобно же

как ты их печатать будешь

сниппетами забивать?

emacs quail, в других тоже такое есть полюбому

сниппетами забивать?

Автозамена ¯\_(ツ)_/¯

fp-ts это такой фп-компромисс для странных языков? блин, так перегруженно выглядит все это синтаксисом, очень сложно читать bimap<L, A, M, B, U>(f: (l: L) => M, g: (a: A) => B, fla: HKT<F, U, L, A>): HKT<F, U, M, B>; хотя мб дело привычки

Автозамена ¯\_(ツ)_/¯

Этот смайл например стоит на английском слове shugs, удобно

fp-ts это такой фп-компромисс для странных языков? блин, так перегруженно выглядит все это синтаксисом, очень сложно читать bimap<L, A, M, B, U>(f: (l: L) => M, g: (a: A) => B, fla: HKT<F, U, L, A>): HKT<F, U, M, B>; хотя мб дело привычки

Да, в жс не особо подходящий для этого синтаксис. У него по сути минимальная реализация тайпклассов через именованые метки (он их зовёт hkt)

сук, я так и не вкурил, че лифты делают

поднимают)

вот это объяснение мне ровным счетом нихера не дает, уже раз 5 слышал

fp-ts это такой фп-компромисс для странных языков? блин, так перегруженно выглядит все это синтаксисом, очень сложно читать bimap<L, A, M, B, U>(f: (l: L) => M, g: (a: A) => B, fla: HKT<F, U, L, A>): HKT<F, U, M, B>; хотя мб дело привычки

К счастью при использовании это гораздо более читабельно чем при декларации так как большая часть кода фактически служебная — гарантирует что выпллняются определенные законы

Но я уже попробовал синтаксис без угловых скобок, просто опустить их, довольно забавно получается

сук, я так и не вкурил, че лифты делают

Аппликативные?

хоть какие

сук, я так и не вкурил, че лифты делают

Людей возят

в фп разумеется

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

Просто есть много разных лифтов и не очень ясно, про что речь

коалеф конуль

liftF во фри поднимает значение с f a на Free f a lift в трансформерах поднимает с M a до "MonadM m => N m a" liftA2 поднимает функции

вот liftA например

вот liftA например

это fmap

вот liftA например

Ну вот напиши/посмотри liftA2 для Mayve

И сразу интуиция появится

вообще надо просто типы читать

<<Матерные аппликативы кметта>>

Я бы юзал, если бы это типизировалось)

в расте .into() типизируются )))

в расте .into() типизируются )))

Нет никакой проблемы типизировать это в случае с Map и Set, просто объекты в жс значительно сложнее чем кажутся на первый взгляд и строить типизированный подход на их основе не особо приятно

тип понятие классов уже на байткоде

Забавно, но по ходу это так и есть, случайно наткнулся сейчас на вот такое

лооол

ну тип это не то место откуда ок делать вывводы

ну например динамика в груви ок живёт

и вообще джвм под смолтолк задумывалась

а в котлине сделали под джвм язык а потом запилили динамик под джс тк думали ок решение и запретили в джвм

ну это видение ситуации не достоверные сведения

ну то есть мне уверяли что другую модель полиморфизма туда затратно завозить

как минимум она будет несовместима с джавой, если например полиморфизм без стирания типов делоть, а без совместимости с джавой (и всеми её либами) язык на jvm пилить как правило нахуй не нужно

имя фамилия

оригинально

кто бы говорил)

рабочий чатик в тг)

да и раньше так себе ники были(

как минимум она будет несовместима с джавой, если например полиморфизм без стирания типов делоть, а без совместимости с джавой (и всеми её либами) язык на jvm пилить как правило нахуй не нужно

поэтому и в котлине типы в дженерик-функциях не стираются только если эти функции помечены как inline и следовательно из джавы вызываться уже точно не будут

норм поинт

странно что все такие за котлин начали говорить

пол года назад вообще тишина была

хотя ничего не поменялось толком

ну я на нём недавно работу нашёл, поэтому и говорю про него ?

и вообще джвм под смолтолк задумывалась

Под телевизоры)

Нет никакой проблемы типизировать это в случае с Map и Set, просто объекты в жс значительно сложнее чем кажутся на первый взгляд и строить типизированный подход на их основе не особо приятно

В расте into это другое лол

А там что?

А там что?

конвертация между типами, для которых реализован соответствующий трейт

pub trait Into<T> { fn into(self) -> T; }