Проверка семантики кода

[Хакер]

Но в любом случае, абсолютно ноль целых ноль десятых смысла в идее писать компилятор, компилирующий любой язык, в котором нет типов, в Native-код.

Потому что код (суммарно) получится очень большим по объёму (на два порядка больше, чем аналогичный псевдокод).
Код будет состоять из повторяющихся почти одинаковых (очень друг-на-друга похожих) кусков, размером где-то 50—100 инструкций, которые будут производить кучу проверок и производить элементарное (в позиции языка) действие, вроде сложения двух операндов или вызова «функции».

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

Но вот если в языке есть типы, тогда его однозначно нужно делать компилируемым в Native-код. Потому что это даст выгоду.

[ger_kar]

Но в любом случае, абсолютно ноль целых ноль десятых смысла в идее писать компилятор, компилирующий любой язык, в котором нет типов, в Native-код.

Ну можно в этот язык типизацию внедрить, как говориться, кто делает компилятор, тот и заказывает музыку

[jangle]

Ну можно в этот язык типизацию внедрить, как говориться, кто делает компилятор, тот и заказывает музыку

Если делать полноценный компилятор с типами могут быть сложности. Целочисленные просто реализовать, а вот с плавающей точкой могут быть проблемы. Нужно хорошо понимать команды сопроцессора и IEEE 754. Иначе всему компилятору крышка

[ger_kar]

а вот с плавающей точкой могут быть проблемы. Нужно хорошо понимать команды сопроцессора и IEEE 754. Иначе всему компилятору крышка

А что если типизацию не применять, проблем такого характера не возникнет? По моему здесь типизация на это никак не влияет, как говориться что в лоб, что полбу.

[Qwertiy]

Ну можно в этот язык типизацию внедрить, как говориться, кто делает компилятор, тот и заказывает музыку

Нельзя внедрить.

Код: Выделить всё

<script type="text/javascript">
  var obj = {};
 
  alert(obj + "\n" + obj.x + "\n" + obj.y);
  obj.x = ":D";
  alert(obj + "\n" + obj.x + "\n" + obj.y);
  obj.x = obj;
  obj.y = null;
  alert(obj + "\n" + obj.x + "\n" + obj.y);
</script>

[ger_kar]

Если делать компилятор в нативный код, то ничего не мешает, а для веба нативный код нафиг не нужен.

[Qwertiy]

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

... изобрести новый язык?

а для веба нативный код нафиг не нужен.

Javascript же

[jangle]

Если делать компилятор в нативный код, то ничего не мешает, а для веба нативный код нафиг не нужен.

Есть операционки написанные на JavaScript, для планшетов всякие вебОС. Вот там компилятор мог бы пригодится

[Хакер]

Операционки, написанные на JavaScript — невозможны. Тот факт, что такие вещи есть, это просто наглое враньё тех, кто заявляет, что они имеют операционки, написанные на JS. У них какая-то часть, верхнеуровневая часть написана на JS.

[jangle]

Ну да, ядро переделанный Linux, а интерфейс на JS делается. Если бы JS компилировался, вебОСы не были бы такими тормозными