powered by simpleCommunicator - 2.0.51     © 2025 Programmizd 02
Форумы / Разработка информационных систем [игнор отключен] [закрыт для гостей] / "Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
25 сообщений из 50, страница 1 из 2
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37699769
gazdovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Что имеем в настоящий момент, при создании информационных систем?

* М + ЯП + SQL + RDB
* М + ЯП + ΝοSQL + ΝοSQL DB
* М + ЯП + XQuery + XSLT + XML + XML-DB
* М + ЯП + SparQL + OWL/RDF + Tripplet Store
* и различные вариации ...

Где М — модель, ЯП — язык программирования логики (Java/Python/C++/C#....)

Каждый элемент списка можно рассматривать как отдельное, независимое информационное пространство, так SQL запрос, код бизнес-логики на ЯП и таблицы в RDB не имеют прямой связи между собой и могут дублировать функционал друг друга. Отсюда проблемы синхронизации кода и данных на разных уровнях и синхронизации уровней между собой. Стоит еще добавить создание документации разного типа для каждого уровня как еще одно информационное пространство.

Чего хотелось бы?

* Запустить проект и последовательно уточнять, детализировать, имея рабочую систему с первого шага.
* Не думать о БД (RDBS, XMLDB и прочих), транзакциях, кластерах, отслеживании зависимостей при внесении изменений в дизайн системы, кэшировании.
* Иметь легко расширяемую, документированную систему на нескольких естественных языках.
* Иметь всю историю изменений кода и данных в ИС.
* Находить явные и скрытые логические зависимости в ИС как в данных так и в коде и решать уровнения.
* Не задумываться об оптимизации и многопоточности, компилятор/интерпретатор найдет оптимальные пути вычисления.
* Гибкости в построении отчетов, возможности формирования отчета как результат диалога с ИС.
* Просматривать отчеты любой сложности видя на экране всегда актуальные данные.
... и еще кучу вещей.

Мы занимаемся созданием языка Animo и среды Animotron для достижения перечисленных "хотелок".
Здесь краткий экскурс https://docs.google.com/document/d/1DrlUT30L1qeRcyjTxGi3Zu5IPUpI4ia3Uu7YHoDYMGE/edit#
Кого заинтересует, просьба оставлять вопросы и комментарии на полях документа или в этом форуме
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37699824
Фотография iscrafm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
gazdovsky,

а нет "человеческого" описания? Если можно не в гугдоксе...
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37700074
gazdovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
а нет "человеческого" описания? Если можно не в гугдоксе...
пока нету.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37700125
Фотография alexeyvg
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
gazdovsky,

Хотел немного поспрашивать, но из вашего документе нельзя копировать - получается, это просто картинка. Как то несовременно, DOS-ом отдаёт :-)
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37700144
gazdovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Хотел немного поспрашивать, но из вашего документе нельзя копировать - получается, это просто картинка. Как то несовременно, DOS-ом отдаёт :-)
Можно копировать, можете, даже, экспортировать в любой формат. Более того, можете выделить текст и оставить комментарий к нему на полях. Или спросить в чате прямо в документе, только чат не сохраняется при закрытии документа.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37700412
казинак
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
gazdovsky..........
* Не думать о БД (RDBS, XMLDB и прочих), транзакциях, кластерах, отслеживании зависимостей при внесении изменений в дизайн системы, кэшировании.
...........
епть, этапять
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37700781
Фотография Petro123
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
казинак,
дааа, это круто - ни о чём не думать.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37700888
Dmitriy Shabanov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Petro123,

Думать надо над нужными вещами, а не над всем подряд.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37700897
guest_20040621
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
> Думать надо над нужными вещами, а не над всем подряд

Логично. Скажите, пожалуйста, вы, как разработчик, какой видите область применения вашего продукта? Какими видите граничные условия (объем данных, сложность модели и пр.)?
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701757
gazdovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
авторкакой видите область применения вашего продукта? Какими видите граничные условия (объем данных, сложность модели и пр.)
Сложность особой роли не играет. Ограничения по объему: милиарды узлов и связей в графе
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701759
Фотография iscrafm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
gazdovskyавторкакой видите область применения вашего продукта? Какими видите граничные условия (объем данных, сложность модели и пр.)
Сложность особой роли не играет. Ограничения по объему: милиарды узлов и связей в графе
пробовали или теоретически?
сорри за сарказм.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701776
guest_20040621
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
> Сложность особой роли не играет.

Это действительно так? Есть результаты тестов? Было бы интересно посмотреть на реализацию типовых задач с помощью вашей среды. Это возможно?
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701781
Фотография iscrafm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
guest_20040621> Сложность особой роли не играет.

Это действительно так? Есть результаты тестов? Было бы интересно посмотреть на реализацию типовых задач с помощью вашей среды. Это возможно?
если бы это было возможно, то об этом бы уже давно на каждом углу были объявления. На самом деле еще в 80-х пройденный этап. Интересный, но не безграничный. А здесь ребята только сделали "открытие" похоже
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701816
guest_20040621
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
> об этом бы уже давно на каждом углу были объявления

Свежий проект. Может, это вообще первая попытка его продвижения?

> еще в 80-х пройденный этап

Я в курсе, Валера. Но допускаю, что ребята могли нарисовать фреймворк, оптимизировав геморройные задачи. Контекст - это просто, но громоздко и неудобно в реляционной реализации. А корректный мультиязычный тезаурус, например, - это вообще задача из ряда фантастических. Если есть возможность посмотреть на работу фреймворка с нормальным объемом данных на понятной задаче, почему бы такой возможностью не воспользоваться? Вдруг чудо?
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701841
gazdovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
автореще в 80-х пройденный этап

Ребят, если не секрет, какой этап пройденный еще в 80?
А то мужики-то и не в курсе! Велосипеды изобретают.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701849
ViPRos
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
gazdovsky,

а что вы сами то думаете? велик или что?
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701850
Фотография iscrafm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
gazdovskyавтореще в 80-х пройденный этап

Ребят, если не секрет, какой этап пройденный еще в 80?
А то мужики-то и не в курсе! Велосипеды изобретают.
странно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после.
Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные?
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701852
gazdovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
авторстранно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после.
Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные?
Да это все было и есть мы только подошли с другого боку. ссылки на гитхаб в статье, если действительно интересно.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701853
Фотография iscrafm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
gazdovskyавторстранно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после.
Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные?
Да это все было и есть мы только подошли с другого боку. ссылки на гитхаб в статье, если действительно интересно.
как по мне, слишком "заумно". Т.е. некоторые простые вещи усложнены до неприличия и тяжелы для восприятия. Может еще на выходных почитаю, может "не поймал" суть. Но первое впечатление такое пока.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701870
Dmitriy Shabanov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
iscrafm,

Попробуйте и расскажите об ограничениях -)

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

Из собственного опыта могу лишь добавить, что по скорости не медленнее чем на реляционной модели, а зона потребностей/задач покрывается на несколько порядков больше.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701872
Dmitriy Shabanov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
iscrafmgazdovskyпропущено...


Ребят, если не секрет, какой этап пройденный еще в 80?
А то мужики-то и не в курсе! Велосипеды изобретают.
странно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после.
Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные?

Мы же не графовую БД предлагаем .... на самом деле о том что мы делаем писал Ершов, но его идеи дальше vm не ушли. Мы пытаемся сделать следующий шаг.

Между прочим этап был пройден в 70х, а не в 80х. Массовость в производстве ПК вывели идеи в массы, но не все, а только коммерчески выгодные. Т.е. те которые решали быстро имеющиеся проблемы. За 20 лет все проблемы которые можно было решить с помощью этой модели были решены. Сейчас стоят задачи которые реляционной моделью не решить. Графовая модель следующие решения, но здесь еще нет замкнутой теории, если честно воще нечего толком нету. Понятно лишь одно графовая модель покрывает реляционную и еще что-то....
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701890
Фотография iscrafm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Dmitriy ShabanovСейчас стоят задачи которые реляционной моделью не решить.
похоже на "давайте придумаем проблемы, а потом придумаем для них решения".
о каких нерешаемых проблемах идет речь?

p.s. как то незаметно перешли от темы к пережеванному тысячу раз сравнению реляционных и NoSQL СУБД. Начинали то совсем с другого.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701898
Dmitriy Shabanov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
iscrafmDmitriy ShabanovСейчас стоят задачи которые реляционной моделью не решить.
похоже на "давайте придумаем проблемы, а потом придумаем для них решения".
о каких нерешаемых проблемах идет речь?

p.s. как то незаметно перешли от темы к пережеванному тысячу раз сравнению реляционных и NoSQL СУБД. Начинали то совсем с другого.

Тема за пределами сравнения подходов по хранению. Проблема которую пытаемся решить - обработка лингвистического канала. Большая просьба не рубить с плеча, у нас в команде и лингвисты-пенсионеры есть =)

Чтобы понять, что такое Анимо надо ответить на простой вопрос - что общего между естественным языком и языком программирования + БД (любое хранилище).

Ответ достаточно просто - потоки информации, но почему-то текущие языки программирования сконцентрированы на логике, а не на потоках. Есть слабая тенденция к потоковым обработкам, но логика остается слишком жесткой (имеется в виду не изменяется под воздействием потока .... не совсем верно конечно, лучше сказать не меняется легко, а точнее без участия программиста). Хочется получить язык в котором фокус на потоках, а не логике (насколько это возможно, конечно). Вот эту границу и пытаемся нащупать.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701935
_мод
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Dmitriy Shabanov логика остается слишком жесткой (имеется в виду не изменяется под воздействием потока .... не совсем верно конечно, лучше сказать не меняется легко, а точнее без участия программиста). Хочется получить язык в котором фокус на потоках, а не логике (насколько это возможно, конечно). Вот эту границу и пытаемся нащупать.
В ЛИСПе потоки - данные и логика - это одно и то же. Логика может изменяться под воздействием потока без всякого программиста - ИИ.
...
Рейтинг: 0 / 0
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
    #37701977
Dmitriy Shabanov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
_модDmitriy Shabanov логика остается слишком жесткой (имеется в виду не изменяется под воздействием потока .... не совсем верно конечно, лучше сказать не меняется легко, а точнее без участия программиста). Хочется получить язык в котором фокус на потоках, а не логике (насколько это возможно, конечно). Вот эту границу и пытаемся нащупать.
В ЛИСПе потоки - данные и логика - это одно и то же. Логика может изменяться под воздействием потока без всякого программиста - ИИ.

Все верно, только я говорю о связке "язык программирования + БД (любое хранилище)", а не о "язык программирования". При связке возникают интересные эффекты - в коде можно сослаться на информацию, а не передать ее жестко как параметр функции. А так же языки программирования известные мне работают отдельно от хранилища данных, в анимо хранилище (память) едины для данных и кода, более того находятся в одних топологиях (это свойство роднит с лиспом и вводит в заблуждение).
...
Рейтинг: 0 / 0
25 сообщений из 50, страница 1 из 2
Форумы / Разработка информационных систем [игнор отключен] [закрыт для гостей] / "Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Найденые пользователи ...
Разблокировать пользователей ...
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]