> -- Владислав Жаринов писал(а):
> Ого! Вы уже идёте прямо в русле неоклассики применительно к прогязыкам... Кстати, для такого использования идентификаторов, надо думать, нужен формат исходника, поддерживающий нечто вроде RTTI (т.е. записи о величинах такого вида, как обсуждалось в )? Вы предполагаете какой-то конкретный формат?
Почти в точности!
Пока не заморачиваемся эффективностью, реализовали чистый интерпретатор.
Пацан сейчас серьезно размышляет над понятием "тип".
В процессе предыдущей реализации у него получилось, что одной кнопочкой можно переключать ся с семантики значений на семантику ссылок. Но сейчас остановились, так как любые попытки обобщения приводят к лиспу...)
Если посмотреть чуть глубже, то - к смешанным вычислениям Ершова