---
заодно еще выскажу пару мыслей по всем этим темам
полиморфизм похоже должен быть во всем, это отражение одного из главных свойств моделей, если модель охватывает некоторую область, то она обладает в некоторой степени полиморфизмом
полиморфизм дает гибкость, универсальность, абстрагирование, обобщение
соответственно ограничения полиморфизмов должны диктоваться удобностью использования моделей (конструкция языка программирования) и во вторую очередь эффективностью (вычислительной/исполнительской эффективностью)
оговорка: понятно, что есть задачи, когда эффективность стоит на первом месте
точно также язык программирования должен быть весьма высокоуровневым и обладать высокой степенью полиморфности, не следует ее ограничивать, но когда нужна эффективность, то нужно в том же языке давать программисту конструкции позволяющие строить код по его усмотрению, давать управление памятью, давать статическую типизацию, ограничивать полиморфность и т.п.
все ИМХО
---
Строгая типизация языков программирования не нужна
https://deep-econom.livejournal.com/29538.html
---
а серединка должна страдать разнообразием
унификация некоторая ввнизу на самом примитивном уровне (базовые примитивные онтологии)
унификация некоторая вверху (онтологии высшего уровня включают в себя многое)
и разнообразная середина (тут разнообразие структур и комбинаций и уровней)
смутные мысли о моделировании https://deep-econom.livejournal.com/297401.html
---
смутные мысли о типах https://deep-econom.livejournal.com/298250.html
а не типизировать ли нам типы? ))
типизирование типов с точностью до изоморфизмов/гомоморфизмов
---
о полиморфизме https://deep-econom.livejournal.com/316280.html
полиморфизм, переключение контекстов, интеллектуальные агенты
https://deep-econom.livejournal.com/279870.html
аксиома метамодельности как полиморфизм полиморфизмов
https://deep-econom.livejournal.com/314894.html
--
язык оказывает серьезное влияние на мышление
https://deep-econom.livejournal.com/284596.html
---
модели, модели моделей, языки моделирования
https://deep-econom.livejournal.com/267236.html
проблемы универсального языка моделирования
https://deep-econom.livejournal.com/271026.html
---