В Haskell за 5 шагов функция факториала определяется следующим образом:
let fac n = if n == 0 then 1 else n * fac (n-1)
Но для объятий там написано, что фак должен быть в фак.ч. Может ли кто-нибудь объяснить, почему это так - отсутствие возможности определять именованные функции кажется серьезным ограничением для интерпретатора?
Основной ответ, насколько я могу судить, заключается в том, что интерактивный верхний уровень Hugs по сути является синтаксическим анализатором выражений, а определения функций/данных не являются выражениями. Ваш пример на самом деле будет работать, если вы сделаете его выражением и напишете let fac n = if n == 0 then 1 else n * fac (n-1) in fac 19. Добавление поддержки для этого потребовало бы довольно больших усилий, и, по-видимому, разработчики Hugs посчитали, что этого достаточно, чтобы требовать, чтобы определения функций/данных находились в файлах.
В Hugs отсутствует возможность определять любые именованные функции (рекурсивные или нет). Также отсутствует возможность определения типов данных.
