https://courses.digitable.life/tags/point-free/ Recent content in point-free on Digitable courses Hugo -- gohugo.io ru-RU Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/11-combinatory-logic/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/11-combinatory-logic/ Что останется от лямбда-исчисления, если выбросить переменные: три комбинатора вместо всего языка, алгоритм механического перевода любой лямбды в S и K, честная цена этого перевода и point-free стиль, который вырос отсюда в Haskell и в ваш линтер.