История изменений
Исправление kaldeon, (текущая версия) :
Адресы в Си — это уже абстракция (через MMU и кэши), просто небезопасная. Санитайзеры повышают уровень ещё выше. А само по себе понятие адреса не делает язык высокоуровневым. Повсюду есть адресы.
Абстрактная машина Си больше не описывает реальное железо, особенно если учитывать её целиком, не только адресы. Количество флагов компилятора не случайно так такое огромное. И этот факт тоже негативно сказывается на производительности и сложности, как и у любого другого языка высокого уровня.
Нет никакой низкоуровневой причины, объясняющей почему язык до сих пор не мог бы давать гарантии хотя бы на уровне Паскаля. Проверка границ, сильная типизация, запрет адресной арифметики, автоматическое управление памятью — все эти абстракции ничем не хуже тех, которые в Си уже используются.
Исправление kaldeon, :
Адресы в Си — это уже абстракция (через MMU и кэши), просто небезопасная. Санитайзеры повышают уровень ещё выше. А само по себе понятие адреса не делает язык высокоуровневым. Повсюду есть адресы.
Абстрактная машина Си больше не описывает реальное железо, особенно если учитывать её целиком, не только адресы. И этот факт тоже негативно сказывается на производительности и сложности (количество флагов компилятора не случайно так такое огромное), как и у любого другого языка высокого уровня.
Нет никакой низкоуровневой причины, объясняющей почему язык до сих пор не мог бы давать гарантии хотя бы на уровне Паскаля. Проверка границ, сильная типизация, запрет адресной арифметики, автоматическое управление памятью — все эти абстракции ничем не хуже тех, которые в Си уже используются.
Исправление kaldeon, :
Адресы в Си — это уже абстракция (через MMU и кэши), просто небезопасная. Санитайзеры повышают уровень ещё выше.
Само по себе понятие адреса не делает язык высокоуровневым. Абстрактная машина Си больше не описывает реальное железо, особенно если учитывать её целиком, не только адресы. И этот факт тоже негативно сказывается на производительности и сложности (количество флагов компилятора не случайно так такое огромное), как и у любого другого языка высокого уровня.
Нет никакой низкоуровневой причины, объясняющей почему язык до сих пор не мог бы давать гарантии хотя бы на уровне Паскаля. Проверка границ, сильная типизация, запрет адресной арифметики, автоматическое управление памятью — все эти абстракции ничем не хуже тех, которые в Си уже используются.
Исправление kaldeon, :
Адресы в Си — это уже абстракция (через MMU и кэши), просто небезопасная. Санитайзеры повышают уровень ещё выше.
Само по себе понятие адреса не делает язык высокоуровневым. Абстрактная машина Си больше не описывает реальное железо, особенно если учитывать её целиком, не только адресы. И этот факт тоже негативно сказывается на производительности и сложности (количество флагов компилятора не просто так такое огромное), как и у любого другого языка высокого уровня.
Нет никакой низкоуровневой причины, объясняющей почему язык до сих пор не мог бы давать гарантии хотя бы на уровне Паскаля. Проверка границ, сильная типизация, запрет адресной арифметики, автоматическое управление памятью — все эти абстракции ничем не хуже тех, которые в Си уже используются.
Исправление kaldeon, :
Адресы в Си — это уже абстракция (через MMU и кэши), просто небезопасная. Санитайзеры повышают уровень ещё выше.
Само по себе понятие адреса не делает язык высокоуровневым. Абстрактная машина Си больше не описывает реальное железо, особенно если учитывать её целиком, не только адресы. И этот факт тоже негативно сказывается на производительности и сложности, как и у любого другого языка высокого уровня.
Нет никакой низкоуровневой причины, объясняющей почему язык до сих пор не мог бы давать гарантии хотя бы на уровне Паскаля. Проверка границ, сильная типизация, запрет адресной арифметики, автоматическое управление памятью — все эти абстракции ничем не хуже тех, которые в Си уже используются.
Исправление kaldeon, :
Адресы в Си — это уже абстракция (через MMU и кэши), просто небезопасная. Санитайзеры повышают уровень ещё выше.
Само по себе понятие адреса не делает язык высокоуровневым. Абстрактная машина Си больше не описывает реальное железо, особенно если учитывать её целиком, не только адресы. И этот факт тоже сказывается на производительности и сложности, как и у любого другого языка высокого уровня.
Нет никакой низкоуровневой причины, объясняющей почему язык до сих пор не мог бы давать гарантии хотя бы на уровне Паскаля. Проверка границ, сильная типизация, запрет адресной арифметики, автоматическое управление памятью — все эти абстракции ничем не хуже тех, которые в Си уже используются.
Исходная версия kaldeon, :
Адресы в Си — это уже абстракция (через MMU и кэши), просто небезопасная. Само по себе понятие адреса не делает язык высокоуровневым. Абстрактная машина Си больше не описывает реальное железо, особенно если учитывать её целиком, не только адресы. И этот факт тоже сказывается на производительности и сложности, как и у любого другого языка высокого уровня.
Нет никакой низкоуровневой причины, объясняющей почему язык до сих пор не мог бы давать гарантии хотя бы на уровне Паскаля. Проверка границ, сильная типизация, запрет адресной арифметики, автоматическое управление памятью — все эти абстракции ничем не хуже тех, которые в Си уже используются.