> Можно было бы и по-русски, но по-английски меньше расходуется...
Спасибо! Содержательное знание. Теперь по сути: 1. Все что увидел -- это поверхносный перевод с одного языка (Haskell) на другой (гипотетический Рефало-суржик) 2. Конечно, типизация это гораздо серьезнее, чем сказано. И даже не в смысле детализации. А в смысле отсутствия важной части: как программист строит свои собственные типы. В мире типов программист должен иметь возможность создавать свои конструкторы типов. Если конструкторы ограничены предопределенными тремя -- [Тип], Тип1 -> Тип2 и (Тип1,... ТипN),-- то не интересно. Это не язык для реализации Турчинской цели -- "построение формальных лингвистических моделелй" 3. Рефал Плюс редкий язык программирования с честной реализацией не только арности функций, но и коарности. Честной коарности нет в Хаскелле, например. И в типизированном Рефале лично я это хочу увидеть. Это все субъективно. И, конечно, не надо об этом говорить ей (ему, ему), чтобы не расстраивалась. Всего доброго, Сергей Абрамов
