| OberonCore https://forum.oberoncore.ru/ |
|
| MiGOberon https://forum.oberoncore.ru/viewtopic.php?f=30&t=2608 |
Страница 1 из 1 |
| Автор: | Alexey Veselovsky [ Среда, 28 Апрель, 2010 18:42 ] | ||
| Заголовок сообщения: | MiGOberon | ||
Очередной то ли диалект оберона, то ли язык основаный в основном на обероне (часть идей, сколь я понял, позаимствовано из Ады и Зоннона): http://sourceforge.net/projects/migoberon/ Судя по хронологии изменений, в данный момент автор активно причесывает "сообщение о языке". Спеку языка см. во вложении.
|
|||
| Автор: | Info21 [ Среда, 28 Апрель, 2010 19:52 ] |
| Заголовок сообщения: | Re: MiGOberon |
Опять комбинаторика... |
|
| Автор: | Alexey Veselovsky [ Среда, 28 Апрель, 2010 19:59 ] |
| Заголовок сообщения: | Re: MiGOberon |
Info21 писал(а): Опять комбинаторика... Ну почему сразу комбинаторика? Быть может решения автором выстраданы и практически обоснованы. Или вы таки успели внимательно прочитать спеку? Я вот лично -- не успел. Пробежался по вводной. Там написано что влияние Ады, Модулы и Оберона с Зонноном. Всё. Судя по спеки (и её объему), это очень близко к Оберону-2 или к КП. И далеко от Ады и Зоннона. Просто исходя из объема описания -- они туда просто не поместились бы. 
|
|
| Автор: | Сергей Прохоренко [ Среда, 28 Апрель, 2010 21:01 ] |
| Заголовок сообщения: | Re: MiGOberon |
Это никакой не Оберон, а типичный Зоннон. Больше всего угнетает цель этой затеи - компиляция из нормального языка программирования в Си и Си++ 
|
|
| Автор: | Wlad [ Среда, 28 Апрель, 2010 21:08 ] |
| Заголовок сообщения: | Re: MiGOberon |
Сергей Прохоренко писал(а): Это никакой не Оберон, а типичный Зоннон. Больше всего угнетает цель этой затеи - компиляция из нормального языка программирования в Си и Си++ А чё - угнетает? У вас есть НОРМАЛЬНЫЙ компилятор с оберонов? Какого-либо из... А так - вся прелесть ГЦЦ - в руках. |
|
| Автор: | Сергей Прохоренко [ Среда, 28 Апрель, 2010 21:24 ] |
| Заголовок сообщения: | Re: MiGOberon |
Какая прелесть в кросс-компиляции? Это, может быть, хорошо в исследовательских целях, но чтобы конкурировать с мейнстримом, нужна компиляция в машинный код и маленький рантайм. Полно уже компиляторов оберонов во всякого рода промежуточные языки. Но всякий раз оказывается, что удобнее и надежнее программировать непосредственно на Си, Java и C#, а Оберон оказывается зажат ограничениями той или иной платформы. |
|
| Автор: | Александр Ильин [ Среда, 28 Апрель, 2010 21:33 ] |
| Заголовок сообщения: | Re: MiGOberon |
Alexey Veselovsky писал(а): Или вы таки успели внимательно прочитать спеку? Я вот лично -- не успел. Пробежался по вводной. После фраз "всё есть объект" и "перегрузка операторов" читать сильно расхотелось. Но я не закрыл, позже дочитаю.
|
|
| Автор: | Alexey Veselovsky [ Среда, 28 Апрель, 2010 21:41 ] |
| Заголовок сообщения: | Re: MiGOberon |
Сергей Прохоренко писал(а): Это никакой не Оберон, а типичный Зоннон. Больше всего угнетает цель этой затеи - компиляция из нормального языка программирования в Си и Си++ Не компиляция, а трансляция. Кроме того, Си используется лишь как промежуточное представление. Человек его никогда не увидит. Так какая разница? Долгое время ghc использовал эту же схему. Вполне хорошее промежуточное решение в условиях ограниченности ресурсов. |
|
| Автор: | Сергей Губанов [ Среда, 28 Апрель, 2010 22:12 ] |
| Заголовок сообщения: | Re: MiGOberon |
Alexey Veselovsky писал(а): Не компиляция, а трансляция. Кроме того, Си используется лишь как промежуточное представление. Человек его никогда не увидит. Так какая разница? Например, для строковых операций у x86 процессора есть специальные инструкции и для проверки индекса массива тоже, а в языке Си их нет. Ещё едва ли можно будет проверку типа сделать за 2-3 такта. Опять же вызов процедур (передача скрытых параметров тега типа). В общем, по производительности ерунда получится.
|
|
| Автор: | bohdant [ Среда, 28 Апрель, 2010 22:41 ] |
| Заголовок сообщения: | Re: MiGOberon |
Цитата: Больше всего угнетает цель этой затеи - компиляция из нормального языка программирования в Си и Си++ Цитата: Какая прелесть в кросс-компиляции? На самом деле автор прав. Смысл большой! Как это обяснить.... ну вобщем скажу так: Си - это кросс-платформенный ассемблер. Т.е. сделав компилер в Си, вы сделали компиллер для всех(вернее для многих) платформ. |
|
| Автор: | Alexey Veselovsky [ Среда, 28 Апрель, 2010 22:43 ] |
| Заголовок сообщения: | Re: MiGOberon |
Сергей Губанов писал(а): Alexey Veselovsky писал(а): Не компиляция, а трансляция. Кроме того, Си используется лишь как промежуточное представление. Человек его никогда не увидит. Так какая разница? Например, для строковых операций у x86 процессора есть специальные инструкции и для проверки индекса массива тоже, а в языке Си их нет. Ещё едва ли можно будет проверку типа сделать за 2-3 такта. Опять же вызов процедур (передача скрытых параметров тега типа). В общем, по производительности ерунда получится.Дык я же говорю -- для первого этапа нормально. Зачем сразу по производительности рекорды ставить? Вначале сделать стабильным, предоставить возможность пощупать это максимальному числу людей (т.е. поддержать максимум host и target платформ), а уже потом уже ставить рекорды по производительности, если это вдруг станет критичным. В условиях ограниченности ресурсов это оправдано. |
|
| Автор: | Geniepro [ Четверг, 29 Апрель, 2010 08:57 ] |
| Заголовок сообщения: | Re: MiGOberon |
Alexey Veselovsky писал(а): Очередной то ли диалект оберона, то ли язык основаный в основном на обероне (часть идей, сколь я понял, позаимствовано из Ады и Зоннона): http://sourceforge.net/projects/migoberon/ Что-то я не заметил там идей, позаимствованных из Ады. Обработка исключений, что ли? |
|
| Автор: | GameHunter [ Четверг, 29 Апрель, 2010 13:56 ] |
| Заголовок сообщения: | Re: MiGOberon |
Цитата: У вас есть НОРМАЛЬНЫЙ компилятор с оберонов? А чем вас XDS не устраивает? |
|
| Автор: | Alexey Veselovsky [ Четверг, 29 Апрель, 2010 14:04 ] |
| Заголовок сообщения: | Re: MiGOberon |
GameHunter писал(а): Цитата: У вас есть НОРМАЛЬНЫЙ компилятор с оберонов? А чем вас XDS не устраивает? Предлагаю перенести обсуждение о необходимости создания некого нормального компилятора обычного оберона/оберона-2 в уже существующую ветку: viewtopic.php?f=30&t=900 Тут всё же чуть другой язык. |
|
| Автор: | igor [ Четверг, 29 Апрель, 2010 14:37 ] |
| Заголовок сообщения: | Re: MiGOberon |
1. Новая семантика оператора присваивания несколько озадачила. Правильно ли я понял, что соответствие каждой переменной и каждого выражения, значение которого присваивается переменной, устанавливается порядком их перечисления? Замучаешься запятые считать. 2. Список импорта внутри объявления объектов - это, по-моему, шаг назад. 3. Есть и хорошее. Константы TRUE и FALSE наконец-то стали ключевыми словами, а не предопределёнными идентификаторами. Это первое, что бросилось мне в глаза, не считая модификаторов и спецификаторов. Посмотрел пока по диагонали. |
|
| Автор: | Alexey Veselovsky [ Четверг, 29 Апрель, 2010 14:42 ] |
| Заголовок сообщения: | Re: MiGOberon |
igor писал(а): 2. Список импорта внутри объявления объектов - это, по-моему, шаг назад. Это шаг к Eiffel. Это не шаг назад и не шаг вперед, это шаг в сторону. |
|
| Автор: | igor [ Пятница, 30 Апрель, 2010 04:48 ] |
| Заголовок сообщения: | Re: MiGOberon |
igor писал(а): ... - это, по-моему, шаг назад. Я про инкапсуляцию, которая должна (но, как видим, не обязана ) быть на уровне модуля.
|
|
| Автор: | Geniepro [ Пятница, 30 Апрель, 2010 07:19 ] |
| Заголовок сообщения: | Re: MiGOberon |
igor писал(а): Я про инкапсуляцию, которая должна (но, как видим, не обязана ) быть на уровне модуля.Насколько я помню, в Зонноне объекты приравниваются к модулям, а в Эйфеле модулей и вовсе нет -- объекты вместо них. |
|
| Автор: | Сергей Оборотов [ Суббота, 01 Май, 2010 15:07 ] |
| Заголовок сообщения: | Re: MiGOberon |
Alexey Veselovsky писал(а): В условиях ограниченности ресурсов это оправдано. Вероятно, предположили, что речь о заранее определенном ограничении в языке.
|
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|
