deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

языки, модели, типы данных, полиморфизм

соберу сюда родственные темы возникшее в последнее время и ранее

---
заодно еще выскажу пару мыслей по всем этим темам
полиморфизм похоже должен быть во всем, это отражение одного из главных свойств моделей, если модель охватывает некоторую область, то она обладает в некоторой степени полиморфизмом
полиморфизм дает гибкость, универсальность, абстрагирование, обобщение

соответственно ограничения полиморфизмов должны диктоваться удобностью использования моделей (конструкция языка программирования) и во вторую очередь эффективностью (вычислительной/исполнительской эффективностью)
оговорка: понятно, что есть задачи, когда эффективность стоит на первом месте

точно также язык программирования должен быть весьма высокоуровневым и обладать высокой степенью полиморфности, не следует ее ограничивать, но когда нужна эффективность, то нужно в том же языке давать программисту конструкции позволяющие строить код по его усмотрению, давать управление памятью, давать статическую типизацию, ограничивать полиморфность и т.п.
все ИМХО


---
Строгая типизация языков программирования не нужна
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
---
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 1 comment