Онлайн компилятор Oberon-07/11
Путеводитель по Оберон-проектам.
Логи jabber-конференции.
Онлайн исходники BlackBox: тут:WeBB и на github
Исходники Project Oberon V4 на github.
Сборник решений задач книги "Современное программирование с нуля!" тут. А обсуждение здесь.
Просмотр сообщений
В этом разделе можно просмотреть все сообщения, сделанные этим пользователем.
Как дела обстоят с юникодом?
Не отметил сразу eberon методы оказались именно тем, что нужно.
В связи с этим еще один вопрос:
Вроде какой-то редактор дорабатывался (или плагин к редактору писался).
Так ведь обычная иммутабельная строка любой длины является ссылочным типом: нужен указатель на буфер любой длины.
Следующее расширение - STRING. Это будет value-типФиксированной длины?
Тогда такой вопрос, а то проверить до конца не могу, как по конкретному RECORDу получить POINTER на него? Чё то не нашел такой процедуры. Если такого нет, то думаю смогу обойтись, но не хотелось бы много переделывать
Сейчас если написать например так:Код: [Выделить]PROCEDURE T ( this : Type );
BEGIN
this.Property := 5;
END T;
на выходе вместо this выдается this$
TYPE
Type = RECORD
PROCEDURE T();
Property: INTEGER
END;
PROCEDURE Type.T();
BEGIN
SELF.Property := 5; (* вот это странслируется в this.Property = 5 *)
END Type.T;
Можно ли параметр this в параметрах процедур вообще пропускать (естественно он должн идти последним, а в теле процедур, так и писать как this . Или это чего то порушит?
А чем не устраивает описание реализации от самого Вирта? "Построение компиляторов", гл. 12.
Вроде в КП у АССЕРТА можно было номер вводить, для О7 это возможно (что-то не нашел этой возможнгости)?
Для оберона вполне можно реализовать не только синтаксическую проверку (исходя из следующих предпосылок):
1) для всех условий используются только переменные простых типов (сравнение с ними). Если есть обращение к другим модулям, то считается что они корректны (для обозначения этого можно какой-то АССЕРТ придумать)
2) везде где нужно прописываются АССЕРТЫ (именно на них и ориентировалась бы проверка). Это, пожалуй, самая сложная часть для программиста, но без нее похоже проверки не сделать.
3) под проверкой понимаю тот факт, что код выполнится процедурой от начала до конца (с учетом вызова других процедур).
Тут же будут проверяться и не проиниченные переменные (на входе то цикла или чего там еще, тоже будет стоять АССЕРТ).
Если ввести параметры-процедуры с обязательным неявным указателем, значения которых нельзя присваивать, то ограничение на передачу можно обойти. Слишком мудрённо это для Оберона.
Одного связанного параметра мало
Эти проверки - штука ОЧЕНЬ легкая относительно всего остального. Даст замедление в 0.001% :-)
И 1% - генерация кода.