NI
@clayrat Пучки как по-английски?
Sheaf, бывает "sheaves"
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
384 membersпожаловаться на группу
2019 August 24
NI
sheaves, тут вот у нас есть @Comonoid, он по ним вам растолкует :)
Тут ещё и @unmuamua есть, он тоже могёт ;-)
AG
Я очень по верхам пробежался, и мне кажется, что sheaves и session types - это про то, как писать софт, а не про то, как моделировать мир. Я неправ?
так а что вы хотите услышать сверх того что я уже сказал? типы это то что возникает при пересечении логики с программированием, а вам нужен интерфейс логики с "миром"
AL
Sheaf, бывает "sheaves"
Ну, и как пучком получше изобразить насос-из-чертежа, насос-в-закупке (в пути и на складе) и насос-работающий? )))
В этом же загвоздка! Если никак, то ситуация не меняется от наличия или отсутствия пучков.
И побеждает OWL или что-нибудь похожее, несущий ужас на крыльях ночи.
В этом же загвоздка! Если никак, то ситуация не меняется от наличия или отсутствия пучков.
И побеждает OWL или что-нибудь похожее, несущий ужас на крыльях ночи.
MG
@clayrat Реляционная модель тоже возникла при пересечении логики с программированием, но используется для моделирования мира, за неимением лучшей.
NI
так а что вы хотите услышать сверх того что я уже сказал? типы это то что возникает при пересечении логики с программированием, а вам нужен интерфейс логики с "миром"
Нужны какие-то ещё инструменты строить логику под задачу, как-то так...
ЗП
Зигохистоморфный Препроморфизм in Типы в языках программирования, моделирования, представления знаний и жизни
функциональные системы типов выстраиваются так, чтобы соответствовать определенным конструктивным логикам, например логике предикатов, или логике высказываний высшего порядка, поэтому предполагается, что вопросы моделирования можно задать и логикам, а вот вопросы стыковки конструктивной математики с "железом" будут специфичны для этой области
Мое мнение такое, если у этого нет изоморфизмов в других областях или это не применимо как абстракция, то это нелегально и не формально в использовании
AG
Нужны какие-то ещё инструменты строить логику под задачу, как-то так...
вот и я говорю что нужны "какие то ещё"
AG
можем пофантазировать какие, но это будут не типы
AL
так а что вы хотите услышать сверх того что я уже сказал? типы это то что возникает при пересечении логики с программированием, а вам нужен интерфейс логики с "миром"
Нужен интерфейс логики с программированием и миром. С миром — это онтологика, это мы и сами умеем. А ещё нужно эффективно это выражать в программах. А то логика с онтологией обсуждает одно (где потерял), а программисты с логикой обсуждают другое (где светло).
NI
Мне таки кажется, что существующих должно быть достаточно, остаётся только подумать "про насос" ;-)
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Нужны какие-то ещё инструменты строить логику под задачу, как-то так...
Да для начала с темпоральной бы разобраться и эффективно прикрутить к моделированию...
AG
ну вот и я говорю, может модальная логика спасет отцов
AL
можем пофантазировать какие, но это будут не типы
я про бестипье тоже согласен, я ж постоянно пишу: обсуждаем типы и бестипье, дифференцируемые типы и всё что угодно, лишь бы работало в моделировании/программировании мира, представлении о нём знаний (онтологизировании).
NI
ну вот и я говорю, может модальная логика спасет отцов
Так и я говорю. Ну только мультимодальная.
ЗП
Зигохистоморфный Препроморфизм in Типы в языках программирования, моделирования, представления знаний и жизни
я про бестипье тоже согласен, я ж постоянно пишу: обсуждаем типы и бестипье, дифференцируемые типы и всё что угодно, лишь бы работало в моделировании/программировании мира, представлении о нём знаний (онтологизировании).
Бестипье порождает парадоксы
AG
@clayrat Реляционная модель тоже возникла при пересечении логики с программированием, но используется для моделирования мира, за неимением лучшей.
но результат то вас не устраивает :)
MG
@clayrat Так ото ж. "Времени нет, ничего нет, населена DBA." Если бы устраивала, то и дискуссии бы не было.
AL
Так и я говорю. Ну только мультимодальная.
По этой линии модальной логики активно разбирались в агентском подходе (IFIP и прочая). Всё сдохло, не родившись. Сложно и невыразительно. Программы чуть ли не на фортране безо всякой этой логики получались понятней людям, работали быстрей и весь этот агентский подход с их логиками как-то саморассосался за последний десяток лет.
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
я про бестипье тоже согласен, я ж постоянно пишу: обсуждаем типы и бестипье, дифференцируемые типы и всё что угодно, лишь бы работало в моделировании/программировании мира, представлении о нём знаний (онтологизировании).
Тут в чате явно недостаток специалистов по диффиренцируемым всему, ML, probabilistic programming и т.п.