index 524b4ae19bef0e3b510872eb073fa2d1e6703567..a07b3b5a196e2a6711a7b8162612eec4f91a3170 100644 (file)
--- a/notes
+++ b/notes
-- нет символов и строк
-- нету типа set
+- Не полная реализация модуля Strings
+- Не полная реализация модуля Files
+- Сделать проверку повторов в CASE.
+- Сделать нормальную проверку наличия RETURN.
+- Нет процедур привязанных к типм
-- нету операторов if, while и т.д.
+- Нужно просмотреть Дубовые требования:
+ 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.7 Module Math and MathL
-- Нужен тип представляющий типы
- Требуется для оператора IS и некоторых встраиваемых функций
-- Нет оператора IS
-- не реализованы все встроенные функции
-- не реализована свёртка констант
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+ Нужен другой тип округления?
-- неÑ\82Ñ\83 Ñ\81Ñ\87Ñ\91Ñ\82а Ñ\81Ñ\82Ñ\80ок / Ñ\81Ñ\82олбÑ\86ов
-- лÑ\8eбаÑ\8f оÑ\88ибка Ñ\84аÑ\82алÑ\8cна
-
-- Ð\9dÑ\83жнÑ\8b Ñ\81Ñ\80едÑ\81Ñ\82ва Ñ\81озданиÑ\8f биндингов. Ð\9dа даннÑ\8bй моменÑ\82 Ñ\80еализÑ\83емо как заглÑ\83Ñ\88ки длÑ\8f модÑ\83лей.
-- нет проверок переполнения в компилтайме.
+- Ð\9dеÑ\82 Ñ\81Ñ\87Ñ\91Ñ\82а Ñ\81Ñ\82Ñ\80ок / Ñ\81Ñ\82олбÑ\86ов (Ñ\85Ñ\80ен Ñ\81 ними - Ñ\83 менÑ\8f еÑ\81Ñ\82Ñ\8c Ñ\83Ñ\82илиÑ\82а tail!)
+- Ð\9dеÑ\82 модÑ\83лÑ\8f SYSTEM (на жабе он оÑ\81обо и не нÑ\83жен)
+- Нужны средства создания биндингов. На данный момент реализуемо как пустые модули.
+- Ð\9bÑ\8eбаÑ\8f оÑ\88ибка Ñ\84аÑ\82алÑ\8cна
+- Ð\9dет проверок переполнения в компилтайме.
Возможно можно заюзать это:
https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
+
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+ Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)