Язык наверху это правильно. Вот нашёл в сети про теорию моделей короко из советской энциклопедии
"Основные понятия Моделей теория - понятия алгебраической системы, формализованного языка, истинности высказывания рассматриваемого языка в данной алгебраической системе ... В общем случае под алгебраической системой понимается непустое множество вместе с заданными на этом множестве совокупностями отношений и операций от конечного числа аргументов. Эти операции и отношения называются основными в алгебраической системе. Каждой такой операции и каждому такому отношению ставится в соответствие определённый символ. Набор W этих символов называется сигнатурой алгебраической системы. Обычно изучаются классы алгебраических систем одной сигнатуры." http://bse.sci-lib.com/article077381.html
В своё время Viktor Sirotin заметил, что "интересно было бы понять практическую связь теории моделей и лямбда-исчислений. А затем лябда-исчислений и функционального программированиия.
( ... )
ну вот функциональщина или автоматы, или лямбда исчисления, или комбинаторы и прочее и прочее, по сути это всё одинаково по выразительной силе (тьюринг-эквивалентно), поэтому любое из списка моделирует остальное
( ... )
а так да, видимо в основе надо както комбинаторы моделей изобретать некие а это в итоге тоже все соответствия и подстановки одного в другое, такие конструкции графово-сетевые
Есть такой язык программирования, который назвается APL и который в свою очередь породил К, который оперирует "МОДИФИКАТОРАМИ" (те же комбинаторы) и на котором весом в 200К сделана БД по функциональности Оракла и быстрее его в разы. Там уродство с синтаксисом, но если его во что-то, в более человеческое перевести, то может стать в качестве одной из базовой основ для разработки своего языка. Есть ещё несколько симпатичных идей в других мета-языках, которые можно пообсуждать потом для синтезирования чего-то оптимального. С ссылками разбирусь, можно будет в эту тему вместе погрузиться. Я буду пытаться что-то выделить, а Вы типа принимаете решение "пойдёт или нет" и "почему, если не пойдёт".
( ... )
Reply
"Основные понятия Моделей теория - понятия алгебраической системы, формализованного языка, истинности высказывания рассматриваемого языка в данной алгебраической системе ... В общем случае под алгебраической системой понимается непустое множество вместе с заданными на этом множестве совокупностями отношений и операций от конечного числа аргументов. Эти операции и отношения называются основными в алгебраической системе. Каждой такой операции и каждому такому отношению ставится в соответствие определённый символ. Набор W этих символов называется сигнатурой алгебраической системы. Обычно изучаются классы алгебраических систем одной сигнатуры."
http://bse.sci-lib.com/article077381.html
В своё время Viktor Sirotin заметил, что "интересно было бы понять практическую связь теории моделей и лямбда-исчислений. А затем лябда-исчислений и функционального программированиия. ( ... )
Reply
Reply
а это в итоге тоже все соответствия и подстановки одного в другое, такие конструкции графово-сетевые
Reply
Reply
язык К используют крутые банки в трейдинге, лет 10 назад их компилятор стоил сотни килобаксов
Reply
https://habr.com/post/258611
Reply
Leave a comment