AL
(Ковалёв) Ой, это же мой научрук :)
Ему привет! )))
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
384 membersпожаловаться на группу
2019 August 24
MG
@GabrielFallen EDN не слишком интереснее, чем JSON, хоть и приятнее, а Datalog приблизительно как SQL. Только таблички больше не квадратные.
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
В одной из лекций на последней или предпоследней летней школе Харпер приводил примеры про равенство значений. Там он показывал как некоторые значения могут быть равны в рамках одного типа и не равны в рамках другого. Следует ли из этого, что значение может населять несколько типов?
Зависит от теории типов. В теориях типов типа NuPRL - могут. 😊
MG
@ailevenchuk Так я его в 2005 году последний раз видел.
AL
О! Так а что этот подход, не подошел?
Последний доклад Ковалёва шёл полдня на рабочей встрече системных инженеров в Бекасово. Задавался простой вопрос: что будет лучше, чем вот прямо сейчас? И работы получалось много, а вот что именно станет лучше после перехода именно на язык теории категорий — вот этого предъявлено не было. Ну, и люди махнули рукой. Ведь если это не лучше триплов, то чего возиться?
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
@GabrielFallen EDN не слишком интереснее, чем JSON, хоть и приятнее, а Datalog приблизительно как SQL. Только таблички больше не квадратные.
Аргумент. А что насчёт темпоральности в Datomic?
PV
Зависит от теории типов. В теориях типов типа NuPRL - могут. 😊
А можно это как-то использовать для моделирования множественности взглядов?
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
А можно это как-то использовать для моделирования множественности взглядов?
Я - ХЗ! 😂
ХТ
Последний доклад Ковалёва шёл полдня на рабочей встрече системных инженеров в Бекасово. Задавался простой вопрос: что будет лучше, чем вот прямо сейчас? И работы получалось много, а вот что именно станет лучше после перехода именно на язык теории категорий — вот этого предъявлено не было. Ну, и люди махнули рукой. Ведь если это не лучше триплов, то чего возиться?
Тут мы возвращаемся к различению (1) инженерного продукта, (2) технологического принципа, и (3) научного увы знания.
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Да, для начала достаточно. Как лучше это сделать? Чтобы в том числе и задачу с ножницами решить. Ну, или задвижкой (это та же задача, картинки я приводил чуть выше — там всё то же самое по сути, только менее наглядно).
А где можно взять список требующихся отношений? И пример модели ещё желательно - те же ножницы или задвижка....
MG
@GabrielFallen Это интереснее, но reports from the field говорят, что этим практически не пользуются, так как нужно таймштампы события и вставки, и получается опять ручная работа.
MG
JUXT что-то выбросил в опенсорс недавно, где, говорят, битемпоральность.
MG
Это типа-Datomic с valid time / tx time / domain time. Но это всё моделирование по Аристотелю EAV.
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
@GabrielFallen Это интереснее, но reports from the field говорят, что этим практически не пользуются, так как нужно таймштампы события и вставки, и получается опять ручная работа.
Ну, мы же пока обсуждаем как в принципе реализовать, экономить ручную работу будем когда будет хотя бы ручная работа. 😃
MG
@GabrielFallen Вручную можно и реляционку с таймштампами строгать.
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
@GabrielFallen Вручную можно и реляционку с таймштампами строгать.
Вопрос же в том чтобы ошибок при этом не делать?
MG
Да. Добавление истории а-ля Datomic снимает проблему с тем, что есть только current state of the world, но порождает проблему с тем, что tx time неинтересно, а интересно domain time, и поэтому запросы начинают пухнуть прямо как в SQL.
MG
Мало того, что domain time, так и их ещё много! "Добавили цену, которая будет действовать с 1 января 00:00 до 17 января 00:00"
AG
это вы timeseries db изобретаете?