короче, хаскель как язык очень неявный

он кажется очень простым, но его ленивость переворачивает вообще все, что можно

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

это я про RState)

везде дерево

а у хаскель граф

https://github.com/citycide/babel-plugin-partial-application#lambda-parameters

выгляидт прикольно

ля

https://gist.github.com/Kelin2025/4515a9d17e27e73e082444d9a159b63f Заилил такую темку Вот думаю теперь, удобно ли будет хэндлить ошибки в нем?

Ну тип вдруг где-то в середине прососалось

pipeP в рамде

А вообще это полумеры, надо просто сразу брать фьючерсы

pipeP в рамде

неа

pipeP только промисы принимает

то есть ты не можешь смешивать с обычными коллбэками

то есть ты не можешь смешивать с обычными коллбэками

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

https://www.youtube.com/watch?v=4CRbezZDb8Y

потому что жсная магия, из-за которой потом ничего в коде не понятно, как оно вообще работает

это как Promise#then, который сразу и map, и chain

Это из той же категории, где и приведение типов с ==, от чего все бегут

Та в смысле магия Где тут магия-то

Тот же Promise.all, только с вставками в виде обычных функций

нет

напиши это в строгом языке

Ну я же не в строгом языке, посему хуле нет-то

@xgrommx вспомнил, как ты однажды этот пакет кидал - https://hackage.haskell.org/package/fixplate-0.1.7/docs/Data-Generics-Fixplate-Morphisms.html

я его посмотрл, там para и para' имеют не просто разную сигнатуру, они и ведут себя принципиально по разному

и para' вообще неверно работает)

https://github.com/zerobias/telegram-mtproto/blob/feature/mtproto3/packages/telegram-mtproto/src/state/index.h.js Типа вот так

Зачем ты пишешь так? export type ClientList = { ids: string[], [uid: string]: Client, } Разве бывает uid не строкой? Если не брать символы

Зачем ты пишешь так? export type ClientList = { ids: string[], [uid: string]: Client, } Разве бывает uid не строкой? Если не брать символы

number, opaque type

Зачем ты пишешь так? export type ClientList = { ids: string[], [uid: string]: Client, } Разве бывает uid не строкой? Если не брать символы

А что кстати в этой записи конкретно удивляет? ?то что не [string]: Client или что ожидалось?)

Забыл про мэпы, в которых ключи объектами бывают

Да, тогда это имеет смысл

Удивило что ключ в простом объекте может быть string или symbol

Показалось лишней операцией определения типа

Но вообще я пожалуй больше не буду использовать объекты как такие вот мапы, уж больно неудобно и в тайпскрипте и в флоу, и в перспективе удобнее не станет

Только нормальные Map

А флоу получается разделяет обращение к свойству объекта передавая строку или число?

В смысле разделяет??

Эти записи равнозначны Obj[1]= "a" Obj["1"]="a" Как при записи так и при обращении к свойству

Но во флоу в примере мы все равно указываем тип как намбер

Эти записи равнозначны Obj[1]= "a" Obj["1"]="a" Как при записи так и при обращении к свойству

Это неявное приведение типов

Против чего флоу и создавался)

Ага, понял, спасибо

https://github.com/TylorS/typed-stream

TylorS как gcanti упоролся

каждый день новая typed-* либа

?

splitEither<A, B>(either$: Stream<Either<A, B>>): [ Stream<A>, Stream<B> ]

?

Ну я же не в строгом языке, посему хуле нет-то

В нестрогом языке так-то следить за типами надо внимательнее, чем в строгом

https://gist.github.com/Kelin2025/4515a9d17e27e73e082444d9a159b63f Заилил такую темку Вот думаю теперь, удобно ли будет хэндлить ошибки в нем?

Возьми уже монаду

@xgrommx вспомнил, как ты однажды этот пакет кидал - https://hackage.haskell.org/package/fixplate-0.1.7/docs/Data-Generics-Fixplate-Morphisms.html

почему же? (,) и (->) это же uncurry,curry

para :: Recursive t => (Base t (t, a) -> a) -> t -> a

просто тут более общий Base

para :: Functor f => (f (Mu f, a) -> a) -> Mu f -> a

идея таже

а вот para' более естественна потому что ничего в ЛИ не было кроме стрелок

https://github.com/ekmett/recursion-schemes/blob/master/Data/Functor/Foldable.hs#L512 предполжим теперь что наш Recursive t это Functor f => Fix f para :: Functor f => (Base (Fix f) ((Fix f), a) -> a) -> (Fix f) -> a исходя из того, что базовым функтором для f есть Base (Fix f) то можно заменить и получим para :: Functor f => (f(Fix f, a) -> a) -> Fix f -> a а зная что Mu < Fix < Nu то вот тебе тоже самое, просто у Кметта более обобщенно, не только про Fix,Nu,Mu и можно придумать изоморфизмы и через что-то другое

например базовым функтором для списка может быть data ListF a b = NilF | ConsF a b

type instance Base (List a) = ListF a

ну и понятно сделать представителем Functor, Foldable,Traversable,Recursive, Corecursive

почему же? (,) и (->) это же uncurry,curry

Разные ответы на одни и те же данные)

ну как бы это две взаимообратные штуки)

((x => (g => f => xs => length(xs) < 1 ? [] : [f(head(xs)), ...g(f)(tail(xs))])(y => x(x)(y)))(x => (g => f => xs => length(xs) < 1 ? [] : [f(head(xs)), ...g(f)(tail(xs))])(y => x(x)(y))))(x => x * 10)([1,2,3])

((x => (f => xs => length(xs) < 1 ? [] : [f(head(xs)), ...x(x)(f)(tail(xs))]))(x => (f => xs => length(xs) < 1 ? [] : [f(head(xs)), ...x(x)(f)(tail(xs))])))(x => x * 10)([1,2,3])

и все это соберется в [10, ...[20, ...[30, ...[] ] ] ]

кому интересно средуцируйте с нуля

Y(g => f => xs => length(xs) < 1 ? [] : [f(head(xs)), ...g(f)(tail(xs))])(x => x * 10)([1,2,3])

где Y = f => (x => f(y => x(x)(y)))(x => f(y => x(x)(y)))

ну и const map = Y(g => f => xs => length(xs) < 1 ? [] : [f(head(xs)), ...g(f)(tail(xs))])

Ебаный ад

зачеммммм

сделать бета редукцию)

зато не нужна явная рекурсия

лямбда бота надо запилить

лямбда бота надо запилить

?

и все это соберется в [10, ...[20, ...[30, ...[] ] ] ]

что ты такое

что ты такое

?

и все это соберется в [10, ...[20, ...[30, ...[] ] ] ]

А зачем такие структуры?

А зачем такие структуры?

Эффективность копирования и добавления элементов

полный файл с шагами https://gist.github.com/xgrommx/e7b69527662bbb0f5443ce8ca4882b72

где Y = f => (x => f(y => x(x)(y)))(x => f(y => x(x)(y)))

я вижу точку, она неподвижна

по-моему прикольно?? не знаю стоит ли такое в продакшн, но для себя - просто прекрасно

это же только начало для рекурсивных схем

Есть кто из Тулы?

кстати ребзя, вас это почти никак не касается но думаю может заинтересовать https://github.com/47deg/KEEP/blob/7494c84af180a00cd91e6bd0f86f3c7db0758757/proposals/type-classes.md ну и вообще в слаке эту инициативу поддерживает елизаров

тайплкассы без адт?

https://kotlinlang.org/docs/reference/sealed-classes.html

ого