Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ)

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

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

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

Страница: 1

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

1

  • Автор: Лис [М]
  • Участник
  • Лис [М]
  • Зарегистрирован: 2023-03-10
  • Приглашений: 0
  • Сообщений: 1119
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    6 дней 1 час
  • Последний визит:
    2024-11-27 23:25:17

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

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

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

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

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

0

2

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 690
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 44 [1980-08-03]
  • Провел на форуме:
    9 дней 7 часов
  • Последний визит:
    2025-01-31 06:10:13
Лис написал(а):

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

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

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

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

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

0

3

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 690
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 44 [1980-08-03]
  • Провел на форуме:
    9 дней 7 часов
  • Последний визит:
    2025-01-31 06:10:13

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

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

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

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

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

0

4

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 690
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 44 [1980-08-03]
  • Провел на форуме:
    9 дней 7 часов
  • Последний визит:
    2025-01-31 06:10:13
Лис написал(а):

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

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

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

0

Страница: 1