ПО, ЭВМ и АСУ из Таможенного Союза

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.


Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » доказательное программирование » 1982, Барвайс, Часть 1. Теория моделей


1982, Барвайс, Часть 1. Теория моделей

Сообщений 1 страница 4 из 4

1

1982, Барвайс Дж. (ред.), Справочная книга по математической логике. В 4-х частях. Часть 1. Теория моделей-Наука, ФМЛ

Теория моделей содержит (свою как часть) теорию массивов (Theory of Arrays).
А массивы - это то, что недоделано в Солуни.

Хотя, конечно, проблема Солуни не в том, что сделать массивы, а в том, что масивы это другой тип. А для типов нужна может всё объяснить теория типов, но про теорию типов я уже раньше писал, а про теорию массивов только что на LOR прочитал.

См. также
Массив

Отредактировано Лис (2023-10-28 03:35:21)

0

2

Лис написал(а):

проблема Солуни не в том, что сделать массивы, а в том, что массивы это другой тип.

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

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

Линейный диапазон значит, что индекс идет от нуля до какого-то числа через целую единицу.
Есть идея вещественных индексов, но пока что это жесть и кринж.

Кстати, поскольку в Солуни есть только один вещественный тип числа (переменной),
то нет понятия "структура".

0

3

Предполагается , что в Солуни будет динамический массив.
Нет процедуры задания длины массива.
Какие индексы массива присвоены, те и используются.
В остальных индексах нули.

Круто будет, когда будут многомерные массивы.
А ещё круче, если будут бесконечномерные массивы.
Если динамический массив одной мерности, это массив бесконечной длины этой мерности,
а по сути массив неизвестной заранее длины,
то бесконечномерный массив это массив бесконечного количества мерности,
то есть заранее неизвестно, сколько мерностей примет в/на себя массив.

Разумеется, слово "бесконечный" подразумевает размер памяти, выделенный для программы.
Может, это сто байт, а может и сто Терабайт.

Даже глядя на исходник,
только лишь никто сможет понять,
сколько мерностей окажется в массиве.
То есть в процессе рантайма мы будем увидеть,
сколько окажется мерностей.

Так что пристёгивайте ремни,
нас ждут безумные качели программирования на языке Солуни,
то есть на языке программирования (будущей) Космической Империи!
И пусть потом никто не скажет, что не знал всего этого!

0

4

Лис написал(а):

Теория моделей содержит (свою как часть) теорию массивов (Theory of Arrays).

Вторая часть этого сборника называется "Теория множеств".
Это математическая теория,
и к программированию практически не имеет отношения.
Рекомендую программистам к прочтению для расширения общенаучного кругозора,
но программирования там нет,
зато много непонятных формул, и всяких заумных витиеватых фраз.

Книга является прекрасным образцом строгого академизма,
что лично у меня вызывает отвращение на биологическом уровне.

0


Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » доказательное программирование » 1982, Барвайс, Часть 1. Теория моделей