Які обмеження в загальному функціональному програмуванні? Він не є повним Тьюрінгом, але все ще підтримує велику підмножину можливих програм. Чи існують важливі конструкції, які ви могли б написати мовою, що повністю завершує Тьюрінга, але не цілком функціональною мовою?
І чи правильно сказати, що програми, написані загальнофункціональними мовами, можна повністю проаналізувати статично, тоді як статичний аналіз на мовах, повних Тьюрінга обмежений такими речами, як проблема зупинки? Маючи на увазі, я не маю на увазі, що в загальних функціональних мовах все може бути визначено статично, тому що деякі речі відомі лише під час виконання, але я маю на увазі, що теоретично програми, написані ідеальною повною функціональною мовою програмування, можна проаналізувати, щоб усе, що теоретично можна визначити статично, можна визначити статично. Або все ще існують невирішені проблеми, що успадковуються в цілому функціональних мовах, що робить статичний аналіз неповним? Деякі проблеми завжди будуть невирішеними, незалежно від того, якою мовою вони написані, але мене цікавлять такі проблеми, які передаються у спадок мові,