Size: a a a

2019 May 31

SG

Serge S. Gulin in fprog_spb
А то я тут вроде бы научился при помощи K обходить ситуации сведения функции двух аргументов к функции одного, но, похоже, это лишь капля в море.
источник

AT

Anton Trunov in fprog_spb
Serge S. Gulin
Посоветуйте русскоязычную или английскую-для-тупых по базису SKI
имхо, очень доступная книга: Lambda Calculus and Combinators - J.R. Hindley, J.P. Seldin(2008)
источник

SG

Serge S. Gulin in fprog_spb
Спасибо!
источник
2019 June 02

AI

Andrey Ivanov in fprog_spb
Осмелюсь нескромно дать ссылку про лыжи в кложе (без особой теории, для неподготовленной аудитории) (ОФФ - прямо как у Филатова в Стрельце размер и рифма ))) https://www.youtube.com/watch?v=seip81vYvuA&list=PLvEhqHVS-lc9J6I3-jP0RfXma-ps5yP0S&index=1
источник

PS

Peter Sovietov in fprog_spb
Да, комментарии удручают :)

Любопытно было бы сделать менее традиционный обзор направлений стековых комбинаторов (от Лукасевича) и векторных комбинаторов (от Айверсона) :)
источник

АГ

Александр Гранин in fprog_spb
Там у Хекслета тысячи видюшек. Многие больше похожи на толки (формат разговоров в видеоблоггинге) перед камерой, чем на лекции. Так и задумано? Наверное, реальные курсы где-то в привате лежат? Я просто пытаюсь разобраться
источник

EL

Egor Lebedev in fprog_spb
Да, реальные лекции за денежку
источник

AI

Andrey Ivanov in fprog_spb
>Я просто пытаюсь разобраться
В современном махровом капитализме, когда пользующееся спросом продают, а то что бесплатно все равно пиар? ))
А насчет комментариев - можете взять ситуацию с свои руки и написать более конструктивные )
источник

I

Igor in fprog_spb
Мне кажется или вы подобный доклад уже делали? (дежавю у меня от его начала)
источник

SG

Serge S. Gulin in fprog_spb
Andrey Ivanov
>Я просто пытаюсь разобраться
В современном махровом капитализме, когда пользующееся спросом продают, а то что бесплатно все равно пиар? ))
А насчет комментариев - можете взять ситуацию с свои руки и написать более конструктивные )
Мне кажется, в махровом социализме мы бы имели тенденцию к тому, что чтобы просто иметь попытку что-нибудь выучить, наверняка нам бы пришлось пройти длинные социальные лифты через обоснование намерений принесения пользы обществу, что является перспективой весьма туманной даже на нижних этажах... 🤔
источник

PS

Peter Sovietov in fprog_spb
А разве для того, чтобы что-то выучить, недостаточно книг? :) Я понимаю, что речь о несуществующем строе, но у меня на полке стоят замечательные книги по ФП, изданные еще в советское время.
источник

SG

Serge S. Gulin in fprog_spb
Вопрос в доступе к информации. У меня нет таких книг, к примеру, но, как мне кажется, важно ещё и другое. В моем случае задача лежит ниже: в том, чтобы собрать библиотеку. Я вижу наличие такой задачи как одной из причин существования сообществ.
источник

PS

Peter Sovietov in fprog_spb
Serge S. Gulin
Вопрос в доступе к информации. У меня нет таких книг, к примеру, но, как мне кажется, важно ещё и другое. В моем случае задача лежит ниже: в том, чтобы собрать библиотеку. Я вижу наличие такой задачи как одной из причин существования сообществ.
Можно начать с известного списка: http://alexott.net/ru/fp/books/
источник

SG

Serge S. Gulin in fprog_spb
источник

AI

Andrey Ivanov in fprog_spb
Igor
Мне кажется или вы подобный доклад уже делали? (дежавю у меня от его начала)
Смотря что считать подобным. Про другие интересности - да, про лыжи - нет.
источник

AI

Andrey Ivanov in fprog_spb
Serge S. Gulin
Мне кажется, в махровом социализме мы бы имели тенденцию к тому, что чтобы просто иметь попытку что-нибудь выучить, наверняка нам бы пришлось пройти длинные социальные лифты через обоснование намерений принесения пользы обществу, что является перспективой весьма туманной даже на нижних этажах... 🤔
Мне в свою очередь кажется, что о социализме вы знаете по рассказам, когда мне довелось в нем родиться и прожить достаточно долго ) Тем более я не делал никаких противопоставлений, а просто комментировал тезисы товарища (господина), желавшего разобраться )
источник

AV

Alexander Vershilov in fprog_spb
политика в fprog_spb! унянян
источник

Вл

В ладу in fprog_spb
Я ещё видел религию в фп чате. Хотя в этом есть что-то близкое
источник

AV

Alexander Vershilov in fprog_spb
Лучше расскажите, что там с ITGM ожидается
источник

L

Leyla in fprog_spb
Пока не знаю :)
источник