AB
Надо сначала дать определение типа константы, потом определение типа переменной.
Ну и желательно предварительно определение константы и переменной.
)
Ну и желательно предварительно определение константы и переменной.
)
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 25
AB
Через константы мы выйдем на инварианты, на символы как обозначения констант, на тождественность/нетождественность/эквивалентность, на представление констант физическим способом в виде физических интерпретаторов. И т.п.
DK
а если от обратного плясать, от физики вычислителя?
то есть переменная — это то, что может быть непосредственно понято и обработано физвычислителем арифметика/предикат/адрес
а константы — это всё вне, в дизайнтайм остаётся
то есть переменная — это то, что может быть непосредственно понято и обработано физвычислителем арифметика/предикат/адрес
а константы — это всё вне, в дизайнтайм остаётся
[
В ленивом фп константы вполне себе мутируют
AG
но только один раз
[
Этого более чем достаточно!
*Завязываю узел*
*Завязываю узел*
AB
Ну да, начинать надо с физических вычислителей, ну или с простейших минимальных моделей простейших вычислителей.
Ну и вот, получается, что константа это некий символ, который обозначает некую область памяти, которая (область памяти) ддолжна обладать некими свойствами присущими константе.
Ну и вот, получается, что константа это некий символ, который обозначает некую область памяти, которая (область памяти) ддолжна обладать некими свойствами присущими константе.
AB
Ну и тут же возникает вопрос, а эта область памяти имеет некую структуру? Т.е. константа уже обладает структурой? Т.е. это уже тип? Структура уже тип?
K
А ты во что компилироваться-то будешь?
AB
Что есть компилирование?
AB
Синтаксическая конструкция, которая преобразует одну синтаксическую структуру в другую.
AB
Просто смотрим есть область памяти, некие ячейки памяти, сблокированные или нет, нам по идее надо выделять самые простейшие структуры памяти.
AB
Простейшие ячейки содержат по идее одно значение. Некое физическое значение некого физического устройства.
Туда импульс - назад отзыв. )
Или отсутствие отзыва.
Типа осуществляем взаимодействие с ячейкой и наш измерительный прибор предварительно шкалированный и откалиброванный получает некое значение на некой шкале.
Туда импульс - назад отзыв. )
Или отсутствие отзыва.
Типа осуществляем взаимодействие с ячейкой и наш измерительный прибор предварительно шкалированный и откалиброванный получает некое значение на некой шкале.
AB
И это значение мы можем назвать константой, если мы многократно осуществляли процедуру измерения, и многократно получали одно и тоже значение использую конкретую алгоритмическую процедуру, конкретную измерительную модель.
AB
Мы можем сказать, что данное значение есть инвариант относительно шкалы и процедуры измерения. Ну или константа.
AB
А есть еще обозначение константы в неком символьном языке.
AG
вам надо с максимом старовойтовым из чата по абстрактной алгебре скооперироваться
AG
он там как раз законы физики переизобретает на основе алгебры