automation
Ассемблер смыслов: от алгоритмов Маркова к кириллическому байткоду
Как естественный язык может стать мнемоническим интерфейсом для низкоуровневых вычислений.* Между человеческой мыслью и машинным кодом всегда лежала пропасть. Чтобы заставить процессор выполнить действие, мы проходим через синтаксис высокого уровня, компиляцию, линковку и виртуальные машины, но так было не всегда. В середине XX века Андрей Марков предложил нормальные алгоритмы, названные впоследствии НАМ, где вычисления описывались как последовательность подстановок символов. Позже появились предметно-ориентированные языки (DSL), пытавшиеся адаптационно приблизить код к задаче. Суть идеи была ясна, чем ближе язык описания к смыслам операции, тем лучше сама трансляция. Я пошел по этому пути дальше ,не сразу и сейчас, уже много лет идея крутилась в голове и все никак не могла достучаться до реализации. И вот наконец предположил, что нам не нужно изобретать новый синтаксис.
Читать далее →