NR
Что можно было бы назвать вступительной книжкой в то что здесь происходит?
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
384 membersпожаловаться на группу
2019 August 24
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Nikita Repeev
Что можно было бы назвать вступительной книжкой в то что здесь происходит?
Трудно сказать. Во-первых, мы ещё сами до конца не понимаем, что тут начинает происходить. 😊
Во-вторых, тут присутствуют представители нескольких направлений - объектно-ориентрированное моделирование, онтологии, теория типов, теория категорий - и по ним по всем книжки разные.
Во-вторых, тут присутствуют представители нескольких направлений - объектно-ориентрированное моделирование, онтологии, теория типов, теория категорий - и по ним по всем книжки разные.
MG
Насколько часто типы вообще используются для описания домена, а не для описания конструкций программы? Есть заход на это в DDD, но кривой, так как ООП так себе метамодель, в DDD+F# чуть лучше, так как от "куска памяти с функциями" поднялись хотя бы до уровня типа-ML. Где-то ещё? Куда ни посмотреть про типы в программировании, так это про то "как нам не забыть соединение сетевое закрыть" или "как нам память руками не выделять".
AL
Насколько часто типы вообще используются для описания домена, а не для описания конструкций программы? Есть заход на это в DDD, но кривой, так как ООП так себе метамодель, в DDD+F# чуть лучше, так как от "куска памяти с функциями" поднялись хотя бы до уровня типа-ML. Где-то ещё? Куда ни посмотреть про типы в программировании, так это про то "как нам не забыть соединение сетевое закрыть" или "как нам память руками не выделять".
Вот это как раз мой вопрос! Похоже, нет на него ответа ))) То есть ответ "все используют ad hoc, но не говорят об этом. Никакой теории, у нас/у них только практика!" )))
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Я уже ссылался на How To Design Programs - это "слишком мелко"? 😊
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Есть ли конкретные указания на ограничения HTDP чтобы двигаться сразу от них?
MG
@GabrielFallen Отвечу, когда прочитаю :)
AG
Насколько часто типы вообще используются для описания домена, а не для описания конструкций программы? Есть заход на это в DDD, но кривой, так как ООП так себе метамодель, в DDD+F# чуть лучше, так как от "куска памяти с функциями" поднялись хотя бы до уровня типа-ML. Где-то ещё? Куда ни посмотреть про типы в программировании, так это про то "как нам не забыть соединение сетевое закрыть" или "как нам память руками не выделять".
функциональные системы типов выстраиваются так, чтобы соответствовать определенным конструктивным логикам, например логике предикатов, или логике высказываний высшего порядка, поэтому предполагается, что вопросы моделирования можно задать и логикам, а вот вопросы стыковки конструктивной математики с "железом" будут специфичны для этой области
AG
Я вот тут дал небольшую рекламу этого чата у себя в ленте и дополнительно прописал, почему мне эта тема типов в моделировании мира интересна: https://ailev.livejournal.com/1486665.html
линейщина это необязательно отход от дискретного, часто даже наоборот
AG
от дискретного отходит конкретно дифференциальная линейная логика
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
функциональные системы типов выстраиваются так, чтобы соответствовать определенным конструктивным логикам, например логике предикатов, или логике высказываний высшего порядка, поэтому предполагается, что вопросы моделирования можно задать и логикам, а вот вопросы стыковки конструктивной математики с "железом" будут специфичны для этой области
> логике высказываний высшего порядка
Это как вообще?! 🤪
Это как вообще?! 🤪
AG
> логике высказываний высшего порядка
Это как вообще?! 🤪
Это как вообще?! 🤪
system Fw
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
system Fw
А там разве высказывания? Не предикаты?
NI
А там разве высказывания? Не предикаты?
Ты придираешься к деталям ;-)
Я бы сказал, что вообще какой-нидудь идрис тому примером, хотя и технически, это не так, конечно ;-)
Я бы сказал, что вообще какой-нидудь идрис тому примером, хотя и технически, это не так, конечно ;-)
AT
Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Ты придираешься к деталям ;-)
Я бы сказал, что вообще какой-нидудь идрис тому примером, хотя и технически, это не так, конечно ;-)
Я бы сказал, что вообще какой-нидудь идрис тому примером, хотя и технически, это не так, конечно ;-)
> Ты придираешься к деталям
Есть такое, виновен по всем статьям. 😊
Решил, что в своём-то чатике можно уж немножко повыпендриваться! 😂
Есть такое, виновен по всем статьям. 😊
Решил, что в своём-то чатике можно уж немножко повыпендриваться! 😂
NI
> Ты придираешься к деталям
Есть такое, виновен по всем статьям. 😊
Решил, что в своём-то чатике можно уж немножко повыпендриваться! 😂
Есть такое, виновен по всем статьям. 😊
Решил, что в своём-то чатике можно уж немножко повыпендриваться! 😂
Даа я и не говорил, что в этом есть что-то плохое ;-)
AG
вроде гёверс со мной согласен :)