X-Git-Url: http://deadsoftware.ru/gitweb?a=blobdiff_plain;f=notes;h=03a10c9e1bb2c39bc36631f52917f5613eb0bf8c;hb=2990352489faafd75147773896021d7c8ef9e637;hp=15aa1da6de3a10d2105fea29184e0af25f7174bf;hpb=5b29102a5440d6511087356b9d9579b7501ca1ec;p=dsw-obn.git diff --git a/notes b/notes index 15aa1da..03a10c9 100644 --- a/notes +++ b/notes @@ -1,23 +1,38 @@ -- Нужен тип представляющий типы - Требуется для оператора IS и некоторых встраиваемых функций +- JVM: Импортируемые модули не инициализируются +- Нет счёта строк / столбцов -- Нет типа SET -- Нет оператора IS -- Нет конструкции CASE -- Нет конструкции WITH -- Нет модуля SYSTEM -- Нет функций ASH CAP CHR ENTIER LEN LONG MAX MIN ODD ORD SHORT SIZE -- Нет процедур ASSERT COPY DEC EXCL HALT INC INCL -- Не реализована свёртка констант -- Не счёта строк / столбцов +- Сделать проверку повторов в CASE. +- Сделать нормальную проверку наличия RETURN. +- Нет процедур привязанных к типм -- JVM: Не реализованы VAR-параметры. -- JVM: Не реализованы локальные процедуры. +- Нужно просмотреть Дубовые требования: + 2.3 Illegal Operations + 3. Type tests and type guards with NIL pointers. + 5. Accessing a set element outside the range 0 .. MAX (SET). + 6. Applying SHORT (...) to an argument with value not in the range of the result type. + 8. Overflows. + 2.4 WITH and guarded variables ??? + 2.5 String Comparison ? + 2.7 String and Character Compatibility + 3.5 Interfacing to External Libraries + 3.6 Underscores in Identifiers + 3.7 In-line Exponentiation + 5.10 Monadic ‘-’: -5 MOD 3 is equivalent to -(5 MOD 3) + 5.13 Read only VAR Parameters + 1.2.5 Module Files + 1.2.6 Module Strings + 1.2.7 Module Math and MathL -- Нужно пробежаться по стандарту и всё перепроверить. +- Уточнить как должна работать проверка импорта на чтение. (8.1) +- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2) + Нужен другой тип округления? +- Нет модуля SYSTEM (на жабе он особо и не нужен) - Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей. - Любая ошибка фатальна - Нет проверок переполнения в компилтайме. Возможно можно заюзать это: https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html + +- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур. + Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)