X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=notes;h=71ec669ef5ea5c935cc40c1546383407d7a2ec6e;hp=3cc029712b28882beb17e8ea07e05d9bdbbbd1b3;hb=9531d399c60190a8daf625dd99f9c141753bba5e;hpb=0c39f03a14be51224b1a44a74121740076956243 diff --git a/notes b/notes index 3cc0297..71ec669 100644 --- a/notes +++ b/notes @@ -1,25 +1,35 @@ -- Какие-то проблемы с определением типов наперёд: - (* - TYPE - R2 = RECORD r : R1 END; - R1 = RECORD END; - *) +- Нет счёта строк / столбцов +- Сделать проверку повторов в CASE. +- Сделать нормальную проверку наличия RETURN. +- Нет процедур привязанных к типм -- нет символов и строк -- нужен автокаст int -> real для DIV. Да и вообще каст типов. +- Нужно просмотреть Дубовые требования: + 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.13 Read only VAR Parameters + 1.2.5 Module Files + 1.2.6 Module Strings + 1.2.7 Module Math and MathL -- нету операторов if, while и т.д. +- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2) + Нужен другой тип округления? -- нету типа set -- не реализована свёртка констант -- не протестированы типы разнных размеров - -- не реализовано расширение типа record -- не реализован автокаст -- нет проверок переполнения в компилтайме. +- Нет модуля SYSTEM (на жабе он особо и не нужен) +- Нужны средства создания биндингов. На данный момент реализуемо как пустые модули. +- Любая ошибка фатальна +- Нет проверок переполнения в компилтайме. Возможно можно заюзать это: https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html -- нету счёта строк / столбцов -- любая ошибка фатальна +- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур. + Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)