Re[14]: Eiffel: кто-нибудь лично знаком
От: Курилка Россия http://kirya.narod.ru/
Дата: 12.04.06 11:11
Оценка:
Здравствуйте, Сергей Губанов, Вы писали:

СГ>Здравствуйте, Курилка, Вы писали:


К>>Свой компилятор Visual Basic я имею право назвать таковым?


СГ>Тяжелый случай.


СГ>А как ещё можно называть компилятор, который компилирует тексты написанные на языке ***, если не компилятором языка ***???


Просто MS, SAP,1C и прочие не признают твой компилятор (и скорее всего подадут в суд на тебя, если ты будешь использовать их запатентованные технологии или зарегистрированные торговые марки), а банально просто никто им пользоваться не будет, т.к. он не будет поддержан этими конторами.
Re[8]: Eiffel: кто-нибудь лично знаком
От: Сергей Губанов Россия http://sergey-gubanov.livejournal.com/
Дата: 12.04.06 11:17
Оценка: -6 :)
Здравствуйте, Cyberax, Вы писали:

C>У Вирта — обзорное изложение теории, а в этих книгах конкретная практика (что там, например, Вирт говорил про восходящий синтаксический анализ?).


Щазззз я Вам скажу про восходящий анализ. Вот когда человек мочится, то сечение струи не постоянно, а оно то в одну сторону приплюснуто, то в другую — зависит от высоты, скорости и прочих параметров. Вот один физик, используя гидродинамику вывел динамические уравнения для сечения этой струи и решил их. Диссертацию между прочим на этом деле защитил. Так вот всякие там восходящие анализы, то же что и определение сечения струи мочащегося человека, таже херня, но вид сбоку. А ведь конкретная практика. Ну что может быть практичнее?

Есть задача: программирование компьютера. Можно её решить просто, а можно сложно. Вирт в своих книгах описал как он это сделал и почему от всяких восходящих анализов он отказался (просто за ненадобностью). Книги объёмом ~1000 страниц по одному лишь ООП — есть пример как решать ровно туже задачу, но не просто, а сложно (= ложно). Этакие манускрипты тайного знания и тонких конкретных моментов того что и не нужно-то на самом деле.

P. S.
Если я не ошибаюсь, то вроде того физика звали Нильс Бор...
Re[15]: Eiffel: кто-нибудь лично знаком
От: Сергей Губанов Россия http://sergey-gubanov.livejournal.com/
Дата: 12.04.06 11:26
Оценка:
Здравствуйте, Курилка, Вы писали:

К>Просто MS, SAP,1C и прочие не признают твой компилятор (и скорее всего подадут в суд на тебя, если ты будешь использовать их запатентованные технологии или зарегистрированные торговые марки), а банально просто никто им пользоваться не будет, т.к. он не будет поддержан этими конторами.


А я про запатентованные технологии и про торговые марки ничего и не утверждал.
Я говорил, что нет законов о патентовании языков — излагать свои мысли на каком-то языке есть неотчуждаемое право любого кто на это способен (в том числе можно написать на этом же языке его же компилятор).
Re[16]: Eiffel: кто-нибудь лично знаком
От: Курилка Россия http://kirya.narod.ru/
Дата: 12.04.06 11:32
Оценка:
Здравствуйте, Сергей Губанов, Вы писали:

СГ>Здравствуйте, Курилка, Вы писали:


К>>Просто MS, SAP,1C и прочие не признают твой компилятор (и скорее всего подадут в суд на тебя, если ты будешь использовать их запатентованные технологии или зарегистрированные торговые марки), а банально просто никто им пользоваться не будет, т.к. он не будет поддержан этими конторами.


СГ>А я про запатентованные технологии и про торговые марки ничего и не утверждал.

СГ>Я говорил, что нет законов о патентовании языков — излагать свои мысли на каком-то языке есть неотчуждаемое право любого кто на это способен (в том числе можно написать на этом же языке его же компилятор).

А теперь обрати эти свои слова на Eiffel
Re[12]: Eiffel: кто-нибудь лично знаком
От: Cyberax Марс  
Дата: 12.04.06 11:38
Оценка:
Сергей Губанов wrote:
> C>Нет. Вы можете писать компиляторы, но называть их "компиляторами языка
> C>Java" можете только с согласия Sun'а.
> Ха-ха-ха, компилятор, который, в натуре, компилирует тексты написанные
> на языке Java я не имею права называть компилятором Java!!!
Да. Это будет компилятор, совместимый с языком Java.
Posted via RSDN NNTP Server 2.0
Sapienti sat!
Re[9]: Eiffel: кто-нибудь лично знаком
От: Cyberax Марс  
Дата: 12.04.06 11:43
Оценка: +1
Сергей Губанов wrote:
> Есть задача: *программирование компьютера*. Можно её решить просто, а
> можно сложно.
Фигня все это. Все компьютеры описываются машиной Тьюринга, которую
можно программировать на brainf&&k'е. Нафиг какое-то "программирование"
изучать вообще?

> Вирт в своих книгах описал как он это сделал и почему от

> всяких восходящих анализов он отказался (просто за ненадобностью). Книги
> объёмом ~1000 страниц по одному лишь ООП — есть пример как решать ровно
> туже задачу, но не просто, а сложно (= ложно). Этакие манускрипты
> тайного знания и тонких конкретных моментов того что и не нужно-то на
> самом деле.
Покажите мне книгу в 10000 страниц (я щедрый) по созданию автомобилей. А
затем по этой книге соберите автомобиль, сравнимый с Mercedes 600.

Да, кстати. В этой книге должны описываться способы извлечения железа из
руды, создание доменных печей, технологии постройки ядерных
электростанций и Общая Теория Относительности (нам нужны спутники GPS, а
там нужна ОТО).
Posted via RSDN NNTP Server 2.0
Sapienti sat!
Re[16]: Eiffel: кто-нибудь лично знаком
От: Cyberax Марс  
Дата: 12.04.06 11:44
Оценка: +1
Сергей Губанов wrote:
> А я про запатентованные технологии и про торговые марки ничего и не
> утверждал.
Java является зарегистрированой торговой маркой, поэтому компилятор
языка Java (tm) без разрешения Sun'а создать нельзя.
Posted via RSDN NNTP Server 2.0
Sapienti sat!
Re[9]: Eiffel: кто-нибудь лично знаком
От: VladD2 Российская Империя www.nemerle.org
Дата: 12.04.06 13:20
Оценка: +1
Здравствуйте, eao197, Вы писали:

E>Насколько я понимаю, Java до сих пор является проприетарным языком.

E>И никого это не смущает.

+1

А Оберон вроде нет, но как раз Оберон никого не колышит.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[17]: Eiffel: кто-нибудь лично знаком
От: Трурль  
Дата: 12.04.06 13:27
Оценка:
Здравствуйте, Cyberax, Вы писали:

C>Java является зарегистрированой торговой маркой, поэтому компилятор

C>языка Java (tm) без разрешения Sun'а создать нельзя.
Но можно создать компилятор для языка, отличающегося от Java (tm) только названием.
Re[10]: Eiffel: кто-нибудь лично знаком
От: Трурль  
Дата: 12.04.06 13:30
Оценка:
Здравствуйте, VladD2, Вы писали:

E>>Насколько я понимаю, Java до сих пор является проприетарным языком.

E>>И никого это не смущает.

VD>А Оберон вроде нет, но как раз Оберон никого не колышит.


Oberon, Native Oberon and ETH Oberon are trademarks of the Swiss Federal Institute of Technology Z?rich.

Re[11]: Eiffel: кто-нибудь лично знаком
От: VladD2 Российская Империя www.nemerle.org
Дата: 12.04.06 13:38
Оценка:
Здравствуйте, Трурль, Вы писали:

VD>>А Оберон вроде нет, но как раз Оберон никого не колышит.


Т>

Oberon, Native Oberon and ETH Oberon are trademarks of the Swiss Federal Institute of Technology Z?rich.


Папа, что это было? (с).
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[11]: Eiffel: кто-нибудь лично знаком
От: Cyberax Марс  
Дата: 12.04.06 14:34
Оценка:
Трурль wrote:
> Oberon, Native Oberon and ETH Oberon are trademarks of the Swiss Federal
> Institute of Technology Z?rich.
Они могут разрешать свободное использование своей TM. А вот Sun не
разрешает.
Posted via RSDN NNTP Server 2.0
Sapienti sat!
Re[12]: Eiffel: кто-нибудь лично знаком
От: bkat  
Дата: 12.04.06 15:26
Оценка: +1
Здравствуйте, Сергей Губанов, Вы писали:

СГ>Здравствуйте, Cyberax, Вы писали:


C>>Нет. Вы можете писать компиляторы, но называть их "компиляторами языка

C>>Java" можете только с согласия Sun'а.

СГ>Ха-ха-ха, компилятор, который, в натуре, компилирует тексты написанные на языке Java я не имею права называть компилятором Java!!!!


Зря ржешь...
Такое случается сплошь и рядом.
Вот к примеру www.superwaba.com
В общем-то это java мобильных устройств,
но по известным причинам они не могут говорить, что это java.

C Ada, к примеру, такая же ситуация была.
Чтобы компилятор имел право называться компилятором с языка Ada
надо было пройти сертификацию. Т.е. грубо говоря надо было чтобы компайлер
прошел сотни тысяч тестов и проверок.
А иначе мало ли какую поделку ты захочешь назвать компилятором с языка Ада.
В определенных ситуациях в этом есть смысл.
Re[3]: Eiffel: кто-нибудь лично знаком
От: Sinclair Россия https://github.com/evilguest/
Дата: 13.04.06 01:56
Оценка: +2
Здравствуйте, Сергей Губанов, Вы писали:

Сергей, это называется "воинствующее невежество". Вот, кстати, Кнут — он тоже маркетолог? Или воды налил на три тома? Я вот читал, правда только II и III. И Вирта я тоже читал, только давно. Так вот секрет прост: у Кнута просто рассматривается на порядок больше алгоритмов. Сколько там видов сортировки описано в Алгоритмах и Структурах?
1.1.4 stable rev. 510
Уйдемте отсюда, Румата! У вас слишком богатые погреба.
Re[6]: Параллелизм в Eiffel
От: Mckey Россия  
Дата: 14.04.06 05:14
Оценка: 12 (1)
Здравствуйте, absolute, Вы писали:

A>Здравствуйте, Mckey, Вы писали:


M>>А систему многопоточности предложденную Майером я не встречал кажеться вообще нигде... А система намного более простая в применении чем всякие трэды в Delphi и С#...

M>>От того что она другая совсем не значит что она хуже...

A>Давайте поговорим о многопоточности в Eiffel.


A>Многопоточность в Обероне мы уже обсудили, она реализована в Active Oberon на основе активных объектов, для чего в язык добавлено три слова: ACTIVE, EXCLUSIVE и AWAIT (поиск по форуму по этим словам).


A>Теперь давайте обсудим параллелизм в Eiffel.

A>Этот язык предлагает нам так называемые сепаратные классы.
A>Расскажите что это такое и как работает.

Для того чтобы ввести параллелность в синтаксис языка Мейер добавил только одно ключевое слово separate (x: separate Some_Class), которое говорит о том что любые вызовы методов объекта присоединенного к x будут выполняться на отдельном "процессоре" (понятие процессора абстрактное, а отображение абстрактных процессоров на физические ресурсы описывается в специальном файле конфигурации), т.е. формально подходя независимо, параллельно.
Для этого объекта x может выполняться параллельно только один его метод.
Если сам объект x является аргументом в вызове какого другого метода, например Load(x), то Load будет иметь монопольный, исключительный доступ к объекту x.
Дальше, если у подпрограммы есть предусловие, содержащее аргумент, объявленный как separate, например тот же x, то подпрограмма будет ожидать пока предусловие не выполниться (т.е. пока x не освободиться от монопольного доступа к нему).

И кстати он (Бертран Мейер), очень понятно излагает чем плохи, так называемые АКТИВНЫЕ ОБЪЕКТЫ, пропагандируемые в одной из разновидностей языков семейства Oberon.
Делай добро и бросай его в воду...
Re[7]: Параллелизм в Eiffel
От: eao197 Беларусь http://eao197.blogspot.com
Дата: 14.04.06 05:42
Оценка:
Здравствуйте, Mckey, Вы писали:

M>И кстати он (Бертран Мейер), очень понятно излагает чем плохи, так называемые АКТИВНЫЕ ОБЪЕКТЫ, пропагандируемые в одной из разновидностей языков семейства Oberon.


Где? В Object-Oriented Software Construction?

Кстати, дались некоторым эти активные объекты средствами языка . Их совершенно нормально можно получить с помощью фреймворков
Автор: Евгений Охотников
Дата: 30.12.05
на обычных языках. Таких как C++, Java, C# или Ruby. И даже больше того, можно выделить группу объектов, которые будут разделять контекст одного потока (если они кооперативно выполняют одну общую операцию).


SObjectizer: <микро>Агентно-ориентированное программирование на C++.
Re[8]: Параллелизм в Eiffel
От: Mckey Россия  
Дата: 14.04.06 05:49
Оценка: 1 (1)
Здравствуйте, eao197, Вы писали:

E>Здравствуйте, Mckey, Вы писали:


M>>И кстати он (Бертран Мейер), очень понятно излагает чем плохи, так называемые АКТИВНЫЕ ОБЪЕКТЫ, пропагандируемые в одной из разновидностей языков семейства Oberon.


E>Где? В Object-Oriented Software Construction?


E>Кстати, дались некоторым эти активные объекты средствами языка . Их совершенно нормально можно получить с помощью фреймворков
Автор: Евгений Охотников
Дата: 30.12.05
на обычных языках. Таких как C++, Java, C# или Ruby. И даже больше того, можно выделить группу объектов, которые будут разделять контекст одного потока (если они кооперативно выполняют одну общую операцию).


Да именно там...
Часть Е, глава 30.3, От процессов к объектам... и далее искать Активные объекты, стр. 937 в русском издании...

Там он говорит о самом не верном явлении инкапсуляции активности в объекте и сложностях этих объектов при реализации различных ОО механизмов, в частности наследования.
Делай добро и бросай его в воду...
Re[9]: Параллелизм в Eiffel
От: AVC Россия  
Дата: 14.04.06 19:54
Оценка:
Здравствуйте, Mckey, Вы писали:

M>>>И кстати он (Бертран Мейер), очень понятно излагает чем плохи, так называемые АКТИВНЫЕ ОБЪЕКТЫ, пропагандируемые в одной из разновидностей языков семейства Oberon.


E>>Где? В Object-Oriented Software Construction?


M>Да именно там...

M>Часть Е, глава 30.3, От процессов к объектам... и далее искать Активные объекты, стр. 937 в русском издании...

M>Там он говорит о самом не верном явлении инкапсуляции активности в объекте и сложностях этих объектов при реализации различных ОО механизмов, в частности наследования.


Эта критика, IMHO, устарела.
Обратите внимание на приводимую Мейером библиографию.
Все упомянутые там работы относятся к 80-м и самому началу 90-х годов.
Надо думать, что и соответствующий раздел его книги был написан в те же годы.
Поэтому вряд ли его критика относится к обероновским активным объектам, возникшим во второй половине 90-х.
К тому, он не говорит, что решение на основе активных объектов невозможно. Просто он в нем сомневается (скорее, сомневался в начаде 90-х).

Но существует одно качество, которое нельзя купить, — это надежность. Цена надежности — погоня за крайней простотой. Это цена, которую очень богатому труднее всего заплатить.

Хоар
Re[9]: Eiffel: кто-нибудь лично знаком
От: Кодт Россия  
Дата: 14.04.06 22:50
Оценка: +3
Здравствуйте, Сергей Губанов, Вы писали:

C>>У Вирта — обзорное изложение теории, а в этих книгах конкретная практика (что там, например, Вирт говорил про восходящий синтаксический анализ?).


СГ>Щазззз я Вам скажу про восходящий анализ. Вот когда человек мочится, то сечение струи не постоянно, а оно то в одну сторону приплюснуто, то в другую — зависит от высоты, скорости и прочих параметров. Вот один физик, используя гидродинамику вывел динамические уравнения для сечения этой струи и решил их. Диссертацию между прочим на этом деле защитил. Так вот всякие там восходящие анализы, то же что и определение сечения струи мочащегося человека, таже херня, но вид сбоку. А ведь конкретная практика. Ну что может быть практичнее?


СГ>Если я не ошибаюсь, то вроде того физика звали Нильс Бор...


Так походя заявить, что диссертация Бора — херня...
Ричарду Фейнману что-то там фундаментальное со спинами электронов пришло, когда он от скуки подбрасывал тарелку в столовой.

Кстати говоря, гидродинамика пульсирующих струй — это чертовски прикладная вещь. Тот факт, что человек мочится по сложным физическим законам, не девальвирует законы.

Детская юла крутится в соответствии с теоретической механикой. И ведь наверняка первые выводы о прецессии, эллипсоидах моментов и т.д. и т.п. были сделаны на основе наблюдений за юлой. Тоже детский сад?
Перекуём баги на фичи!
Re[18]: Eiffel: кто-нибудь лично знаком
От: Кодт Россия  
Дата: 14.04.06 22:55
Оценка: :)
Здравствуйте, Трурль, Вы писали:

C>>Java является зарегистрированой торговой маркой, поэтому компилятор

C>>языка Java (tm) без разрешения Sun'а создать нельзя.
Т>Но можно создать компилятор для языка, отличающегося от Java (tm) только названием.

Эврика! Давайте назовём клон (один-в-один) Эйфеля... ну, скажем, Contract-Pascal или OberonScript.
Перекуём баги на фичи!
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.