Size: a a a

2020 January 22

V

Vabka in rust_offtopic
Объясните сложный мем с профунктора
источник

V

Vabka in rust_offtopic
источник

AI

Alex Ilizarov in rust_offtopic
Слишком много иксов
источник

V

Vabka in rust_offtopic
Alex Ilizarov
Слишком много иксов
А что тут точка значит?
источник

AI

Alex Ilizarov in rust_offtopic
Vabka
А что тут точка значит?
Да тут воще ничего не понятно
источник

AZ

Alex Zhukovsky in rust_offtopic
Vabka
А что тут точка значит?
lx. (...) это (x) => (...)
источник

RP

Roman Proskuryakov in rust_offtopic
Это комбинатор неподвижной точки
источник

AZ

Alex Zhukovsky in rust_offtopic
Roman Proskuryakov
Это комбинатор неподвижной точки
чет сомневаюсь
источник

RP

Roman Proskuryakov in rust_offtopic
Alex Zhukovsky
чет сомневаюсь
Сомневайся.
источник

AZ

Alex Zhukovsky in rust_offtopic
лямбда-функции потом и называются лямбдой, что в такой записе пишутся как лямбда
источник

RP

Roman Proskuryakov in rust_offtopic
Алекс, просто проверь и все, благо гугл у нас в стране еще не забанен
источник

G

Gymmasssorla in rust_offtopic
Vabka
А что тут точка значит?
Композиция?
источник

AZ

Alex Zhukovsky in rust_offtopic
так что тут просто y = f => (x => f(x, x), x => f(x,x))
источник

AZ

Alex Zhukovsky in rust_offtopic
Roman Proskuryakov
Алекс, просто проверь и все, благо гугл у нас в стране еще не забанен
я из теорката как раз неподвижную точку разбирал, и она не похожа на вот это
источник

RP

Roman Proskuryakov in rust_offtopic
Alex Zhukovsky
я из теорката как раз неподвижную точку разбирал, и она не похожа на вот это
их много
источник

RP

Roman Proskuryakov in rust_offtopic
Один из них Y-комбинатор
источник

AZ

Alex Zhukovsky in rust_offtopic
в неподвижной точке у тебя x = Fix (x (Fix x))
источник

RP

Roman Proskuryakov in rust_offtopic
https://ru.wikipedia.org/wiki/Комбинатор_неподвижной_точки   ну просто гуглится же. "Не похоже" очень просто проверить
источник

AZ

Alex Zhukovsky in rust_offtopic
А, ты про всю запись
источник

RP

Roman Proskuryakov in rust_offtopic
Да
источник