Хотелки к .15926 analytical environment (первая версия, без DSL)
-- быстро попасть к определению чего бы то ни было, не будучи озабоченным пространством имен, онтолетом и т.д.
-- навигация по всему, как по гиперссылкам
-- автозавершения для всего
-- обеспечение крутых рефакторингов
-- организация импортов (слияний)
-- предупреждения об ошибках прямо во время набора (без нажима спец.кнопочек)
-- навести мышку, и увидеть документацию
-- одновременно видеть на экране всё нужное в разных окнах (как суть дела, так и тесты/примеры/документацию, так и административную информацию)
-- встроенная отладка (подъема шаблонов и контроля типов) с автомагической навигацией к тем местам, где проблемы
-- встроенный контроль версий
-- структурные (patterns) поиски и замены (они же -- "инспекции", когда их запоминаешь), как над labels ("сетью"), так и в definitions (тексты). Ну, и в аксиомах, наверное.
-- undo-redo неограниченной глубины, с визуализацией и поддержкой ветвлений
Это всё по мотивам обычных IDE. Интересно, что можно предложить специфичного для онтологического программирования?
-- поиск определений в словарях (в том числе словарях по стандартам, типа http://pascal.computer.org/sev_display/index.action)
-- поддержка мэппинга для других структур данных (в том числе исполняемого кода для мэппинга, типа "диаметр -- это два радиуса")
-- альтернативные представления (позиционные параметры, controlled English, диаграммы)
-- мультиязычность с раздельным переключением интерфейса/labels/definitions и помощь в обеспечении массового перевода labels (опять же, с доступом к словарям, только в этот раз -- двуязычным)
И это еще безо всякой поддержки DSL, безо всякого workbench.
Что еще?
-- навигация по всему, как по гиперссылкам
-- автозавершения для всего
-- обеспечение крутых рефакторингов
-- организация импортов (слияний)
-- предупреждения об ошибках прямо во время набора (без нажима спец.кнопочек)
-- навести мышку, и увидеть документацию
-- одновременно видеть на экране всё нужное в разных окнах (как суть дела, так и тесты/примеры/документацию, так и административную информацию)
-- встроенная отладка (подъема шаблонов и контроля типов) с автомагической навигацией к тем местам, где проблемы
-- встроенный контроль версий
-- структурные (patterns) поиски и замены (они же -- "инспекции", когда их запоминаешь), как над labels ("сетью"), так и в definitions (тексты). Ну, и в аксиомах, наверное.
-- undo-redo неограниченной глубины, с визуализацией и поддержкой ветвлений
Это всё по мотивам обычных IDE. Интересно, что можно предложить специфичного для онтологического программирования?
-- поиск определений в словарях (в том числе словарях по стандартам, типа http://pascal.computer.org/sev_display/index.action)
-- поддержка мэппинга для других структур данных (в том числе исполняемого кода для мэппинга, типа "диаметр -- это два радиуса")
-- альтернативные представления (позиционные параметры, controlled English, диаграммы)
-- мультиязычность с раздельным переключением интерфейса/labels/definitions и помощь в обеспечении массового перевода labels (опять же, с доступом к словарям, только в этот раз -- двуязычным)
И это еще безо всякой поддержки DSL, безо всякого workbench.
Что еще?