Язык программирования Оно́ разрабатывается как функциональный компилируемый язык общего назначения со статической типизацией. Объединяет ФП- и ОО-парадигмы, но пытается интерпретировать их по-паскалевски (по-виртовски?). Задействованы также СУБД-шные подходы и заимствования из SQL.

Недавно были выложены черновики, по которым, как думается, уже можно составить представление о его синтаксисе и будущих возможностях.

Дока → RTL → грамматика → компилятор.

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

P. S. Если кто-то думает, что я наговариваю, то вот примеры философствований:
«Помню, что перечисления не удалось взять ни в 2004-м году, ни во время unienv.org. Вроде бы простая вещь, но в Оно она закручивается в такие абстракции, что нахрапом не получится. Фрактальная модель, как-никак.»
«Следуя заветам Дейкстры и Вирта, Оно пытается сначала упаковать сущность, прежде чем признать ее самостоятельной.»
«Все эти вопросы — над формой, а не смыслом реализации. Возникают они потому, что на самом деле конструктор — лишняя конструкция в ООП. Конструкторы есть только в тех языках, разработчикам которых не удалось найти лучшего решения для обязательной инициализации свойств.»
«Прикладные программисты страдают излишней «забывчивостью», и нужен повод заставить их задуматься над инициализаторами в коде. Нарушение логики программы из-за перенастроенного инициализатора — действенный повод привлечь внимание программиста.»
«Кортеж — это нечто конечное в скобках. Используется в качестве аргументов функции, перечислений, а в СУБД — как поля таблицы.»
«Список — это нечто длинное, потенциально бесконечное, не имеющее устоявшегося синтаксиса. Используется для чего-то длинного переменной длины. В СУБД — строки таблицы.»
«ОС не может причинить вред данным пользователя или своим бездействием допустить, чтобы данным был причинен вред.»
«Отличие Единой среды от традиционных ОС проявляется даже в такой «мелочи», как умолчательная трактовка интерактивных команд. Что делает команда в классической ОС? Что угодно.»
Странно, что я не встретил слово «синергетика».

Это сообщение отредактировал(а) beroal - 18.11.2012, 11:28

Возможно, я ошибаюсь, но после просмотра черновиков у меня сложилось устойчивое впечатление, что Вы пытаетесь изобрести Lua.

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

Спасибо за отзыв.

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

А если программист решил не использовать ООП?

и, местами, scala

вообще нигде я не нашел (плохо искал?) главного: какие цели преследуются, какие недостатки существующих решений устраняются.

А философия "юзер-ориентированной" ОС так просто улыбнула