Про комбинаторы

[lodin]

Года полтора назад мне было скучно на работе, и я решил подбодрить свой увядающий мозг чем-то программированиеобразным и закодил на коленке интерпретатор комбинаторной логики.

Комбинаторная логика - это минималистичный язык программирования, состоящий из операции вызова функции и трёх базовых функций S, K и I (причём I тоже можно собрать из S и K). Что-то среднее между лиспом и брейнфаком, только придуманное на ~полвека ранее обоих логиком Моисеем Шейнфинкелем.

Потом я моргнул, и "наколенке" выросло в полноценный онлайн-интерпретатор и сборник задач возрастающей (надеюсь) сложности.

Кому интересно (или давно уже неинтересно, но вызывает ностальгические чувства) - welcome!

Comments

[juan_gandhi]

Классная вещь, да.