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

* М + ЯП + 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
12.03.2012, 04:33
    #37699824
iscrafm
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
gazdovsky,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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


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