В типе id :: a -> a a тоже ничего не значит, поэтому спокойно заменяется на α

https://github.com/JustusAdam/haskell-unicode-snippets/blob/master/snippets/haskell-unicode.cson

помнится мне эта мего эпичная статья) https://habrahabr.ru/company/cit/blog/313254/

помнится мне эта мего эпичная статья) https://habrahabr.ru/company/cit/blog/313254/

Омг ??

https://youtu.be/wdys2FjFFXs?t=1h40m9s

?

у меня получилась чуть более расширенная версия)

Ага))

В типе id :: a -> a a тоже ничего не значит, поэтому спокойно заменяется на α

альфа преобразование вроде этот процесс называется)

а что обозначает Тета?

Тип стейта. Ну а вообще что угодно, какая разница, сигнатуры абстрактные

я плохо понимаю нотации пока что первая декларация как переводиться? u от a в обертке O? f :: u(O a)

Нет, f x y это (f x) y, то есть f(x)(y), f(x, y) Некий конструктор типа мю принимает некий тип тета и тип бета

это сигнатуры

Нет, f x y это (f x) y, то есть f(x)(y), f(x, y) Некий конструктор типа мю принимает некий тип тета и тип бета

не надо путать человека с curry/uncurry =)

Нет, f x y это (f x) y, то есть f(x)(y), f(x, y) Некий конструктор типа мю принимает некий тип тета и тип бета

ясно, спасибо

В целях объяснения это максимально доступный вариант

add 4 5 == (add 4) 5 add4 = add 4 add4 5 = add 4 5 ------- add x y = x + y add x = \y -> x + y add = \x -> \y -> x + y add = \x y -> x + y Всё синонимы

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

add 4 5 == (add 4) 5 add4 = add 4 add4 5 = add 4 5 ------- add x y = x + y add x = \y -> x + y add = \x -> \y -> x + y add = \x y -> x + y Всё синонимы

все сахар, кроме add = \x -> \y -> x + y

да, каррировние я понимаю, спасибо)

теперь все ясно) забавно

Таки нет, Москвин как-то обмолвился, что у первого и последнего варианта немного разное поведение

это связано с Monomorphism restriction

add 4 5 == (add 4) 5 add4 = add 4 add4 5 = add 4 5 ------- add x y = x + y add x = \y -> x + y add = \x -> \y -> x + y add = \x y -> x + y Всё синонимы

add = (+) этого еще не хватает)

Ну тогда и add x = (x +)

+_-

в оригинальном ЛИ есть только тот вариант что я сказал) все остальное сахар

В пурсе мне очень нравится это add x = (_ + x)

Но это плохо проработано

А что там не так?

f = (_.key == 1) Уже не пашет

Аа

в пурсе криво выглядят сечения

То есть плейсхолдер только на топлеаеле

это тебе не скала)

То есть плейсхолдер только на топлеаеле

Ну иначе это уже не плейсхолдер

это тебе не скала)

пишугоднаскале.жпг

Поч нет задержки в сек и searchRequest вызывается сразу после фильтра https://gist.github.com/jongleb/68ecca7eb4a2bbe85f45eccb78774e02

понял debounce только в hot

А как заставить debounce отработать принудительно? с помощью паблиш не вышло

что значит принудительно?

Debounce ведь работает только с горячими обзервами?

https://github.com/michaelficarra/proposal-first-class-protocols

омг

I just published a new article on my blog. It's an analysis of Java 8 Streams and why they are not really OOP. http://www.yegor256.com/2017/10/10/streams-vs-decorators.html

этот чел поехавший

http://www.cactoos.org/

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

zip [0..] ?

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

хотя он всегда про них говорит

zip [0..] ?

ну нее

надо же атомарную переменную инкрементировать

ща посмотрю есть ли в стриме зип

для этого есть внешняя либа https://github.com/poetix/protonpack

вполне себе повод написать статью

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

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

Мем

When I see messages from you I'm always asking myself: what Telegram groups are you in, where this avatar and this user name are appreciated?) Must be some real fun.

A bunch of programming groups and a 1 random chat

если че

https://t.me/joinchat/AAAAAEJFMRzsRTRxM3ec6A

Шо це?

хм?

зачем admin добавили ?

admin

admin

admin

это ты админ?)

Норм стикеры)

Вот топ стикеры

hey http://telegra.ph/Vvedenie-v-FP-06-26 а у нас тут контролируют эту страничку? там бы ссылку поправить https://www.drboolean.gitbooks.io/mostly-adequate-guide/content (privacy error) -> https://drboolean.gitbooks.io/mostly-adequate-guide/content

хм

это телеграф такую ссылку что ли сделал

поправил

о, гошники

о нет

лол это всё из-за футболки?

жду goodlang

andretshurotskinlang