Oberon space

Увидел тему на OberonCore про нас. За рекламу большое спасибо.

А теперь вопрос: почему наследование не может быть одним из основополагающих принципов ОС?

Важно как там видео например ходит.

Веб-камеры у меня все равно нет.

Гм. Выходит, что на других сайтах видео не через Flash? Через что тогда?

 

Вы разрабатываете новый язык, потому что ЛИЧНО испытываете в нём потребность? Или для того чтобы осчастливить "бедных" пользователей C/C++?

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

C/C++ рассматривается как некий ориентир, пример успешной экосистемы или даже нескольких экосистем. Глядя на него, сразу видны и задачи, и требования, и глубина проработки, и усилия для этого. Воспроизвести результат, не копируя подходы и решения -- вот чего хочется. С этой точки зрения Оно "спасает" программистов на C/C++ так же, как их "спасает" Objective-C, например.

Может все же со стороны примеров зайти?

Пробовал, но пока не получается или получается совсем мало, как в new. Думаю, что со временем появится раздел с аналогами решений, принятых в других языках. Надеюсь, что помогут ваши наводящие вопросы.

Синтаксис - дело вторичное. Главное - семантика:

Не знаю, как это правильно объяснить. Поиск семантики через синтаксис? Гм. Ведь вместе с синтаксисом вырабатывается некая модель, которая станет основой байт-кода.

Цитировать

Представление программы в виде семантического дерева позволяет реализовать идею Б.Страуструпа о том, что синтаксис языка программирования является только интерфейсом [3]

Это не из "Странника" цитата? Нагуглил, вроде нет. Похожая идея была также в SymADE Максима Кизуба... А ваша разработка как-то мимо меня прошла.

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

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

Читал-читал я предыдущую тему, но как понял, там использовалась платная система для вебинаров. А бесплатной никто из присутствующих на практике не пользовался? Скажем, что можете сказать хорошего/плохого про FirmBook?

Или с какими-то другими есть собственный положительный опыт?

Насколько я помню там интерпретатор в svn.

К сожалению, нет. Сам язык пока в стадии разработки (синтаксис), поэтому о реализации еще говорить рано.

После первых отзывов могу сказать несколько слов. Язык Оно изначально задумывался с синтаксисом, управляемым библиотекой (RTL). Позже эта идея трансформировалась в двухуровневый подход:

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

Сейчас стоит задача завершения работы над синтаксисом, что даст основу для байт-кода, после чего писать RTL -- уже на Оно. И только потом можно будет браться за компилятор.

Зачем все это делается, я попытался объяснить в статье "Фрактальная ОС", перед прочтением которой стоит также прочесть "ОС как платформа". Получилось довольно эмоционально, но уж как есть.

Вот такой мега-проект. У меня сомнения не столько в технической реализуемости, сколько в востребованности и соответствию вызовам времени. Как говорят в определенных кругах? Проект "нинужен", у нас "..." есть.

А что тут с редактором? Стоило воспользоваться выделением жирным, как все абзацы слепились в один. Пробовал-пробовал добиться нормального вида, но все равно ерунда какая-то вышла.

У меня два вопроса по Jabber-конфе:

• Ее не видно в списке конференций при поиске. Она специально скрыта?
• В самой конфе видны реальные JID-ы участников. Обычно их запрещают, видны только модераторам.

Я тут еще не совсем освоился, поэтому не пойму, то ли политика партии такова, то ли недосмотр модераторов.

А вот и ныне там.