struct Foo
{
    thistype prev = 0;
    thistype next = 0;
    // ...

    thistype getFirst() {
        if (this.prev != 0) {
            return prev.getFirst();
        }
        return this;
    }
};

Foo getFirstOf(Foo given) {
    if (given.prev != 0) {
        return getFirstOf(given.prev);
    }
    return given;
}

Foo createListAndReturnLastObject(int listLenght) {
    Foo st_1 = Foo.create();
    Foo st_2;
    int i = 0;
    while (i++ < listLenght) {
        st_2 = Foo.create();
        st_1.next = st_2;
        st_2.prev = st_1;
        st_1 = st_2;
    }
    return st_2;
}

void Test() {
    Foo bar = getFirstOf(createListAndReturnLastObject(31));
}

То есть сам список как объект не обязательно описывать, ИМО. Вообще, я не вполне уверен в теме, так что буду рад исправлениям и пояснениям, если они уместны. Код на JASS, но логика вполне понятна и отлично переносится в цпп. Трахаться с указателями по памяти влом, нет IDE под рукой.

WarCraft III написан на языке программирования С - это язык низкого уровня.

Си - это всё-таки язык высокого уровня, если придерживаться строгой классификации. На нём действительно можно писать на низком уровне абстракции, но, тем не менее, Си был создан как компилируемый язык, что по факту исключает возможность называть его языком низкого уровня.

Так как он основывается на работе с событиями, это событийно-ориентированный язык программирования.

Предложение сформулировано таким образом, что читателю остаётся непонятно, про Си идёт речь, или про JASS. Если первое, то замечу, что Си - процедурный язык программирования, и нативного функционала работы с событиями (event subscription) в нём нет вовсе. Ближайший родственный язык, в котором в нативно присутствует функционал СОП - C#.

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

Интерпретатор считывает исходный код программы и выполняет его, причём преобразование исходного кода в бинарный и выполенение выполняется построчно (исполняют полученный скрипт, не изменяя его). Компиляторы же полностью переобразовывают исходный код программы в бинарный, который целевая система может выполнять самостоятельно (создают исполняемый файл). Подавляющее большинство компиляторов при работе производит поиск ошибок в коде, выдавая их списком после завершения компиляции.
Если говорить в отношении "чистого" JASS, то это скриптовый язык, и, следовательно, он именно интерпретируемый. Для избежания разночтений поясняю: в архиве карты файл скрипта хранится в неизменном виде, выполняется целевой системой (JASS VM) дословно и построчно, и, само собой, ни в какой машинный код не преобразуется. Существует способ реализации в JASS чего-то вроде ассемблерных вставок (принудительного исполнения определённым образом сохранённого в скрипте байт кода), но это совсем другая история.
Советую в соответствии с этим замечанием пересмотреть некоторые формулировки в статье, чтобы не сбивать читателей с толку. В отношении JASS, возможно, это значения не имеет, но сам по себе момент достаточно принципиальный, и неверное его понимание в будущем может выстрелить читателю в колено.

Встроенное средство в World Editor занимается компиляцией JASS.

Исключительно проверкой кода, причём, насколько мне известно, посредством запуска внутриигрового интерпретатора. Остальное разобрано выше.

На такие ошибки, как бесконечные циклы или десинхронизация код не проверяется.

Не рекомендовал бы ставить подобные примеры в один ряд: причиной появления бесконечные циклов почти всегда является ошибка в коде или алгоритме, а причиной появления десинхронизации служит исключительно неосведомлённость картодела о механике синхронизации игровых данных ввиду некоторых неочвидных особенностей её работы.

Подобные недочёты компилятора World Editor широко использовались взломщиками.

Не указано, какие "подобные недочёты" имеются в виду. Если это про ошибки из предыдущего абзаца, то замечу, что RB работал из-за совершенно иного недочёта разработчиков игры и был весьма топорно заткнут в патче 1.24. Популярный сейчас Memory Hack технически эксплуатирует ту же самую ошибку.
RB в далёком прошлом, не вижу смысла о нём вообще упоминать. Кроме того, не вполне понятно, как это упоминание соотносится с названием спойлера, в котором находится: "Краткий ликбез о типах и переводах языков программирования".

Структуру кода на JASS под силу понять даже новичку в программировании.

Не согласен, понятность кода зависит только от того, как он написан, независимо от ЯП (разумеется, если это не ASM).

Обработка команд языка движком игры - тайна за семью печатями.

Абсолютно нет, всё давно разобрано по винтикам, доходило даже до абсурда: та самая ошибка в работе JASS VM, которая позволяла исполнять произвольный код на машине игрока, была окончательно исправлена только после того, как парень с хайва написал им письмо с указанием, где именно и каким образом её стоит исправлять, с огромным описанием технических деталей.

Недостатки
Отсутствие поддержки работы с памятью

1. Она условно есть, просто появилась случайно
2. Реальная необходимость работать напрямую с памятью в WarCraft не для хака функционала, который "забыли" добавить в нативки отсутствует => это сложно считать недостатком, скорее просто характеристикой

trackable - особый случай, но он не касается игрового интерфейса

Практически единственное адекватное применение trackable - как раз-таки создание альтернативного внутриигрового UI.

После небольшого опыта работы с JASS у меня появилось такое подозрение, что в JASS переменные - это не сами области памяти, а ссылки на эти области

Так и есть, поскольку JASS-скрипт исполняется через VM.

>Обнуление <...> используется для того, чтобы показать, что в переменной никакого значения не хранится, при этом память, выделенная под переменную, не освобождается
Освобождается при смерти потока, но только при условии, что переменной не задано значение. Базовые типы прямо наследуются от типов из Си, поэтому с ними работает его сборщик мусора, и обнулять их не требуется (в статье Скорпа были уточнения на этот счёт).

В общем, массив - это несколько переменных, объединённых в таблицу в одной переменной для удобства.

ЕМНИП, там принципиально различается подход к использованию памяти, это не только удобство.

Это действие также называется инициализацией переменной.

Крайне советую разбить пример кода на

local integer myInteger

и

set myInteger = 0

чтобы пояснить разницу между объявлением переменной и её инициализацией. Технически, в JASS это практически одно и то же, но концептуально это разные вещи. Кроме того, кейворд local имеет смысл только после введения в контекст понятия "функция", так как вне её оно не может быть использовано.

Также имя переменной должно быть уникальным <...> переменная и функция не может иметь одно и то же имя

Уточнение - только в одном неймспейсе, в противном случае будет использоваться переменная с наименьшей областью видимости. Тут могу ошибаться, так как не использую "чистый" редактор. В моей сборке код из-под ката прекрасно сохраняется.

globals
integer Test=0
endglobals

function TestFunc takes nothing returns nothing	// Если поменять название на "Test", то возникает конфликт с локалкой, но не с глобалкой.
local integer Test=12
endfunction

То есть, глобальная переменная может иметь одинаковое имя с функцией. Ну и да, опять-таки, слово "функция" используется раньше пояснения, что это такое. Читатель-то не компилирует, а интерпретирует текст, построчно. =)

Такие функции часто называют "нативками" в честь приставки native, используемой для таких функций.

Native - родной, функции называют так в силу того, что они предоставляются вместе с языком на правах базовых, и их фактическая реализация находится на более низком уровне абстракции.
И серьёзно, 11я ссылка на одну и ту-же статью в википедии. Мне как читателю стало понятно личное отношение автора к проприетарному софту ещё на таблице, и даже там повторения было избыточными.

Постоянная функция

ЕМНИП, константы в JASS - это именно константы, а не константные функции. Могу ошибаться.

Помните, что после возврата значения исполнение функции останавливается.

Лучше написать "прерывается", так как остановка может подразумевать продолжение исполнения в дальнейшем.

Сравнивает два значения одинаковых типов.

Можно вынести перед таблицей и не повторять для каждого элемента.