V
Объясните сложный мем с профунктора
Size: a a a
2020 January 22
V
AI
Слишком много иксов
V
Слишком много иксов
А что тут точка значит?
AI
А что тут точка значит?
Да тут воще ничего не понятно
AZ
А что тут точка значит?
lx. (...) это (x) => (...)
RP
Это комбинатор неподвижной точки
AZ
Это комбинатор неподвижной точки
чет сомневаюсь
RP
чет сомневаюсь
Сомневайся.
AZ
лямбда-функции потом и называются лямбдой, что в такой записе пишутся как лямбда
RP
Алекс, просто проверь и все, благо гугл у нас в стране еще не забанен
G
А что тут точка значит?
Композиция?
AZ
так что тут просто
y = f => (x => f(x, x), x => f(x,x))AZ
Алекс, просто проверь и все, благо гугл у нас в стране еще не забанен
я из теорката как раз неподвижную точку разбирал, и она не похожа на вот это
RP
я из теорката как раз неподвижную точку разбирал, и она не похожа на вот это
их много
RP
Один из них Y-комбинатор
AZ
в неподвижной точке у тебя x = Fix (x (Fix x))
RP
https://ru.wikipedia.org/wiki/Комбинатор_неподвижной_точки ну просто гуглится же. "Не похоже" очень просто проверить
AZ
https://ru.wikipedia.org/wiki/Комбинатор_неподвижной_точки ну просто гуглится же. "Не похоже" очень просто проверить
А, ты про всю запись
RP