r4 - 12 Sep 2006 - 13:43:13 - Sergei RomanenkoYou are here: TWiki >  Refaldevel Web > RFBR2007 > RFBR2007-4-5

4.5. Современное состояние исследований в данной области науки, сравнение ожидаемых результатов с мировым уровнем

В настоящее время не существует реализаций Рефала+ с развитой интегрированной средой разработки, которая бы включала различные средства интерактивной помощи разработчику (раскрашивание синтаксиса, средства навигации по программе, средства рефакторизации программ, средства отладки). В то же время развитые среды разработки для многих других функциональных языков программирования (Haskell, SML, Scheme) - существуют. Однако, методы, применяемые в реализациях других языков, нуждаются в переработке для учета специфики Рефала+.

В области метавычислений (суперкомпиляция, специализация программ, частичные вычисления) в последние годы наблюдался значительный прогресс в разработке сложных и изощренных методов. Однако, имеются серьезные проблемы с доведением этих методов до практического использования, поскольку существующие метавычислители весьма недружелюбны к человеку. Большинство методов ориентированы на полностью автоматический режим работы, т.е. предполагается, что пользователь должен заранее подготовить задание для метавычислителя (сформулировав его на каком-то формализованном языке), а затем интерпретировать получившиеся результаты. При этом нет возможности ни наблюдать за процессом метавычислений, ни вмешиваться в него.

Выходом из ситуации могла бы стать разработка методов интерактивных метавычислений, с тем, чтобы процесс метавычислений осуществлялся компьютером во взаимодействии с человеком. При этом метавычислитель должен оказывать помощь человеку уже на стадии постановки задачи, а также при интерпретации результатов. Метавычислитель, в свою очередь, должен иметь возможность обращаться за помощью к человеку.

В настоящее время область интерактивных метавычислений разработана весьма слабо, и любое продвижение в этом направлении было бы заметным прогрессом.

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r4 < r3 < r2 < r1 | More topic actions
 
R+

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback