компилятор

From

Vladimir Chizhov (2:5030/1359.13)

To

Alex Kozhushko

Date

2002-11-09T03:01:12Z

Area

RU.ALGORITHMS

Приветствую, Alex!

Отвечаю на письмо, написанное тобой к Nick Kovaliov:

 NK>> Интересно, означает ли это,
 NK>> что ему нужно будет делать нормальный вывод типов ...
 AK> Смотря насколько у него Java порезана :-)

См. предыдущее письмо.

 AK> Поскольку типы - только встроенные, структурная эквивалентность

Так, да не совсем. Пользователь имеет право создавать собственные типы. То бишь классы. Насколько порезаны классы - см. тоже в пред. письме.

 AK> вырождается в контроль размерностей комплексных матриц при
 AK> присваиваниях (да и то непонятно - что такое "матрица" в данном

Эээ... Ну, как бы, встроенный тип, причем не примитив, и даже не массив, а класс. Вопрос написать этот класс на входном языке или встроить в компилятор пока не решен, хотя мне кажется, что реализовать его на входном языке по идее должно быть проще. Что скажете по этому поводу?

 AK> случае? Может быть, вместо контроля типов придется вставлять проверки
 AK> времени выполнения). С другой стороны, раз курсовик - могут
 AK> потребовать что угодно, независимо от того, насколько
 AK> это действительно нужно.

До встречи!

... The rest is silence.         (c) W. Shakespeare
---
 * Origin: The very end of letter (2:5030/1359.13)