Некоторое время назад я закончил замечательную книгу под названием Маленький интриган. Это очень короткая книга, но она оказывает на меня самое глубокое влияние, когда дело доходит до программирования.
Книга представлена в формате вопрос/ответ. Он начинается с основ и постепенно переходит к таким концепциям, как Y-Combinator.
Честно говоря, мне пришлось вернуться туда и обратно, чтобы понять происхождение Y-Combinator, но у меня действительно был момент «Ага», когда я наконец понял это. Прочитав эту книгу, я также прочитал и понял лямбда-исчисление, например. идея использования функций для представления арифметических операций действительно классная (числа Черча).
Поэтому после прочтения Маленького интригана я приступил к созданию Y-Combinator на схеме и сделал PDF, который доступен здесь. Я надеюсь, тебе это нравится. Пожалуйста, не стесняйтесь сообщать мне об исправлениях или комментариях.
