Онлайн компилятор Oberon-07/11
Путеводитель по Оберон-проектам.
Логи jabber-конференции.
Онлайн исходники BlackBox: тут:WeBB и на github
Исходники Project Oberon V4 на github.
Сборник решений задач книги "Современное программирование с нуля!" тут. А обсуждение здесь.
Просмотр сообщений
В этом разделе можно просмотреть все сообщения, сделанные этим пользователем.
Новые компиляторы по-хорошему нужно прогонять на множестве тестов, специально разработанных для проверки компилятора на соответствие спецификации.Тестирование доказывает лишь наличие ошибок.
#define WHILE for(;;) if (
#define DO ) {
#define ELSIF ; } else if (
#define WEND ; } else break
int gcd(int x, int y)
{
WHILE x > y DO x = x - y
ELSIF x < y DO y = y - x
WEND;
return x;
}декомпиляция выдала такое:int __cdecl sub_401070(int a1, int a2)
{
while ( 1 )
{
while ( a1 > a2 )
a1 -= a2;
if ( a1 >= a2 )
break;
a2 -= a1;
}
return a1;
}Вполне вменяемо. Хотя "if ( a1 >= a2 ) break;" немного смущает.int gcd(int x, int y)
{
do
{
while (x > y) x -= y;
while (x < y) y -= x;
} while (x != y);
return x;
}
PROCEDURE GCD(x, y: INTEGER) : INTEGER;
BEGIN
WHILE x > y DO x := x - y
ELSIF x < y DO y := y - x
END;
RETURN x
END GCD;Получил страшный ужас:int __cdecl sub_407971(int a1, int a2, int a3)
{
signed int v0; // ecx@2
signed int v1; // ecx@6
int r; // [sp+0h] [bp+0h]@1
dword_409FFC = (int)& r;
while ( 1 )
{
v0 = 1;
if ( a3 <= a2 )
v0 = 0;
if ( v0 != 1 )
break;
a3 -= a2;
}
while ( 1 )
{
v1 = 1;
if ( a3 >= a2 )
v1 = 0;
if ( v1 != 1 )
break;
a2 -= a3;
}
return a3;
}Во-первых, какой-то левый неиспользуемый параметр появился у функции. WHILE x > y DO x := x - y
ELSIF x < y DO y := y - x
END;скомпилировался в что-то типа этого: WHILE x > y DO x := x - y END;
WHILE x < y DO y := y - x END;Но это же неверное представление цикла Дейкстры!
MODULE TestGCD;
IMPORT c := Console;
PROCEDURE GCD(x, y: INTEGER) : INTEGER;
BEGIN
WHILE x > y DO x := x - y
ELSIF x < y DO y := y - x
END;
ASSERT(x = y);
RETURN x
END GCD;
BEGIN
c.Int(GCD(255, 150));
c.Ln;
END TestGCD.Программа падает на ассерте, в логе пишется:TestGCD.GCD
x INTEGER 105
y INTEGER 45хотя при данных аргументах (255 и 150) обе переменные должны быть равны 15, и сам цикл должен завершаться, когда x = y.#define WHILE for(;;) if (
#define DO ) {
#define ELSIF ; } else if (
#define WEND ; } else break
#define ASSERT(p) if (!(p)) { printf("Oops in %s at line %d", __FILE__, __LINE__); exit(1); }
int gcd(int x, int y)
{
WHILE x > y DO x = x - y
ELSIF x < y DO y = y - x
WEND;
ASSERT(x == y);
return x;
} PROCEDURE GCDrec(x, y: INTEGER) : INTEGER;
VAR
result : INTEGER;
BEGIN
IF x > y THEN result := GCDrec(x-y, y )
ELSIF x < y THEN result := GCDrec( x, y-x)
ELSE result := x
END;
ASSERT(x = y);
RETURN result
END GCDrec;Такое впечатление, что что-то не то с операциями сравнения...
Вообще, у меня ощущение, что компилятор Оберона-07 не слишком сложная штука, может алтернативу на хаскеле запилим ? :-)Я думал над этим, но пришёл к выводу, что практически это вряд ли кому нужным будет. Если уж делать, так более современный язык...
Это я так понимаю Ваш вариант ответаВапще мне непонятно, что там Вам непонятно.? - поражает своей бессмысленностью и отрывом от контекста обсуждения...
Это я так понимаю Ваш вариант ответаМеня в свою очередь поражает Ваше (не)понимание простых казалось бы вещей, обсуждающихся здесь.
ЧТО строится в Хаскеле, с КАКОЙ ЦЕЛЬЮ, КАКИМИ средствами, для КОГО, и наконец , ДЛЯ ЧЕГО ИДЕ не нужна?
... необходимо иметь среду разработки (IDE), которая бы сопротивлялась неуместному использованию низкоуровневых средств. То есть, одним только языком тут не обойтись.То же самое делается в Haskell'e на уровне системы типов языка :-)
IDE для этого не нужна.
Спасибо (всем за ссылки), но Богатырев насколько я понял (поправьте) вел речь в первую очередь о ОС в которую ПОЛНОСТЬЮ ортогонально (то есть независимо) интегрируется (а также единовременно поддерживются) несколько языков. Я предлагаю другое...Он предлагал разработать семейство дополняющих языков -- от самого низоуровневого до языка интеграции систем, написанных на языках более низкого уровня.
В основном вот:Что-то подобное когда-то предлагал Р.Богатырёв, да так вроде и заглохло...Можно ссылку или направление поиска? (интересно насколько он проработал идею)...
ЭЭЭ так он смешанный...
Ну это зависит от того, как Вы его используете. На Хаскелле можно писать и в чисто функциональном стиле, и в жёстко-императивном (ввод/вывод, параллельные процессы и т.д.).Дэк этта… Хаскель это ж в том числе и прекрасный императивный язык со строгой системой типов и простым синтаксисом :-)Не понял таки Императивный или Функциональный?
Например, я ТОЧНО знаю что уровень владения абстрактными понятиями НЕОБХОДИМЫМИ для программирования на Хаскеле = превышает тот , который имеют наши студенты (математики) на 1 курсе (тогда как программирование на том же ББ можно давать им и на 1 курсе), на эту хрень накладываются еще абстракции задачи.
Короче, на ФИГА ЭТО НУЖНО, КОМУ, ПОЧЕМУ...с вариантами ответа -мазохистам, культистам (от чистой математики), и just for fun ... полностью согласен...
