1 материалов в этой теме.
Что останется от лямбда-исчисления, если выбросить переменные: три комбинатора вместо всего языка, алгоритм механического перевода любой лямбды в S и K, честная цена …
По этому запросу ничего не найдено.
Ступени, треки и материалы портала. Кликните ступень, чтобы раскрыть треки, трек — чтобы увидеть статьи, статью — чтобы увидеть, с чем она связана по общим темам.
Колесо — масштаб, перетаскивание — панорама. Стрелки и Tab — переход между узлами, Enter — раскрыть или выбрать. Повторный клик по материалу показывает его соседей по общим темам.
