Два разных вопроса: типы данных и базы данных (ибо и одни и другие работают с типами данных!) — и все эти "языки запросов, не вносящие изменений в данных против полных языков программирования над данными баз данных". И типы данных (во всей их полноте и кучерявости, включая языки программирования и базы данных и графы знаний) и теория понятий и онтология как прикладной аспект: как выражать знания о мире во всей этой кучерявости — зачем нам вся эта кучерявость теории типов, что мы ей планируем выражать!

А что подразумевается под "базами знаний"?

Например, https://www.datanami.com/2018/03/20/why-knowledge-graphs-are-foundational-to-artificial-intelligence/

спасибо! пошёл углублятся))

коллеги, привет. напоминаю про митап. хакспейс Нейрон нас готов принять 29-го августа вечером.

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

полная свобода) если кто-то хочет выступить (я уверен, кто кто-то точно хочет)) - пишите (мне, @pyhoster или прямо в чат), будет здорово.

Хорошо бы точное местоположение с удобным интервалом по времени

В смысле, ссылку на гугл-карту и что-то вроде "19-21:00"

первые два митапа были в 19 и приблизительно до 21, думаю, подходящее время вполне?

чуть позже будет нормальный анонс на Timepad

Это на твоё усмотрение, организатор решает :)

Но думаю да, вполне

Есть соседний чат о типах, можно спросить литературу там

А, тут уже обсудили

Если что, вот Invite link:
https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Набигаем

Высказывается идея, что типы в языках программирования — это foundational ontology. А для upper ontology (в том числе 4D upper ontology) нужно просто сделать DSL в каком-то расширяемом языке (например, взять для этого Julia). Даётся критика требований визуальности, высказываются сомнения в reuse онтологических моделей людьми и осмысленность их подготовки для использования кремниевыми мозгами. И указывается, что вероятностные типы и коннективизм тоже нужно включать в рассмотрение. В тексте предлагаются работы для todo list и  приводится много разных ссылок. Незнакомому с онтологической инженерией человеку текст не будет понятен.

https://ailev.livejournal.com/1485657.html

А вот поглядите, что про моделирование данных на F# написали. Полцарства за такое же для Julia — https://pragprog.com/book/swdddf/domain-modeling-made-functional

Это, кстати, ссылка из большой дискуссии про моделирование данных и типы языков программирования, которая сейчас прошла (или до сих пор идёт, непонятно) в чате по зависимым типам. Там это пограничная тема между оффтопом и собственно тематикой этих самых зависимых типов — https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Сегодня, кстати, Julia 1.2.0 вышла

И при этом у 1.3.0 уже вышел rc1 ))) Они стали шустры.