это я по диагонали прочитал

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

а не эмуляции

нет lifted operators

что это

я сам хз) по-быстрому прочитал то что к js относится

это я по диагонали прочитал

Как это выражение понимать?

я сам хз) по-быстрому прочитал то что к js относится

^

Невнимательно прочитал?

А.

а не эмуляции

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

ну хз всякие ts,flow и прочая шушара это не есть настоящий вывод типов

Я про это и говорю, ты не сможешь с уверенностью сказать, где это будет заканчиваться

purescript будет считаться?

А если он будет работать через какой-нибудь бабель?

Где та грань, где будет заканчиваться js (ts уже отдельный язык, как бы) и начинаться не жс?

вон sodium на ts и приходится юзать костылики https://github.com/SodiumFRP/sodium-typescript/issues/4

вон sodium на ts и приходится юзать костылики https://github.com/SodiumFRP/sodium-typescript/issues/4

То что нужно запилить свой тулчейн — это отдельный и не непреодолимый вопрос

Просто не могут быть одновременно истинными утверждения: «js может быть compile target для haskell, purescript и Idris» и «в js есть абсолютно непреодолимые проблемы вывода типов»

http://www.eecs.northwestern.edu/~robby/courses/395-495-2009-winter/fran.pdf

что это?

одна из фрп имплементаций приведённых в предыдущей бумаге в пример

ищу значение лифт

фран это так сказать прадедушка)

походу там лифт то же самое что и например liftA2

от самого Конала

ну и если всё так банально, то вот вроде уже есть лифты в джс

на уровне типов?)

чтобы в traverse или sequence первым аргументом не передавать of

of = pure ? знаю только of из рамбды

да

это нат преобразование 1 -> T

а второе это join или unnest => TT -> T

оп кажись есть мысль. трабла в том что нельзя *определить* в какую именно монаду сейчас собираешься завернуть?

ну что-то такое

на типах ты явно можешь котролировать ретурн

return 10 :: Maybe Int

ну правда тогда of, sequence хз к чему было.

а какие ограничения для Traversable? чем должен быть до этого контейнер?

чтобы в traverse или sequence первым аргументом не передавать of

То есть просто нужна такая конструкция? safeDiv = n => d => d === 0 ? Nothing() : Just(n / d) const val: Maybe<*> = traverse(safeDiv(10), [2, 4, 5]); //=> Just([5, 2.5, 2])

так и не понял, конечно курс диалога но если вся проблема строить фрп в джс в том что он не может решать какой инстанс лифта выбирать, то думаю можно явно импортировать все эти нужные лифты, ретурны из одного модуля. вызывать FRP.lift(..) и как бонус совмещать с fantasy land частично

фантази ленд хуйня

переделанный хаскелл стандарт

переделанный хаскелл стандарт

который Haskell Report ?

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

ну ведь в целом инициатива неплохая? казалось же что вообще в джс дальше мануалов как сделать свою мейби монаду не пойдёт. как ты кстати живёшь со своим rx и морфизмами? на каком языке пишешь (в контексте фронтенда)?

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

Или они дополняют друг друга?

>как ты кстати живёшь со своим rx и морфизмами? на каком языке пишешь? Напомнило картинку

ну ведь в целом инициатива неплохая? казалось же что вообще в джс дальше мануалов как сделать свою мейби монаду не пойдёт. как ты кстати живёшь со своим rx и морфизмами? на каком языке пишешь (в контексте фронтенда)?

ща нода + рамда

да. стало фигурой речи

ща нода + рамда

нода не язык. ну видимо ничего особо интересного а rx тебе просто импонирует или ты им пользуешься на джс серверсайде?

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

а я всё жду пример где композ заменяют монадой. кажется что это на поверхности и все вокруг это понимают

а я всё жду пример где композ заменяют монадой. кажется что это на поверхности и все вокруг это понимают

Indentity монада как раз делает что обычная композиция почти

но это все нафиг не надо)

пойду с докером воевать

Блин я отходил

дочитать

Indentity монада как раз делает что обычная композиция почти

ну это частный случай. я так понимаю речь была про произвольные монады.

подытжоить

ну блин в итоге то мы пришли что проблема одна решается

только по разному

нет бля! нет!

2 разные категории

напиши мне через компоуз две функции вида Monad m => a -> m b

Ну на выходе мне нужен же результат будет

то есть в конце всех этих цепочек

я где то да вырву из монады не монаду

ERROR: S client not available

а вэлью

Стой только не кидайся сейчас в меня томами по алгебре или чем то еще но ведь даже если мы говорим об RX то и из Observable меня будет интересовать конечный результат

Да и если отложить все высокопарные рассуждения о бытие мы в компонентах наших (речь о фронте сори)

ждем резльутат

а не монаду

compose(x => Observable(x + x), x => Observable(x * 10))(stream) реши эту задачу

это рабоать не будет

а композиция Клейсли да

(.) :: (b -> c) -> (a -> b) -> a -> c (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c замечаешь разницу?

Да , в кейсе с монадами мы получим новую монаду, а не результат

мда...

Вернее результат обернутый в монаду

Так RX это чисто реактивная вещь, без функциональщины? Объясните.

есть там функциональщина

это функтор

монада

аппликатив

и вроде даже частично комонада

Ну на выходе мне нужен же результат будет

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

Кажется я не верно сказал

Решает одни задачи я имел ввиду

ну если это комонада - то получишь резултат

вычисления

цепочку

и да я прекрасно понимаю про заляпание в монаде

цепочку я так же не умею ввиду чейны

а просто композицию функций

с композией нет

монадки так не компоузятся

одного типа монадки компоузятся через композицию Клейсли

разновидные - через трансформеры монад

Как например flatMap