FreePascal.ru

Надо писать ОС под разные платформы, а не только под ПС. например под MCS-51.
Обязательно с поддержкой многозадачности (физической или виртуальной неважно) как на уровне ОС так и компилятора.
Отсюда вывод и ОС и компилятор должны быть ориентированы друг на друга.
Это можно легко сделать с помощью ...

а еще пусть компилятор сам программы пишет.

Указатели нужны в виде ^тип, а pointer нет.
Или можно все сложные типы по умолчанию определять как указатель (как в Delphi).
Например.
вместо:
type
patom = ^tatom;
tatom = record
next: patom;
end;
писать:
atom = record
next: atom;
end;

и atom подразумевать как ссылку.
память соответственно ...

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

для примера: задача покрасить стену.
инструмент для покраски: кисть или ...

из учебника: "тип переменной описывает НАБОР значений, которые она может принимать, и ДЕЙСТВИЯ, кторорые могут быть над ней выполнены."

пример:
var
s1, s2, s3: string;
begin
s2 := '1';
s3 := '1';
s1 := s2 + s3;

вопрос: какой должен быть результат, '11' или '2' ?

типы и нужны для того что-бы ...