Ну было бы неплохо)

кстати раст наверное единственный язык где рады контрибьюторам-новичкам. обычно у всех всё оче закрытое хоть и хранится в опен-сорсе

мб ещё котлин, хотя сомневаюсь

// A *simplified* version of the trait, without error-handling trait Future { // The type of value produced on success type Item; // Polls the future, resolving to a value if possible fn poll(&mut self) -> Async<Self::Item>; }

почему там тогда до сих пор HKT нету раз можно тип в типе хранить

бамп

кстати раст наверное единственный язык где рады контрибьюторам-новичкам. обычно у всех всё оче закрытое хоть и хранится в опен-сорсе

swift еще

бамп

https://github.com/rust-lang/rfcs/pull/1598

но даже с этим нельзя монады сделать лол

в раст чате зато раст не обсуждают

swift еще

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

при этом есть проблема как и у любой внутренней скрытой хуйне: ты не ззнаешь запостил ли кто-то ещё такой баг

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

я думал у них на гитхабе

гитхаб это так. чтобы можно было всем в лицо тыкать - смотрите мы на гитхабе

наверное самые охуевшие в этом плане - телеграм

в раст чате зато раст не обсуждают

лол

наверное самые охуевшие в этом плане - телеграм

лол

Эт точно ?

гитхаб это так. чтобы можно было всем в лицо тыкать - смотрите мы на гитхабе

а

даже issues закрыты

https://github.com/facebook/flow/issues/4511 мб кому интересно

https://github.com/facebook/flow/issues/4511 мб кому интересно

Если у кого-то не включен eslint, то это его проблемы ?

В декларазиях правда уже неудобно, это да

если кто-то не умеет выводить типы в уме...

Так себе аналогия, потому что eslint с этим справляется сам

И если у кого-то он не установлен, то в флоу ему точно рановато)

наверное включен в поставку флоу?

бля и вообще разговор такой как будто я наехал на флоу а ты теперь его защищаешь

хорошо

очередная победа

?

Ладно, я буду корректнее общаться ?

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

Почему? ?

Ладно, я буду корректнее общаться ?

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

.observe в most изначально возвращает промис, то бишь в нём стрим — это список во времени

ладно ок не очень выразился

стримы можно выразить как монаду (скорей всего)

Ну most соответствует fantasy-land

implement Fantasy Land and Static Land Semigroup, Monoid, Functor, Apply, Applicative, Chain and Monad

rx тоже скорее всего, по большей части

Ну и плюс можно глянуть чем являются behaviors из purescript

rx тоже скорее всего, по большей части

вроде нет

Ну лан

Хорошо у меня не rx ?

rx наверное просто не обращают внимания на всю эту движуху (ещё бы ребята с ангуляром начали манатки вкатывать)

Лол, ну да))

Но вообще с либами по FL реально проще работать, сразу понятно что и как можно делать

А вот и не с ангуляром

А вот и не с ангуляром

В плане?

Я про (ещё бы ребята с ангуляром начали манатки вкатывать)

Я же просто вбросил про RX

Я же просто вбросил про RX

давно это было

Одна теория. Лучше бы написали какой нибудь реакт и Редух на всех этих рамде и фэнтэзилэнде с примерами. или вообще и бэкенд бы добавили какой нибудь ФП-шный. а то пишу вот сайт на реакте, как будто латынь какая-то с кучей исключений. import {path} from 'ramda' не спасает.

я то как раз про redux-observable

Одна теория. Лучше бы написали какой нибудь реакт и Редух на всех этих рамде и фэнтэзилэнде с примерами. или вообще и бэкенд бы добавили какой нибудь ФП-шный. а то пишу вот сайт на реакте, как будто латынь какая-то с кучей исключений. import {path} from 'ramda' не спасает.

ну так например в редуксе редьюсер мог бы иметь сигнатуру Model -> Action -> (Model, IO Action) (ну или Eff или любую другую монаду которая бы могла выразить асинхронное действие) хотя в elm спокойно без монад живут

Редьюсер в redux имеет сигнатуру State -> Payload -> State

Что намекает нам на его chain свойства

ой

Одна теория. Лучше бы написали какой нибудь реакт и Редух на всех этих рамде и фэнтэзилэнде с примерами. или вообще и бэкенд бы добавили какой нибудь ФП-шный. а то пишу вот сайт на реакте, как будто латынь какая-то с кучей исключений. import {path} from 'ramda' не спасает.

Ну у меня довольно большое приложение на fluture, maybe, either и stream

ну так например в редуксе редьюсер мог бы иметь сигнатуру Model -> Action -> (Model, IO Action) (ну или Eff или любую другую монаду которая бы могла выразить асинхронное действие) хотя в elm спокойно без монад живут

Эх, если бы только это. А стили, а верстка. Не хочу половинчатых решений.

Но похвастаться клёвым фп кодом я пока всё равно не могу))

Ну у меня довольно большое приложение на fluture, maybe, either и stream

Опенсоус?

А, ага тады не надо.

ERROR: S client not available

Эх, если бы только это. А стили, а верстка. Не хочу половинчатых решений.

ну там вроде особо нету эффектов

Ну точнее как, так как фичи > код, то у меня императивщина с эффективными преобразованиями через фп когда это нее мешает фичам

Если кто увидит пример хорошего ФПшного стэка, поделитесь плиз. А то ФП для меня какая-то математика

https://github.com/zerobias/telegram-mtproto/blob/feature/mtproto3/packages/telegram-mtproto/src/state/query/index.js Вот например запросы данных из стейта, где по пути множество раз значение может просто отсутствовать

То есть client[ID] может быть null, client[ID].auth может не быть и так далее, всё это сводится к обычному типу результата Maybe<T>

А внутри чейнов с кодом можно работать так будто никаких null в принципе не существует, удобно, не забиваешь себе голову этим

То, зачем нужен .chain — эти функции можно комбинировать друг с другом, возвращая внутри одного chain другой maybe, получая общий результат в удобной и надёжной форме

Я пока этот код не написал — ведне всё было забито тоннами if (в других модулях — по прежнему)

maybе сила. Это круто

Последнее препятствие перед тем, чтобы развернуться с монадами по полной — я не могу придумать как удобно типизировать Free monad :(

А она нужна чтобы прятать в неё стеки монад, вообще не вспоминая про их существование, работать напрямую с данными)

Проблема по сути сводится к удобному описанию тайпклассов, и если это сделать, то можно сразу бахнуть интероп с purescript в обе стороны со всеми вытекающими последствиями и бонусами)

?

вы до сих пор тут об этой фигне пишете

Действительно, что тут вообще обсуждать? Это же не прокидывание пропсов в реакте

Свой язык надо писать

Не над

Надо, чтобы понимать как это работает

И не иметь фанатизма перед системой типов или каким либо семейством языков

Как это не иметь!

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

Как это не иметь!

А, да, точно За флоу и за двор стреляю в упор ?

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

зачем?

>тяп ляп, но фп ?

рамду подключи и фигачь

рамда еще более страшная штука, чем редакс

Редакс можно уместить в один твит

представь себе легаси проект через годик с рамдой

вот уж чего бы я не хотел получить в поддержку)

Просто ей неправильно пользуются

Представил, вижу into через into

Открыл — вроде норм