gns_ua: (Default)
[personal profile] gns_ua
«Впервые понятие комбинатора и основанная на нём теория были сформалированны М.И.Шейнфинкелем в работе Schonfinkel (1924) ещё до появления лямбда-исчисления. Вскоре после этого аналогичные результаты были получены Карри, независимо от Шейнфинкеля и Чёрча. Когда Карри ознакомился с работами Шейнфинкеля, он предпринял попытку с ним связаться, но к этому времени Шейнфинкель оказался в психиатрической лечебнице.» © Введение в функциональное программирование.

© http://habrahabr.ru/post/50354/#comment_1322384

Не буду больше читать про комбинаторы.

2012-07-09 15:13 (UTC)
- Posted by [identity profile] mayyar.livejournal.com
А книжка, из которой эта цитата, весьма наглядно показывает, почему он там оказался.

2012-07-09 18:56 (UTC)
- Posted by [identity profile] mike-gmv.livejournal.com
Это ты еще до великого комбинатора не добрался

Profile

gns_ua: (Default)
gns_ua

April 2017

M T W T F S S
     12
3456789
10111213141516
17181920212223
24252627282930

Expand Cut Tags

No cut tags

Style Credit