Сообщений в теме: 96

[Zulkar]

> несогласен,вариантов решения конечное число.

Допустим нужно написать a + b

z := a + b;
z := (a) + (b);
z := (a + b) - b + b;

z := (a + b) - b + b - b + b итд, тупо но конечный результат будет правильным.

Забыли

z = a;z += b;

z := (a + b) - b + b - b + b итд, тупо но конечный результат будет правильным.

Угу. int i = 5; i = ++i + ++i; cout<<i - помните такое?

[xxel]

> несогласен,вариантов решения конечное число.

Допустим нужно написать a + b

z := a + b;
z := (a) + (b);
z := (a + b) - b + b;
z := (a + b) - b + b - b + b итд, тупо но конечный результат будет правильным.

В терминах AST после свертки все перечисленое и даже такое
z := (a + b) - b + b +70 - 35 * 2 - (b + a) * 0
будет выглядеть одинакого
==> z := a + b;
Т.е. всего одним вариантом

[xxel]

Забыли
z = a;z += b;

Это хоть и С, а не паскаль, но тоже формализуется в AST

... cout ....

А это уже не С, посему не формализуется

ООП вообще не поддается автоматической проверке на корректность алгоритмов

Сообщение отредактировал xxel: 18.06.2009, 12:55:35

[Zulkar]

Забыли
z = a;z += b;

Это хоть и С, а не паскаль, но тоже формализуется в AST

Возможно, спорить не буду, не разбираюсь в этом. А все виды циклов и goto, например, тоже свернутся в одно и то же?

... cout ....

А это уже не С, посему не формализуется

ООП вообще не поддается автоматической проверке на корректность алгоритмов

Ок. Пусть будет printf("%d",i). Тут вся соль в том, чему же будет равно i после всего этого

Где то попадалась очень любопытная оптимизация/обфускация циклов от Криса Касперски. Попробую найти.

[xxel]

Возможно, спорить не буду, не разбираюсь в этом. А все виды циклов и goto, например, тоже свернутся в одно и то же?

Да. Все циклы можно привести к единому виду. Спагети из GOTO тоже трансформируется
хоть и немного сложнее (дублирование веток кода и оптимизация его).
Это то ли у Вирта, то ли у Дейкстры было описание всего этого хозяйства по
трансформации кода (с примерами приведения циклов к единому виду и пр).

На самом деле современные компиляторы используют часть этих техник. Поэтому
сейчас можно увидеть в сообщениях об ошибках чтото типа того, что
- Обнаружен неиспользуемый кусок кода
- Обнаружена переменная которая инициализированна, но не используется
- Не все пути выполнения функции возвращают результат
- и пр.

Ок. Пусть будет printf("%d",i). Тут вся соль в том, чему же будет равно i после всего этого

Если AST распарсеного кода и AST правильного ответа совпадут то неважно
чему оно равно, важно то, что это гарантирует, что алгоритм закодирован
правильно и дает верные результаты. Т.е. нет никакой разницы чему равно
z в выражениях
студента // z := (a + b) - b + b +70 - 35 * 2 - (b + a) * 0
и
правильного // z := a + b;
Оба выражения дадут одинаковый AST, а значит z будет вычеслен одинакого
в обоих случаях

Где то попадалась очень любопытная оптимизация/обфускация циклов от Криса Касперски. Попробую найти.

Вряд ли он придумал что-то новое. Вынос инвариантов за тело цикла и
раскручивание цикла в код С++ компиляторые делают уже очень давно.
А круче Интела при распаралеливании цикла вообще быть нельзя.

[Patriot_]

Спасибо всем за интересную и познавательную беседу.

Всё же, как прочитать код возврата? Я про dcc32. т.е. как узнать результаты компиляции?

[Zulkar]

xxel, спасибо. А вот скажите пожалуйста. Как я понял из Вики, ast - это то, что парсер отдает компилятору. Однако у нас по разному написанные программы будут скомпилены ведь в разный код? (Естественно, если программа сложнее данного примера)

Всё же, как прочитать код возврата? Я про dcc32. т.е. как узнать результаты компиляции?

Вот здесь.

[Patriot_]

Хорошо. а можно ли узнать где именно начинается ошибка?

[Gloomy]

[....]
А это уже не С, посему не формализуется
ООП вообще не поддается автоматической проверке на корректность алгоритмов

Та я вас умоляю ... Ни С++ ни С ни паскаль не верифицируются, да и вообше до сих пор нет даже всеобъемлющего и целостного мат аппарата для этого! Есть только лоскутки закрывающие те или иные аспекты - но не более.

То чего вы хотите более всего продвинулось у FP'шников ... но даже злые хаскельщики пока гарантий не дают

Кстате - где то была статья что задача эта того же плана, что и качественный перевод с одного языка на другой - ну и где у нас появились переводчики над результатом работы которых народ не смеётся и плачет одновременно?

<How do you do?
<All right!

>Как ты делаешь ЭТО?
>Всё - правой!

[xxel]

xxel, спасибо. А вот скажите пожалуйста. Как я понял из Вики, ast - это то, что парсер отдает компилятору. Однако у нас по разному написанные программы будут скомпилены ведь в разный код? (Естественно, если программа сложнее данного примера)

Для реализации тестов проверки знаний студентов на простых задачах все вышеописаное вполне жизнеспособный вариант.
Но в общем случае да, генерится может все что угодно - зависит только от компилятора и его оптимизатора.
Поскольку сильной оптимизацие для реальных задач заниматься нецелесообразно, то полноценные AST и тем более их оптимизация используются редко. В результате даже логически эквивалентные циклы
for i := 1 to 5 do begin ... end
и
i := 1; while i < 6 do begin ... i := i + 1; end
могут быть скомпелированы по разному

[xxel]

[....]
А это уже не С, посему не формализуется
ООП вообще не поддается автоматической проверке на корректность алгоритмов

Та я вас умоляю ... Ни С++ ни С ни паскаль не верифицируются, да и вообше до сих пор нет даже всеобъемлющего и целостного мат аппарата для этого! Есть только лоскутки закрывающие те или иные аспекты - но не более.

То чего вы хотите более всего продвинулось у FP'шников ... но даже злые хаскельщики пока гарантий не дают

Вы какое отношение имеете к FP и какой опыт в использовании оного?

Кстате - где то была статья что задача эта того же плана, что и качественный перевод с одного языка на другой - ну и где у нас появились переводчики над результатом работы которых народ не смеётся и плачет одновременно?

<How do you do?
<All right!

>Как ты делаешь ЭТО?
>Всё - правой!

Задорнова надо меньше слушать
//translate.google.com/translate_t#en|ru|How%20do%20you%20do%3F%0AAll%20right!

Кстати причем тут переводы с языка на язык?

[Gloomy]

Вы какое отношение имеете к FP и какой опыт в использовании оного?

Ну на хлеб я уж точно не FP зарабатываю ...

Задорнова надо меньше слушать

От чего же? Не самый глупый из юмористов ... а вы не фанат "камедиклаб" случаем? :-|

//translate.google.com/translate_t#en|ru|How%20do%20you%20do%3F%0AAll%20right!

Спасибо за подтверждение
Вы же сами смотрели чего оно там перевело, правда? Замечу - элементарщину не осилило ...

Кстати причем тут переводы с языка на язык?

Здрасте вам! Задачи то одного порядка сложности ...
То же самое - есть два входных языка и надо доказать что фраза на одном (ваш темплейт) тождественна фразе на другом (чего там студент нарисовал).

Да ладно фиг с ним с языком людей. Как насчёт m2m? К примеру есть хоть один paskal2c который гарантированно переводит любую корректную паскаль-прогу в корректный же код на си? ... то то же! А ведь сгенерить - это на пару порядков проще чем сравнить...

Вобщем как то так

[Zulkar]

Хорошо. а можно ли узнать где именно начинается ошибка?

нужно перенапрвлять потоки ввода/вывод компилятора в свои пайпы.

http://forum.sources...opic=271559&hl=
http://www.sql.ru/fo...aspx?tid=640643

[xxel]

Ну на хлеб я уж точно не FP зарабатываю ...

Предполагалось

От чего же? Не самый глупый из юмористов ... а вы не фанат "камедиклаб" случаем? :-|

Нет

//translate.google.com/translate_t#en|ru|How%20do%20you%20do%3F%0AAll%20right!

Спасибо за подтверждение
Вы же сами смотрели чего оно там перевело, правда? Замечу - элементарщину не осилило ...

Элементарщина - это то что первое вопросительное предложение переведено как вопросительное?
И каков же правильный вариант? Очень хотелось бы услышать.

Кстати причем тут переводы с языка на язык?

Здрасте вам! Задачи то одного порядка сложности ...
То же самое - есть два входных языка и надо доказать что фраза на одном (ваш темплейт) тождественна фразе на другом (чего там студент нарисовал).

Не сравнимые категории. В ЯП в отличие от ЕЯ нет ни идиом, ни неологизмов, ни слэнга и пр. шелухи.

Да ладно фиг с ним с языком людей. Как насчёт m2m? К примеру есть хоть один paskal2c который гарантированно переводит любую корректную паскаль-прогу в корректный же код на си? ... то то же! А ведь сгенерить - это на пару порядков проще чем сравнить...

Берется любой ДотНет язык.
исходник компилится.
берется Рефлектор
получаем исходник в любом другом ДотНет языке для которого в рефлекторе есть плагин
* по умолчению C#. C++ Delphi VB и Chrome
И? "... то то же!"

[Zulkar]

Берется любой ДотНет язык.
исходник компилится.
берется Рефлектор
получаем исходник в любом другом ДотНет языке для которого в рефлекторе есть плагин
* по умолчению C#. C++ Delphi VB и Chrome
И? "... то то же!"

Вот про С++ интереснее. CLI можно с легкостью перевести в шарп? И даже множественные наследования, к примеру?

[xxel]

Берется любой ДотНет язык.
исходник компилится.
берется Рефлектор
получаем исходник в любом другом ДотНет языке для которого в рефлекторе есть плагин
* по умолчению C#. C++ Delphi VB и Chrome
И? "... то то же!"

Вот про С++ интереснее. CLI можно с легкостью перевести в шарп?

Если учитывать что нетовский CIL изначально выточен под C#, то да

И даже множественные наследования, к примеру?

Проверяйте. У меня С++ нет.
Множественные наследования .Net по любому не поддерживает.
Какие половые трудности испытывает компилер С++ из-за этого хз
Да и не дело это выяснять в ветке о дельфях

[Бумерист]

Привет всем, помогите несколько простых универовских программ по делфи написать. исходные данные есть, стукните в ЛС кто сможет плиз.