LINUX.ORG.RU

История изменений

Исправление SZT, (текущая версия) :

Если вам нужна «безопасность кода» (то есть чтобы компилятор прощал безалаберность кодера) и сборка мусора, то пишите на Java или C#.

Для безопасности достаточно весь код покрыть «контрактами», доказываемыми через SMT-солверы в логике первого порядка, используя Frama-C например

вся его ценность (была) заключена в том, что это исходно был язык НИЗКОГО уровня, но с возможностью создания сколь угодно высокоуровневых абстракций.

Без eval() возможностей создания сколь угодно высокоуровневых абстракций нет

Исходная версия SZT, :

Если вам нужна «безопасность кода» (то есть чтобы компилятор прощал безалаберность кодера) и сборка мусора, то пишите на Java или C#.

Для безопасности достаточно весь код покрыть «контрактами», доказываемыми через SMT-решателями в логике первого порядка используя Frama-C например

вся его ценность (была) заключена в том, что это исходно был язык НИЗКОГО уровня, но с возможностью создания сколь угодно высокоуровневых абстракций.

Без eval() возможностей создания сколь угодно высокоуровневых абстракций нет