не совсем контейнер возьем m = ((->) Int)

(Int -> a) -> (a -> (Int -> b)) -> (Int -> b)

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

Chain из fantasy-land

Имеют ввиду значит

да

Там в проекте всё на Кефире (спасибо Роме!), из него стримы, но хочется чтобы стримы были частью языка, на которой написан фреймворк. Ну и строгие типы и все вот эти фичи ваших функциональных языков сильно красивее и проще для чтения и использования делают API :).

И вообще, node-UI/Flow Programming и FRP-стримы вообще друзья-братья

*там 10.toString

хоть конечно стрелку тоже можно как контейнер представить

Спасибо, так очень доходчиво )

че, действительно? Я полгода назад не понимал этой херни

тут народ крутил эти чейны и мапы над функциями и я такой "че бля"

Ну в процессе

и я сейчас те же "че бля" издаю, когда аппликативы над функциями применяют

λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 10 81 λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 4 9 λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 3 4 λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 2 1

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

правила нужны для того, чтобы их нарушать liftA2 (+) id (liftA2 (*) id pred) . pred ((+) <*> ((*) <*> pred)) . pred

liftA2 id == <*>

> (+) <$> pred <*> (((*) <*> pred) . pred) $ 10 81

как Chain m => m a ~> (a -> m b) -> m b

А что за ~> => ->

Ну, разница в чем

~> так обычно обозначают тип контекста (в fantasy land например)

a ~> b -> c это a.f(b) :: c a :: a b :: b f :: a ~> b -> c

Вот из-за него в тс юзаю классы

Приходится выражать толпой дженериков

-> - ну просто стрелка, лямбда => - указание ограничений на типы напримеер, имеем a -> a это то же самое, что и forall a. a -> a то есть функция работает для любого типа a а если мы хотим, чтобы она работала только над числами, мы ограничиваем a до Num, Num можно расматривать сейчас как множество всех типов, которые числовые Num a => a -> a а если мы хотим, чтобы функция принимала все числа, КОТОРЫЕ МОЖНО СРАВНИВАТЬ, то используем Ord, который содержит ВСЕ типы, значения которых можно сранивнивать замкнуто (Ord a, Num a) => a -> a

то есть это как мы взяли множест Ord и пересекли с множестом Num и a - это любой тип из пересечения этих множеств

(Ord a, Num a) => a -> a читается как для каждого типа a, для которого реализован инстанс класса Ord (т.е. значение типа можно сравнить с другим значением типа) И инстанс класса Num (т.е. можем складывать, вычитать, прочее) имеем сигнатуру функции, которая принимает a и отдает a

Чейн получается всегда бинарная функция? С тремя аргументами какая-то дичь

да, всегда бинарная. Принимает значение m a и функцию a -> m b

ну по спеке fantasy land это унарный метод

так как m a - ресивер

Ясно, третий аргумент позволили поставить как значение

Ну всё, пора переписать пару редьюсеров на чейн)

в итоге под chain понимают монадический бинд и под flatMap понимают монадический бинд (иногда специализированный под списки) и под биндом понимают бинд а лодаш отдельно идет)

Демонадический бинд.

Посмотрел на тайпинги чейн Рамды в тс и флоу - ерунда всякая

Сбивает с толку, раньше не мог понять чейн

Посмотрел на тайпинги чейн Рамды в тс и флоу - ерунда всякая

На тайпинги рамды особо смотреть смысла нет

В flow кстати в ближайшее время скорее всего будут полноценно выражаемые тайпклассы, к решению вплотную приблизился gcanti, я и ещё пара человек, у кого-то полюбому должно выйти)

Без поддержки массовых иде

Флоу - зомби)

С поддержкой

Да нет там ничего, опять на выходных парился

Я принципиально в первую очередь проверяю на выводимость типов в реальных условиях

А атом в винде так и не работает стабильно

Я уже даже описал все типы и тайпклассы fantasy-land Осталась последняя проблема с диким сабтайпингом дженерик-функций, мешающая Apply — остальное уже всё работает

А атом в винде так и не работает стабильно

Я на vs code

В flow кстати в ближайшее время скорее всего будут полноценно выражаемые тайпклассы, к решению вплотную приблизился gcanti, я и ещё пара человек, у кого-то полюбому должно выйти)

Собираешься поконтрибьютить во флоу ?

Я там уже контрибьютор))

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

Я там уже контрибьютор))

Флоу тайпед или сам флоу?

Сам флоу

=)

Как там с guard тайпами сейчас?

И в редакторе подсветку ошибок

Вменяемую

https://github.com/flowtype/flow-typed/blob/master/definitions/npm/redux-saga_v0.16.x/flow_v0.56.0-/test_redux-saga_0.16.x.js

Забавно, в тс я провожу тесты тс типов средствами компилятора

Тут пока похуже дела

Как там с guard тайпами сейчас?

$Refine + $Pred + %checks А как у тс дела с type refinements?)

Я там уже контрибьютор))

но тебя же нет на гитхабе в контрибьютерах

вечно кажется, что флоу напичкан кучей костылей типа все эти $-типы

но тебя же нет на гитхабе в контрибьютерах

Лычка есть, коммиты есть, ниче не знаю)

с детства недовение ко всему, где есть $

ERROR: S client not available

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

Тут пока похуже дела

В отличии от тайпскрипта, здесь сто лет как доступен AST всем желающим

Вместе с json выводом компилятора

$Refine + $Pred + %checks А как у тс дела с type refinements?)

Никак. Тс - массовый стандарт для быдлокодеров, зачем нам такие заморочки)

Это не заморочки, лол https://flow.org/en/docs/lang/refinements/ Если это для тебя сложно то я даже не знаю)

С - сарказм

Просто это наоборот форсит использование простейших языковых конструкций вместо заморочек с типами и кастов через any

Тайпгарды, намного веселее рефайнментов

Без поддержки массовых иде

Флоу поддерживается любыми иде, поддерживающими эслинт же. У меня лично даже в идее отключены инспекции, связанные с флоу, оставлен только эслинт + еслинт-плюгин-флоутайп-еррорс.

Рефайнмент как по ссылке у тебя, есть с нулевых версий тс

Просто это наоборот форсит использование простейших языковых конструкций вместо заморочек с типами и кастов через any

Таких Кастов на самом деле не много, ну пока рамду не заюзаешь)

вечно кажется, что флоу напичкан кучей костылей типа все эти $-типы

На самом деле жаль до этого раньше не додумались Это то, как вводят в язык тайплевел конструкции Нативный, бесконечный $Compose, который физически невозможно написать самому, $Call, предоставляющий результаты вызова функции с произвольным набором аргументов, $TupleMap который на тайплевеле применяет функцию к таплу произвольной длины и содержания, короч это реально нормальная идея, в текущих условиях ты ни одну из вышеперечисленных функций не выразишь в типе самостоятельно

Таких Кастов на самом деле не много, ну пока рамду не заюзаешь)

Потому что в тс они не работают, поэтому и немного)

Флоу поддерживается любыми иде, поддерживающими эслинт же. У меня лично даже в идее отключены инспекции, связанные с флоу, оставлен только эслинт + еслинт-плюгин-флоутайп-еррорс.

Рак свистнул, джет брейнс дружит с флоу ? На днях испытал кучу боли

Рефайнмент как по ссылке у тебя, есть с нулевых версий тс

Это обманчивое впечатление

тоже испытывал, ни о каком языком сервере речи не было, он запускал flow по сейфу (автоматическому) и даже на мощном компе все постоянно подвисало

У меня в данный момент на ноуте открыто 4 проекта с четырьмя серверами флоу

В одном из них, для понимания масштаба, более трёх тысяч ошибок

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

Это обманчивое впечатление

Было бы интересно получить пример

В каких случаях тс не вывезет рефайнмент юнион типа

В каких случаях тс не вывезет рефайнмент юнион типа

https://github.com/zerobias/telegram-mtproto/blob/5431bb85acc901cac00cfd6a83ac65283c0c9a18/packages/telegram-mtproto/src/state/query/resolve-request.js#L64

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

Выводится причём для обеих веток, так как это Either<A, B>, и в конце я получаю доказательство того что все кейсы учтены,, так как я последовательно урезал B тип до полного empty

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

Хм, а если chain. Будет вызываться в другом месте?

С другим типом, совпадающим по ключам

Не принципиально, более того, этот файл используется по всему проекту и в хвост и в гриву

С другим типом, совпадающим по ключам

Что значит совпадающим по ключам?))

Флоу различает номинальную и структурную типизацию и умеет работать с обеими, этот тип ни с чем не пересечется

Не правильно вопрос задал