OSDev

писать нужно на том, что в итоге превращается в машинный код

ИМХО, оратор выше описался. XML на зарубежном комьюнити предлагали, а не HTML.

а насчет языка програмирования swift ?что скажете?

уже сказали

не было выще. еще может есть документация по созданию своего язык програмирования?к примеру с нуля или на основе другого

и еще может есть где инфа про написание ос на языках програмирования типо сравнения.что получем какие + какие -

С нуля, то:
Вирт Н.-"Алгоритмы + структуры данных = программы"
Альфред Ахо,Рави Сети,Джеффри Ульман "Компиляторы" (Книга дракона)
Если из модифицированного то читать руководства к существующим инструментам для создания компиляторов. BISON,
на Pascal.ABC есть статьи как писать под NET. Или берёте Clang и модифицируете его код под свой язык.

Такой информации нет но вы можете стать первым.

Да ведь сказали:

Swift имеет garbage collection, как и другие представители этого ряда - Java, Objective-C, C#...
Подобные языки возможно использовать для написания ОС, но крайне нежелательно.


К уже упомянутому титаническому труду "Книга дракона" с почти 1200 страниц могу ещё посоветовать ускоренный трёхмесячный онлайн-курс "Компиляторы" от стэнфордского университета. Это если английский знаете. Есть ещё двухлетний тренировочный курс CPPGM.
Хочу предостеречь вас от излишнего оптимизма. Разработка языка+компилятора - ооочень непростая задача, по масштабам ничуть не меньшая, чем написание ядра ОС. Кроме того, она подразумевает не только знание специфики построения компиляторов, но и знание алгоритмов и современных парадигм программирования.

_________________
Yet Other Developer of Architecture.
The mistery of Yoda’s speech uncovered is:
Just an old Forth programmer Yoda was.
<<< OS Boot Tools. >>>

Книжек со сравнением нет, но можно читать мемуары разработчиков ОС, где они описывают, как создавали свои детища. Анализировать придется самостоятельно.

Скажем, есть книжка "Проект Оберон" Вирта (точное название не помню), где он описывает, как они делали ОС на основе своего языка. В ней выбор решений не обосновывается, а дается как факт: мы делали так. Обычная виртовская вкусовщина.

А вообще есть целый класс систем, называемых основанными на языке (language-based) -- это когда основные концепции ОС одновременно являются концепциями языка программирования, разрабатываемого авторами вместе с ОС. Это не только Оберон, но и Smalltalk, например.