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

лисп и язык моделей - 2

пока смутно, хожу вокруг и около, ощущение, что продвигаюсь, какието новые мысли акцентирую, но не до конца както все, это все промежуточные раассуждения

упорядоченные пары это низкоуровневая конструкция из которой собирается все, в том числе и более универсальная "модельная конструкция" или просто модель

---цитата из темы лисп и язык моделей---
итак мы ввели два понятия:
модель
модельная пара (модельная конструкция)
----------------------------------------

понятие по своей сути это упорядоченная пара или вырожденная модель (зависит от конкретики)
т.е. понятие это тоже модельная конструкция


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

итак, что мы неявно сделали по сравнению с другими языками и формальными системами?
мы ввели понятийные конструкции, модельные конструкции

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

понятно, что это и новые переменные данного типа, и какието операции работы с ними
X="модельная конструкция"
X="понятийная конструкция"

теория категорий говорит, что следует определять операцию композиции конструкций, ну типа сборки одной конструкции из двух Z=XY и т.п.

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

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

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

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

тут же возможен и дополнительный подход, после того, как будет выработана система моделей для конструирования моделей, мы можем пробовать не сами строить дальнейшие модели неформального, а попробовать разработать универсальный алгоритм формализации, и таким образом мы автоматизируем деятельность по формализации
а также автоматизировать деятельность по изготовлению моделей и понятий
тут как обычно два подхода, снизу вверх и сверху вниз навстречу друг другу, + как обычно добавляем вручную набор полезных библиотек и алгоритмов

универсальный подход:
- идем от данных к цели (снизу вверх)
- от цели к данным (сверху вниз)
- изнутри наружу (от середины вниз и вверх, от середины к цели и к данным)

/* "изнутри наружу" - вспоминаем сериал Силиконовая долина с алгоритмом архивирования изнутри наружу!
ну а вы как думали! )))
смотреть обязательно!
изнутри наружу https://youtu.be/0hXV3R82kM8

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

ps
лисп и язык моделей-1 https://deep-econom.livejournal.com/517661.html
Язык моделирования https://deep-econom.livejournal.com/263454.html
новый язык моделирования https://deep-econom.livejournal.com/270402.html
смутные мысли о моделировании https://deep-econom.livejournal.com/297401.html
и поиск по моему жж слова "лисп"
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 3 comments