Re: [mskhug:0] Сводка для группы mskhug@googlegroups.com - Сообщения: 2 в Темы: 2

[Serguey Zefirov]

> Сегодня я добавил туда pdf-файлы статей и презентаций.

Спасибо.

> В нашем случае интересно то, что используется не функциональный (или
> логический) язык, а императивный. Традиционно такие "фокусы" было принято
> делать на языках с "деревянистыми" неизменяемыми данными, а здесь показано,
> что можно использовать и "обычный" язык и изменяемые структуры данных типа
> массивов. Лишь бы язык был достаточно "хорошим", чтобы для него можно было
> реализовать суперкомпилятор. Java и C# для этого подходят, а С и C++ нет.

А что означает термин "хороший"? Фортран - "хороший" язык? А с
equlivalence, вот, как в BLAS:
http://thesz.livejournal.com/469336.html?

В C/C++ большие проблемы с наложением адресов. Их "плохость",
наверное, этим объясняется.