А мне?(

Дима, не хочешь сделать курс по фп? Или статейку написать)

Не уверен, что мне есть пока что рассказать в целой статье)

А то в инете правда инфы мало

http://www.tomharding.me/

http://www.tomharding.me/

блин я подписан на него в гитхабе, а статьи не видел)

или видел ?

Не уверен, что мне есть пока что рассказать в целой статье)

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

блин я подписан на него в гитхабе, а статьи не видел)

Я тебе их скидывал!)

*законспектировал

Т9

Фак я тоже хочу упороться по фп, но когда рассказываю о нем на работе, на меня смотрят как на дауна

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

Короче просто рассказывать не употребляя фп терминов вообще)

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

Бессмысленно решать свои проблемы методами фп, не понимая ее концепции

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

Вот Я не смог доходчиво объяснить, в чем вся прелесть фп

А просто функции в функции заворачивать, и так много раз, вроде все умеют

Незнание того что Array в js — это функтор с точки зрения FL не мешает пользоваться фичами of и map

Незнание того что Array в js — это функтор с точки зрения FL не мешает пользоваться фичами of и map

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

Дима, не хочешь сделать курс по фп? Или статейку написать)

хаскелль учи

как расшифровывается FL?

хаскелль учи

?‍♂

?‍♂

а зачем полумерами (четвертьмерами) отделываться?

а зачем полумерами (четвертьмерами) отделываться?

Чем?)

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

Во всех. И даже Pointed Я не зря отдельно уточнил что это с точки зрения FL

Functor u.map(a => a) is equivalent to u (identity) u.map(x => f(g(x))) is equivalent to u.map(g).map(f) (composition)

Чем?)

Переведу- хаскел- основа ФП. Знаешь и умеешь в хаскел- умеешь в фп

ответьте плс

ахуенный функтор arr.map((x, i, o) => ...)

Functor u.map(a => a) is equivalent to u (identity) u.map(x => f(g(x))) is equivalent to u.map(g).map(f) (composition)

Закон выполняется, как видишь

ахуенный функтор arr.map((x, i, o) => ...)

Дополнительные аргументы не могут быть основанием для несоответствия интерфейсу

аааа это fantasy land

Переведу- хаскел- основа ФП. Знаешь и умеешь в хаскел- умеешь в фп

Да, тогда следовательно для изучения хаскеля, мне нужно выучить фп, а только потом кодить нахаскеле

Переведу- хаскел- основа ФП. Знаешь и умеешь в хаскел- умеешь в фп

чет не понял логики

лямбда исчисление - основа фп

логика - основа ФП

Так же и Array и String на пару имплементят Semigroup, например

Да, тогда следовательно для изучения хаскеля, мне нужно выучить фп, а только потом кодить нахаскеле

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

Реализовывать сможешь

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

хуйню не неси

К сожалению, хотелось бы больше пользоваться и меньше — реализовывать)

на жс невозможно реализовать многие функциональные конструкции

Не то чтобы невозможно, просто бодаться тебе с этим придётся самому

В процессе зато можно скипнуться на purescript

чет не понял логики

Не могу объяснить нормальным русским:) Не сегодня, по крайней мере

Не то чтобы невозможно, просто бодаться тебе с этим придётся самому

то есть на жс можно сделать сум типы?

Не то чтобы невозможно, просто бодаться тебе с этим придётся самому

А ты хочешь на хаскель перейти?

то есть на жс можно сделать сум типы?

daggy -> union-type -> mezzanine

А ты хочешь на хаскель перейти?

Неа

Меня в качестве цели вполне устраивает purescript

Неа

Будешь мучаться с фп на жс?

По крайней мере я могу извлечь профит из его использования моментально

Меня в качестве цели вполне устраивает purescript

Ммм. Так это на нем показаны примеры из доки FL. Вот оно чё Михалыч

daggy -> union-type -> mezzanine

bootleg какой-то

bootleg какой-то

После этого я уже успел написать 100% типизированный either

После этого я уже успел написать 100% типизированный either

На жс? Покажешь?

а потом оказывается что у языка для этого есть null

а потом оказывается что у языка для этого есть null

Для either? ?

ой

это option

На жс? Покажешь?

https://github.com/zerobias/apropos

https://github.com/zerobias/apropos

Фигасе ?, а говоришь не чего показать) у тебя там вроде почти полный набор фп методов

ERROR: S client not available

аж кровь из глаз пошла) я давно понял, лучше взять ghcjs + closure compiler + ghc optimization

аж кровь из глаз пошла) я давно понял, лучше взять ghcjs + closure compiler + ghc optimization

От чего?

И кстати что там оптимизировать?) Либа выдерживает уровень скорости близкий к максимальному

От чего?

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

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

+1

https://github.com/zerobias/telegram-mtproto/blob/b8309013ba777dddc49dd48576d53557a630b47e/packages/telegram-mtproto/src/state/query/resolve-request.js#L72 Все функции кроме самой основной — без типов, два чейна с самыми разными преобразованиями, каждый чейн — это цепь преобразований Either типа В итоге я вижу полный вывод типа, включая ветку ошибок

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

Шоб у меня все костыли так работали))

Аж голова разболелась от вашего фп

Не чё не понятно

https://github.com/gcanti/newtype-ts

https://github.com/gcanti/newtype-ts

Readme исчерпывающий...

?

Всегда так делаю

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

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

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

Привет, ребят по кругу уже вопрос задаю, но RX marbles тесты это самый правильный путь тестирования RX кода?

Я помню и статью мне присылали как тестировать rx 5 like rx4 но все таки в оф доках они только про marbles говорят тесты

И вообще не понятно как протестить всякие рипиты и прочее

Черт кто нибудь вообще осилил эти marbles?

Черт кто нибудь вообще осилил эти marbles?

лол

Кстати может у кого-то есть книга вроде называется implement modern compiler in ML

https://medium.com/@luijar/mixin-monoidal-behavior-in-javascript-4e5c4dcb3ffc

о! наконец-то алгебраические структуры с буррито не сравнивают

И вообще не понятно как протестить всякие рипиты и прочее

Я использую стримы в очень ограниченном виде, ибо для моих задач полностью хватает нескольких простейших операторов. Марбл-тесты прикручивал, но пока у меня там и тестировать-то было нечего особо ) Теперь по-поводу репита и чего-либо еще. Марбл-тестом ты проверяешь ВЫХОД выбранного стрима. Например ты ожидаешь что после всех репитов и прочего на выходе ты получишь a-b-c-a-b-c, то ты это и сможешь проконтролировать. Данные на выходе не показывают через какие преобразователи стрим прошел (репит или скип-дупликатс и т.д.). Ты видишь лишь результат, и можешь стравнить его со своими ожиданиями.

А так-то в марбл-тестах всего несколько операторов )

Все понял, спасибо большое)

Вопрос глупый, но сам нормального ответа я не нашел. Есть какой-то способ описать интерфейс в флоу или тайпскрипт, чтобы он мог принимать только типы ковариантные заданному?