(no subject)

[66george]

Разбираюсь в компиляторе Фактора. Вот на этом коде почти отчаялся. Но не отчаялся и разобрался. То, что придумал один псих русский человек, то может понять другой псих русский человек. Программа на Факторе представляет собой, условно говоря, бестиповый лямбда-терм, перед которым указан тип. Компилятор проверяет, подходит ли этот тип для этого терма, задача лёгкая. Далее, Пестов (создатель Фактора), разрешает определять функции рекурсией и смело приписывает типы комбинаторам цикла while и loop. Проверка типов перестаёт работать, алгоритм, написанный Пестовым от балды (в смысле, без теории), работает неправильно. Хочу исправить. Язык очень хороший.