Обсуждение:Рефал
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Untitled
правитьСам создатель рефала - Турчин - изначально описал стиль языка как "сентенциальный", а не функциональный. Предлагаю закрепить это название в статье хотя бы вместе с функциональным. Кроме того, стоит указать прородителя рефала - метаалгоритмический язык - альтернативный РБНФ, и еще не рефал.
Марат
что еще было бы неплохо добавить
править- ссылки на статьи и прочие официальные публикации, без них выглядит несолидно
- еще пару примеров исполнения, лучше для случая, когда что-то остаётся за скобками
- подробнее о диалектах
- "расширенный" рефал-5 (where/with)
DrCroco 19:58, 8 апреля 2008 (UTC)
- Добавлю сюда, что было бы неплохо сослаться на нормальные алгорифмы Маркова как лежащий в основе языка формализм. --213.79.112.34 13:27, 29 октября 2008 (UTC)
Унылые примеры кода
правитьИмеющиеся примеры кода были ужасны — одна и та же функция использовалась и как основная, и как вспомогательная, осуществляющая остаточно-рекурсивный цикл. Подозреваю, что писал примеры кода начинающий программист, который только что познакомился с основными идеями, но приёмами хорошего стиля программирования ещё не овладел. Кроме того, были неясные имена переменных. Примеры программ я переписал в более хорошем стиле.
Вообще, статью надо переработать. Будет время — переработаю.
195.19.43.20 14:07, 1 октября 2009 (UTC) 195.19.43.20 14:08, 1 октября 2009 (UTC)
Функциональный?
правитьОн — предствитель ветви логического прогр. с перебором в ширину (Пролог — с перебором в глубину, но как назвывается парадигма непомню). ESSch 03:28, 31 марта 2010 (UTC)
- Да, функциональный. Исторически существует три основные ветви ФП: Lisp/ISWIM/ML (основанные на лямбда-исчислении), APL/J/K, Рефал. Плюс были экспериментальные модели - FP/FL, Joy. Основной атрибут ФП - в основе программы стоят функции. Состояния - вопрос спорный (Scheme считается ФЯ). Что до логического, то в одном источнике языки 5-го поколения классифицируются как "языки 4-го поколения, дополненные базой знаний". Т.е. ЛП - это своеобразная недерминированная надстройка над ФП (есть и другие - например, конкурентность). Arachnelis 17:54, 22 октября 2015 (UTC)
- Журнал "Практика функционального программирования" - в первой статье выпуска чуть иная, но близкая точка зрения. Возможно, даже более обоснованная, чем высказанная мной. Arachnelis 21:35, 31 октября 2015 (UTC)