Роман Лещинский о векторном хаскеле

здесь

сколько лет голову ломал...

Пытаясь понять природу двойственности между, грубо говоря, фортом и лиспом. Форт, как я понимал, предписывает порядок вычислений, а лисп описывает задачу. И?

Спасибо antilamer за его лекцию - всё встало на свои места.

Одно и то же можно выразить в лисповой и в фортовой форме, но фортовая, обратная польская, предписывает аппликативную редукцию, а аппликативная редукция, грубо говоря, хуже чем нормальная, т.к. по теореме именно нормальная приводит терм к нормальной форме если таковая вообще существует.

понял на что мой юзерпик похож