tiphareth: Русская Операционная Система

Настроение:	sick
Музыка:	Tangerine Dream - Santa Monica Civic Auditorium, 1977
Entry tags:	linux

Русская Операционная Система
Проект Русской Операционной Системы
http://rbogatyrev.livejournal.com/2007/12/03/
для борьбы с Кознями Запада.

Что занятно - на базе языка Оберон

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

Никаких, что немаловажно, буржуазных извращений в
духе "открытого кода" и тому подобного. Открытый
код это демпинг, он обесценивает труд кодера!
Скажем нет буржуазным фальсификаторам от кода!
а в особенности операционной системе ГНУ/Линукс.
Шакалы клавиатуры, гиены лазерного указывающего
устройства.

Государство должно выдавать деньги не под прибыль,
а для развития фундаментальных наук! В особенности
на разработку Русской Операционной Системы!
С целью Государственного Протекционизма.
И потому что Результаты Научного Проекта можно
Наблюдать Только Через 10 Лет.

Об авторе:

РУСЛАН БОГАТЫРЁВ

Руководил крупными информационными интернет-проектами,
начиная с 1998 г. Четыре года (2001-2004) проработал в
самой крупной софтверной компании в Восточной Европе (EPAM
Systems), пройдя там путь от бизнес-аналитика и менеджера-проектов
до руководителя маркетингового подразделения московского
офиса EPAM Systems. В период 2002-2004 гг. руководил в
EPAM подготовкой маркетинговых материалов по заказу
Microsoft Russia (ныне Майкрософт Рус). С 2005 г. вышел
из режима активного участия в компаниях ИТ-индустрии,
чтобы сосредоточиться на проектах возрождения европейской
и отечественной школ программирования.

И с Алкснисом, естественно, взаимофрендеж.

Как их блядь отовсюду много блядь полезло.
Тараканы ебаные. Чиновники категории А.

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

Нанотехнологии они чем главное хороши? Маленькие
очень, никто не видел. И не увидит. А равно и "Русская
Операционная Система"

К счастью, выборы скоро кончатся, и на
"русскую операционную систему" забьют
вонючий, до следующих выборов. Хавайте, гражданин
Васяткин, ~~полонез Огинского~~ Виндовс Майкрософт
Виста, они нам платят взятки и откат. И не
выпендривайтесь, а то получите по почкам.
Демократизатором.

По ссылке от azatiy

Привет

(Читать комментарии) - (Добавить комментарий)

	pzz 2007-12-06 01:12 (ссылка)
	Интересно, а что можно выкинуть из Рефала? Он же простой очень. Обрати, кстати, внимание, что язык конфигурационных файлов sendmail'а это ублюдочный диалект Рефала. (Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth
2007-12-06 01:22 (ссылка)

Будешь смеяться.

1. Порядок вычисления выражений.
У рефала подряд, у Шеня случайно.

2. Нет терминации. Кончается, когда ни одно
из выражений не может быть вычислено.

Убойная совершенно штука. Но черче-полная,
кажется.

Да, насчет сендмайла я помню.
"gay couple's contributions to information technology"

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)

pzz
2007-12-06 01:29 (ссылка)

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

Интересно, возможно ли программировать на такой штуке? :-)

(Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth
2007-12-06 01:44 (ссылка)

>Лучше бы не случайно, а одновременно любое непустое
>подмножество множества выражений, которые могут быть в
>данный момент выполнены, на усмотрение компутера.

Там с одновременностью кисло, как ты понимаешь.
Она ж модифицирует исходные данные, в зависимости
от их вида причем.

(Ответить) (Уровень выше) (Ветвь дискуссии)

pzz
2007-12-06 02:00 (ссылка)

Ну и отлично.

Во-первых, надо разрешить искать подстроки по всему тексту, а не только последовательно.

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

Если же подстроки пересекаются, то вся машина делает branch, и каждый branch продолжает жить своей собственной жизнью.

Кроме того, должна быть операция добавить результат выражения в конец текста в родительском бранче. Это способ вернуть из бранча результат. Разумеется, если есть несколько бранчей, их выдача добавляется в том порядке, в каком повезет, но выдача одного выражения всегда добавляется атомарно.

(Ответить) (Уровень выше) (Ветвь дискуссии)

gastrit
2007-12-06 02:09 (ссылка)

Я уже совсем ничего не понимаю. При конкретизации, вроде бы, сопоставляется не "подстрока", а конкретизируемое выражение целиком? И результат замены "втыкается" на заранее известное место (занимаемое конкретизируемым выражением), куда "воткнуть" что-либо дважды проблематично?

С уважением,
Гастрит

(Ответить) (Уровень выше) (Ветвь дискуссии)

pzz
2007-12-06 05:03 (ссылка)

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

Я пытаюсь придумать недетерминированную модель, допускающую параллелизм.

(Ответить) (Уровень выше) (Ветвь дискуссии)

gastrit
2007-12-06 05:21 (ссылка)

Ничего подобного: рефал просматривает последовательность образцов, пока не наткнётся на тот, с которым конкретизируемое выражение сопоставляется целиком. А затем заменяет (опять же выражение целиком) на "результат" правой части. "Подходящими" и определяемыми в процессе "пробегания" там являются не заменяемые подстроки, а "подставляемые" в образец (для достижения сопоставления) значения переменных — но это несколько другая опера.

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

С уважением,
Гастрит

(Ответить) (Уровень выше) (Ветвь дискуссии)

pzz
2007-12-06 05:26 (ссылка)

Ничего подобного: рефал просматривает последовательность образцов...

По-моему, это эквиавалентно.

Образцы в рефале, да, являются просто строками, которые сопоставляются целиком.

(Ответить) (Уровень выше) (Ветвь дискуссии)

gastrit
2007-12-06 05:46 (ссылка)

Так, давайте выправлять имена. В моём понимании "беготня по подстрокам" — это нечто вроде работы нормального алгорифма (находим первое вхождение слова и заменяем только это вхождение). Однако рефализируется-то формула подстановки нормального алгорифма как? Было «A->B», а стало «e.1 A e.2 = e.1 B e.2». Т.е. крылья вхождения слова A дописаны явным образом, и вовсе не из прихоти: формула подстановки «e.1 A e.2 = e.2 B e.1» не менее допустима (и она уже в моё представление о "беготне" не вписывается: тут слово изменится далеко не только в "найденном" месте). И как сделать замены принципиально "локальными", не изменив идеологии самого языка, я совершенно не представляю.

С уважением,
Гастрит

(Ответить) (Уровень выше)

	bigturtle 2007-12-06 14:50 (ссылка)
	При наличии дерева важно только чтобы выражение выполнялось после подвыражений. В чем я неправ? (Ответить) (Уровень выше) (Ветвь дискуссии)

gastrit
2007-12-06 20:36 (ссылка)

Хотя бы в том, что в рефале (как он ныне существует) конкретизация может изменять глобальное состояние системы. Распараллелить исполнение чего-то вроде

$ENTRY Go
{
	= <Open 'w' 1 'ПМ.txt'> <Putout 1 'Превед, Мир!\n'> <Close 1>;
}

в принципе, конечно, можно — но только оно, боюсь, или не будет работать вообще, или будет работать так, что лучше бы не работало.

С уважением,
Гастрит

(Ответить) (Уровень выше) (Ветвь дискуссии)

	bigturtle 2007-12-07 16:09 (ссылка)
	Понял - там лажа;) (Ответить) (Уровень выше) (Ветвь дискуссии)

	gastrit 2007-12-07 17:22 (ссылка)
	Шо-шо?! Це не баг, а фича! :-) (Ответить) (Уровень выше)

polter
2007-12-06 17:57 (ссылка)

Ну вообще как раз в term rewriting с этим проблем быть не должно
например есть терм a(b(x),c(y)) - ничто не мешает переписать подтермы b и c параллельно при условии отсутствия побочных эффектов (а из ленивой редукции это естественным образом следует).
http://en.wikipedia.org/wiki/Confluence_%28term_rewriting%29
http://en.wikipedia.org/wiki/Church%E2%80%93Rosser_theorem

Ну и исходные данные оно обычно не модифицирует, создается новый узел дерева, который просто ссылается на старых детей.

(Ответить) (Уровень выше)

gastrit
2007-12-06 01:41 (ссылка)

> У рефала подряд, у Шеня случайно.

Что-то мне подсказывает, что или сие не даёт алгорифма, или надо накладывать доп.требования (вроде отсутствия двух одновременно сопоставляемых продукций). А во втором случае вместо расово верной марковской модели мы получим совершенно неверную как с расовой, так и с моральной позиции тьюринговскую.

> 2. Нет терминации. Кончается, когда ни одно
> из выражений не может быть вычислено.

Ну, в рефал-плюс тоже много чего понатолкали (и откатные функции в том числе). За то он и расово неверный :-)

С уважением,
Гастрит

(Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2007-12-06 01:46 (ссылка)
	Да, я сейчас нечто подобное смутно припоминаю. Возможно, таки он неполон. Надо Шеня спросить при случае. Он этот язык в 57-ой школе, кажется, преподавал. (Ответить) (Уровень выше) (Ветвь дискуссии)

gastrit
2007-12-06 01:56 (ссылка)

Да нет, с полнотой там, скорее всего, всё в порядке. Просто это, подозреваю, не "урезанный Рефал", а язык с другими принципами (если, конечно, не считать машину Тьюринга "урезанным нормальным алгорифмом"). Pattern matching ведь и до Турчина было прекрасно известно (тут вот SNOBOL неподалёку вспоминали).

Но подлинно расово верным является, само собой, только Рефал :-)

С уважением,
Гастрит

P.S.: Кстати, о Шене. Спросил тут я его таки про "конструктивиста". Отпирается.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	illusive_fish 2007-12-06 22:50 (ссылка)
	snobol вспоминали с целью злющего сарказма :0) (Ответить) (Уровень выше) (Ветвь дискуссии)

	gastrit 2007-12-06 23:01 (ссылка)
	Наличие сарказма не отменяет наличия собственно языка :-) С уважением, Гастрит (Ответить) (Уровень выше)

	polter 2007-12-06 04:48 (ссылка)
	А что за язык? Я так понимаю речь идет о term rewriting с нормальным порядком редукции? Если так, то клево, моя любимая модель для языков. Люблю в свободное время придумывать разные. (Ответить) (Уровень выше) (Ветвь дискуссии)

	pzz 2007-12-06 05:06 (ссылка)
	http://refal.net/ (Ответить) (Уровень выше) (Ветвь дискуссии)

	polter 2007-12-06 05:12 (ссылка)
	Я про "шеневский "язык термов" спрашивал. (Ответить) (Уровень выше) (Ветвь дискуссии)

	pzz 2007-12-06 05:13 (ссылка)
	Ааа. Я навскидку не нашел... (Ответить) (Уровень выше)

	tiphareth 2007-12-06 10:05 (ссылка)
	Оно, да. Реализованное как язык программирования (Ответить) (Уровень выше)

(Читать комментарии) -