|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
Что имеем в настоящий момент, при создании информационных систем? * М + ЯП + 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# Кого заинтересует, просьба оставлять вопросы и комментарии на полях документа или в этом форуме ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 01:40 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
gazdovsky, а нет "человеческого" описания? Если можно не в гугдоксе... ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 04:33 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
а нет "человеческого" описания? Если можно не в гугдоксе... пока нету. ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 10:57 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
gazdovsky, Хотел немного поспрашивать, но из вашего документе нельзя копировать - получается, это просто картинка. Как то несовременно, DOS-ом отдаёт :-) ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 11:16 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
Хотел немного поспрашивать, но из вашего документе нельзя копировать - получается, это просто картинка. Как то несовременно, DOS-ом отдаёт :-) Можно копировать, можете, даже, экспортировать в любой формат. Более того, можете выделить текст и оставить комментарий к нему на полях. Или спросить в чате прямо в документе, только чат не сохраняется при закрытии документа. ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 11:25 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
gazdovsky.......... * Не думать о БД (RDBS, XMLDB и прочих), транзакциях, кластерах, отслеживании зависимостей при внесении изменений в дизайн системы, кэшировании. ........... епть, этапять ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 12:54 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
казинак, дааа, это круто - ни о чём не думать. ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 14:57 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
Petro123, Думать надо над нужными вещами, а не над всем подряд. ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 15:46 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
> Думать надо над нужными вещами, а не над всем подряд Логично. Скажите, пожалуйста, вы, как разработчик, какой видите область применения вашего продукта? Какими видите граничные условия (объем данных, сложность модели и пр.)? ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 15:50 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
авторкакой видите область применения вашего продукта? Какими видите граничные условия (объем данных, сложность модели и пр.) Сложность особой роли не играет. Ограничения по объему: милиарды узлов и связей в графе ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 23:46 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
gazdovskyавторкакой видите область применения вашего продукта? Какими видите граничные условия (объем данных, сложность модели и пр.) Сложность особой роли не играет. Ограничения по объему: милиарды узлов и связей в графе пробовали или теоретически? сорри за сарказм. ... |
|||
:
Нравится:
Не нравится:
|
|||
12.03.2012, 23:50 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
> Сложность особой роли не играет. Это действительно так? Есть результаты тестов? Было бы интересно посмотреть на реализацию типовых задач с помощью вашей среды. Это возможно? ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 00:09 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
guest_20040621> Сложность особой роли не играет. Это действительно так? Есть результаты тестов? Было бы интересно посмотреть на реализацию типовых задач с помощью вашей среды. Это возможно? если бы это было возможно, то об этом бы уже давно на каждом углу были объявления. На самом деле еще в 80-х пройденный этап. Интересный, но не безграничный. А здесь ребята только сделали "открытие" похоже ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 00:18 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
> об этом бы уже давно на каждом углу были объявления Свежий проект. Может, это вообще первая попытка его продвижения? > еще в 80-х пройденный этап Я в курсе, Валера. Но допускаю, что ребята могли нарисовать фреймворк, оптимизировав геморройные задачи. Контекст - это просто, но громоздко и неудобно в реляционной реализации. А корректный мультиязычный тезаурус, например, - это вообще задача из ряда фантастических. Если есть возможность посмотреть на работу фреймворка с нормальным объемом данных на понятной задаче, почему бы такой возможностью не воспользоваться? Вдруг чудо? ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 01:15 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
автореще в 80-х пройденный этап Ребят, если не секрет, какой этап пройденный еще в 80? А то мужики-то и не в курсе! Велосипеды изобретают. ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 02:26 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
gazdovsky, а что вы сами то думаете? велик или что? ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 03:06 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
gazdovskyавтореще в 80-х пройденный этап Ребят, если не секрет, какой этап пройденный еще в 80? А то мужики-то и не в курсе! Велосипеды изобретают. странно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после. Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные? ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 03:08 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
авторстранно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после. Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные? Да это все было и есть мы только подошли с другого боку. ссылки на гитхаб в статье, если действительно интересно. ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 03:16 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
gazdovskyавторстранно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после. Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные? Да это все было и есть мы только подошли с другого боку. ссылки на гитхаб в статье, если действительно интересно. как по мне, слишком "заумно". Т.е. некоторые простые вещи усложнены до неприличия и тяжелы для восприятия. Может еще на выходных почитаю, может "не поймал" суть. Но первое впечатление такое пока. ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 03:23 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
iscrafm, Попробуйте и расскажите об ограничениях -) Все ограничения приходят от neo4j и ограничениях в аппаратной части. Названные цифры это не мифические проявившиеся на потолке, ищите по возможностям neo4j в реальных проектах. Из собственного опыта могу лишь добавить, что по скорости не медленнее чем на реляционной модели, а зона потребностей/задач покрывается на несколько порядков больше. ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 07:00 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
iscrafmgazdovskyпропущено... Ребят, если не секрет, какой этап пройденный еще в 80? А то мужики-то и не в курсе! Велосипеды изобретают. странно, что мужики не знают о сетевых моделях, графах и еще куче вещей, которые уже опробованы и проверены на прочность и применимость в различных областях. Все эти ссылки, представления логики в виде графов и т.п. наверняка же должны были изучить ДО а не во время или после. Хотя я бы с удовольствием посмотрел на очередную реинкарнацию, если бы она была. Почитав материалы понял что пока идет обмен идеями, не более. Или ссылки неправильные? Мы же не графовую БД предлагаем .... на самом деле о том что мы делаем писал Ершов, но его идеи дальше vm не ушли. Мы пытаемся сделать следующий шаг. Между прочим этап был пройден в 70х, а не в 80х. Массовость в производстве ПК вывели идеи в массы, но не все, а только коммерчески выгодные. Т.е. те которые решали быстро имеющиеся проблемы. За 20 лет все проблемы которые можно было решить с помощью этой модели были решены. Сейчас стоят задачи которые реляционной моделью не решить. Графовая модель следующие решения, но здесь еще нет замкнутой теории, если честно воще нечего толком нету. Понятно лишь одно графовая модель покрывает реляционную и еще что-то.... ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 07:12 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
Dmitriy ShabanovСейчас стоят задачи которые реляционной моделью не решить. похоже на "давайте придумаем проблемы, а потом придумаем для них решения". о каких нерешаемых проблемах идет речь? p.s. как то незаметно перешли от темы к пережеванному тысячу раз сравнению реляционных и NoSQL СУБД. Начинали то совсем с другого. ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 08:18 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
iscrafmDmitriy ShabanovСейчас стоят задачи которые реляционной моделью не решить. похоже на "давайте придумаем проблемы, а потом придумаем для них решения". о каких нерешаемых проблемах идет речь? p.s. как то незаметно перешли от темы к пережеванному тысячу раз сравнению реляционных и NoSQL СУБД. Начинали то совсем с другого. Тема за пределами сравнения подходов по хранению. Проблема которую пытаемся решить - обработка лингвистического канала. Большая просьба не рубить с плеча, у нас в команде и лингвисты-пенсионеры есть =) Чтобы понять, что такое Анимо надо ответить на простой вопрос - что общего между естественным языком и языком программирования + БД (любое хранилище). Ответ достаточно просто - потоки информации, но почему-то текущие языки программирования сконцентрированы на логике, а не на потоках. Есть слабая тенденция к потоковым обработкам, но логика остается слишком жесткой (имеется в виду не изменяется под воздействием потока .... не совсем верно конечно, лучше сказать не меняется легко, а точнее без участия программиста). Хочется получить язык в котором фокус на потоках, а не логике (насколько это возможно, конечно). Вот эту границу и пытаемся нащупать. ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 08:32 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
Dmitriy Shabanov логика остается слишком жесткой (имеется в виду не изменяется под воздействием потока .... не совсем верно конечно, лучше сказать не меняется легко, а точнее без участия программиста). Хочется получить язык в котором фокус на потоках, а не логике (насколько это возможно, конечно). Вот эту границу и пытаемся нащупать. В ЛИСПе потоки - данные и логика - это одно и то же. Логика может изменяться под воздействием потока без всякого программиста - ИИ. ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 09:22 |
|
"Может быть это она, действительно Единственно Правильная Парадигма?" (c)Darkus
|
|||
---|---|---|---|
#18+
_модDmitriy Shabanov логика остается слишком жесткой (имеется в виду не изменяется под воздействием потока .... не совсем верно конечно, лучше сказать не меняется легко, а точнее без участия программиста). Хочется получить язык в котором фокус на потоках, а не логике (насколько это возможно, конечно). Вот эту границу и пытаемся нащупать. В ЛИСПе потоки - данные и логика - это одно и то же. Логика может изменяться под воздействием потока без всякого программиста - ИИ. Все верно, только я говорю о связке "язык программирования + БД (любое хранилище)", а не о "язык программирования". При связке возникают интересные эффекты - в коде можно сослаться на информацию, а не передать ее жестко как параметр функции. А так же языки программирования известные мне работают отдельно от хранилища данных, в анимо хранилище (память) едины для данных и кода, более того находятся в одних топологиях (это свойство роднит с лиспом и вводит в заблуждение). ... |
|||
:
Нравится:
Не нравится:
|
|||
13.03.2012, 09:51 |
|
|
start [/forum/topic.php?fid=33&msg=37701776&tid=1547889]: |
0ms |
get settings: |
8ms |
get forum list: |
10ms |
check forum access: |
3ms |
check topic access: |
3ms |
track hit: |
44ms |
get topic data: |
11ms |
get forum data: |
2ms |
get page messages: |
68ms |
get tp. blocked users: |
1ms |
others: | 322ms |
total: | 472ms |
0 / 0 |