неформатное, оголтелое, для тех, кто понимает

[blguanblch]

Начинаем нашу очередную передачу их жизни привидений!
Убедительно просим увести ваших детей от наших голубых экранов.
Наш телефон: Два-два-три, три-два-два, Два-два-три, три-два-два.

Y is a function that takes a function that could be viewed as describing a recursive or self-referential function, and returns another function that implements that

Comments

[antilamer]

"В области функционального программирования существуют трудно понимаемые вещи, например Y-комбинатор" ==> "Неудивительно, что функционального программирования мало в индустрии" ?

Не вижу логики.

Труднопонимаемые вещи есть везде; могу обозвать джавистов психами, приведя какую-нибудь статью про формальную семантику Java Memory Model.

[blguanblch]

хоть хаскель я люблю как ненадоедающую компьютерную игру, скажу

[antilamer]

Похоже, я плохо привел свой аргумент. Попробую его переформулировать

[blguanblch]

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

[antilamer]

На всякий случай, для других читателей этого блога (я так понимаю, сам автор в Хаскелле кое-что понимает), чтобы у них не было соблазна подумать, что кто-то всерьез определяет факториал через Y-комбинатор (а не объясняет Y-комбинатор через факториал):

factorial n = product [1..n]

[palm_mute]

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

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

[thesz]

Добавлю, что Машина Тьюринга сложнее лямбда-исчисления.

[igorium]

Y-combinator на сишарпе видел

[ext_240098]

От тільки хотів ткнути пальцем у машину Тьюрінга :-)
Доведеться додати, що поля Мінського, на яких побудоване об'єктно-орієнтоване програмування - це взагалі Адъ і Ізраіль.

Короче, це питання смаку.