История изменений
Исправление Manhunt, (текущая версия) :
Ну возьми Scheme тогда. там мало страниц. Не суть.
Суть-суть. Ты предложи существенно отличающийся формализм, чтобы он имел такую же простую формальную спецификацию (пол-странички в терминах наивной теории множеств), был таким же наглядным (доступная интуиции даже неподготовленного ребенка метафора - лента с головкой) и так же удобно программировался (а не как брейнфак). Я думаю, что МТ как модель вычислений популярен именно по совокупности своих качеств.
Формализм должен быть минималистичен и нагляден.
Вот-вот. Ты жалуешься, что МТ раздут и неочевиден. Ну так предложи что-то более адекватное ;)
Исходная версия Manhunt, :
Ну возьми Scheme тогда. там мало страниц. Не суть.
Суть-суть. Ты предложи существенно отличающийся формализм, чтобы он имел такое же простое формальное описание (пол-странички в терминах наивной теории множеств), был таким же наглядным (доступная интуиции даже неподготовленного ребенка метафора - лента с головкой) и так же удобно программировался (а не как брейнфак). Я думаю, что МТ как модель вычислений популярен именно по совокупности своих качеств.
Формализм должен быть минималистичен и нагляден.
Вот-вот. Ты жалуешься, что МТ раздут и неочевиден. Ну так предложи что-то более адекватное ;)