Здравствуйте, Cyberax, Вы писали:
C>VladD2 wrote: >> Ну, а все эти разговоры о риалтайме — это спекуляции. Тут этим вопросом >> и .05% людей не занимаются. А разговоров выше крыши. C>Ну так 15 лет назад управляемыми языками примерно столько же занимались.
Я тут в какой-то бумаге по Эрлангу читал, что вот одной из целью языка является именно поднятие параллелизма на более высокий уровень абстракции. Как вот ГЦ заметно облегчил управление памятью, так же и организация параллелизма в Эрланге должна скрыть в себе ненужные детали, которыми приходится заниматься в "обычных" языках — блокировки, сетевые взаимодействия и т.п. (тут же в голову приходят эрланговские behaviour'ы, которые позволяют использовать что-то типа паттернов параллелизма процессов)
Здравствуйте, Andrei N.Sobchuck, Вы писали:
ANS>Интересно, а можно в Янусе фильтр сделать, чтобы автоматом удалял посты со словами "чушь", "обман", "ложь"?
Можно. Но для этого нужно уметь программировать.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, Cyberax, Вы писали:
C>VladD2 wrote: >> В Эрлэнге не оно. Софт-риал-тайм сделан и для Явы. Только это обман. C>Да? Эрикссон так не думает.
Эриксон вообще думать не может. Это же компания. Но и заявлять откровенную чушь они не заявляют. Они говорят, что для их задач достаточно. И это разумная позиция.
>> Ну, а все эти разговоры о риалтайме — это спекуляции. Тут этим вопросом >> и .05% людей не занимаются. А разговоров выше крыши. C>Ну так 15 лет назад управляемыми языками примерно столько же занимались.
Я не знаю к чему ты это говоришь. Никакого отношения к количеству людей которому действительно нужны инструменты реального времени это не имеет. Видиом просто чтобы "поддержать беседу". Чтобы так же поддержать беседу, напомню, что Эрланг появился 20 лет назад.
>> Хард-рилтайм на ОС вроде Виндвос или Линукс вовсе невозможен, так как >> эти ОС не обеспечивают никаких гарантий. Так что о чем речь вообще не >> понимаю. C>Вообще-то, есть soft realtime Linux.
Любая Видновс и Линукс может удовлетворять условию "soft realtime". И вообще "soft realtime" — это в общем-то ничего (с) разрабочики Эрлэнга.
C> Есть hard-realtime QNX, C>который вполне себе POSIX-совместимый. Так что — это все ложь и обман.
Ага. Есть. Это, как я понимаю, ты тоже говоришь для того чтобы поддержать беседу.
ЗЫ
Знаешь почему я чавстенько просто игнорирую твои сообщения? Потому что они в основном своей целью несут бесполеный спор.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, Андрей Хропов, Вы писали:
VD>>Хард-рилтайм на ОС вроде Виндвос или Линукс вовсе невозможен, так как эти ОС не обеспечивают никаких гарантий. Так что о чем речь вообще не понимаю. АХ>А кто говорил про Windows или Linux?
А что Эрлэнг работает на QNX или под DOS-ом?
Повторю еще раз своею мысль. "soft realtime" — это громкое и совршенно пустое название. А "hard realtime" или просто realtime требует соответсвующей аппаратуры, ОС, и кучи внимания. Даже имея все это при написании realtime-софта нужно быть крайне осторожным.
Главное же, что это проблема которая, скажем, на этом форуме вообще никого не колышит. Точнее колышит исключительно из пенисометрических соображения.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, vdimas, Вы писали:
V>Ленивость в императивных языках присутствует по-определению. Достаточно реализовать любой алгоритм так, чтобы данные генерировать по мере надобности.
Это не в языках. Это ты как раз эмулируешь функциональность отсуствующую в языке. Вот в C# 2.0 и в Немерле есть специализированные средства для создания линивости. Тут можно что-то говорит о языке. Но опять же сам язык является "энергичным".
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, Cyberax, Вы писали:
>>> > Откровенно говоря спекуляции все это. Так и про Хаскель можно сказть что >>> > в нем из науки только скажем ленивость. >> C>Там еще монады есть. А в Nemerle их есть? Или это никому не нужны фича? >> Зачем ему монады, если есть адресуемые объекты и локальные переменные? C>Чтобы можно было писать в чистом функциональном стиле.
Не демонстрируй сове делетанство так открыто.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
VD>>>Хард-рилтайм на ОС вроде Виндвос или Линукс вовсе невозможен, так как эти ОС не обеспечивают никаких гарантий. Так что о чем речь вообще не понимаю. АХ>>А кто говорил про Windows или Linux?
VD>А что Эрлэнг работает на QNX или под DOS-ом?
(Для компиляции Эрланга достаточно наличия компилятора C и асинхронного ввода-вывода, даже поддержка потоков в осе не нужна. Однако для компиляции тулзов (вещи прямо скажем не самой последней необходимости) конечно нужен более широкий спектр зависимостей)
Здравствуйте, VladD2, Вы писали:
VD>Здравствуйте, Андрей Хропов, Вы писали:
VD>>>Хард-рилтайм на ОС вроде Виндвос или Линукс вовсе невозможен, так как эти ОС не обеспечивают никаких гарантий. Так что о чем речь вообще не понимаю. АХ>>А кто говорил про Windows или Linux?
VD>А что Эрлэнг работает на QNX или под DOS-ом?
Нет, но под vxWorks работает, да и RT вариации Linux существуют (например, RTLinux):
8.4. What operating systems does Erlang run on?
Erlang runs on most unix and unix-like systems and on the currently popular flavours of windows. Ericsson have compiled it for
Solaris (including 64 bit)
BSD
Linux
OSX
TRU64
Windows NT/2000/2003/XP
Windows 95, 98
VxWorks
There are reports on the mailing list of other people compiling it successfully IRIX.
(здесь)
VD>А "hard realtime" или просто realtime требует соответсвующей аппаратуры, ОС, и кучи внимания. Даже имея все это при написании realtime-софта нужно быть крайне осторожным.
Да, естественно. Только зачем это писать, если это и так понятно.
VD>Главное же, что это проблема которая, скажем, на этом форуме вообще никого не колышит.
1) Ну не будь столь категоричен, здесь много разных людей.
2) Это же ФП. Здесь можно обсуждать разные аспекты вне зависимости от того, нужно ли это каждому прямо сейчас.
VD>Точнее колышит исключительно из пенисометрических соображения.
Проблема чего-то метрии по-моему волнует в основном тебя (судя по тому что ты об этом чаще всего говоришь).
Здравствуйте, vdimas, Вы писали:
V>Ленивость в императивных языках присутствует по-определению. Достаточно реализовать любой алгоритм так, чтобы данные генерировать по мере надобности.
Любой Тьюринг-полный язык позволяет написать программу которая будет эквивалентна программе на любом другом Тьюринг-полном языке.
Вопрос в том, насколько просто и удобно писать такую программу, и получится ли она эффективной.
VladD2 wrote: > АХ>А кто говорил про Windows или Linux? > А что Эрлэнг работает на QNX или под DOS-ом?
На QNX и vxWorks работает. Обе системы — hard realtime.
> Повторю еще раз своею мысль. "soft realtime" — это громкое и совршенно > пустое название. А "hard realtime" или просто realtime требует > соответсвующей аппаратуры, ОС, и кучи внимания.
QNX был hard realtime на i80286.
Здравствуйте, deniok, Вы писали:
D>Здравствуйте, VladD2, Вы писали:
VD>>Здравствуйте, deniok, Вы писали:
D>>>Влад, а можно по-подробнее. Как ты понимаешь различие функционального и императивного кода и какой смысл вкладываешь в слово "отделять"?
VD>>Вычисление в форме единого выражения не допускающиего побочных эффектов выходящих за рамки этого выражения. Или другими словами сохранения инварианта внешнего окружения.
VD>>Отделять же его очень просто. Есть набор консрукций которые делают код императивным. Плюс набор правил при которых императивный код можно считать функциональным (сводить к функциональному при переписыании). Далее помечаем метод или кусок кода каким-нибудь модификатором, напирммер, "pure", и компилятор проверят что в этом коде нет ничего не функционального.
D>Не очень понятно, зачем помечать. Если компилятор способен определить, что в коде нет ничего не функционального, то пускай он этим и занимается без хинтов типа "pure", анализируя весь код, и выделяя функциональные куски. Правда, при этом непонятно, зачем это компилятору — разве что для оптимизаций?
D>Ну, вобщем, понятно, что императивному коду от функциональных кусков ни жарко, ни холодно.
Кстати вот в PyPy как раз вроде хотят использовать такой подход, чтобы для функциональных участков можно было использовать более эффективные механизмы сборки мусора.
Здравствуйте, VladD2, Вы писали:
ANS>>Интересно, а можно в Янусе фильтр сделать, чтобы автоматом удалял посты со словами "чушь", "обман", "ложь"?
VD>Можно. Но для этого нужно уметь программировать.
Здравствуйте, VladD2, Вы писали:
К>>Так вот для данной задачи абстракций Java достаточно. К>>Для другой задачи будем смотреть и решать.
VD>Описал бы задачу.
С этого надо было начинать.
Выслушали бы задачу, а потом уже давали свои "ценнейшие" рекомендации.
VD>Это не в языках. Это ты как раз эмулируешь функциональность отсуствующую в языке. Вот в C# 2.0 и в Немерле есть специализированные средства для создания линивости. Тут можно что-то говорит о языке. Но опять же сам язык является "энергичным".
Ну речь же шла о функциональных языках, а в некоторых из них добиться той самой "ленивости" не так-то просто. Ленивость — это по-сути пошаговость вычислений, с чем плохо у большинства ФЯ (или это наоборот хорошо? ). В общем, мой поинт был в том, что для императивных языков и критерия-то такого никогда не было за ненадобностью, ибо та самая "эмуляция" недорого обходится.
Здравствуйте, vdimas, Вы писали:
V>В общем, мой поинт был в том, что для императивных языков и критерия-то такого никогда не было за ненадобностью, ибо та самая "эмуляция" недорого обходится.
Кстати, это не так. Первым языком с линивостью был как раз императивным. Ведь по большому счету ленивость это всего лишь способ передачи параметров и их вычисление.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, Andrei N.Sobchuck, Вы писали:
ANS>>>Интересно, а можно в Янусе фильтр сделать, чтобы автоматом удалял посты со словами "чушь", "обман", "ложь"? VD>>Можно. Но для этого нужно уметь программировать. ANS>Значит фильтров не будет?
Все зависит от тебя. Учиться никогда не поздно.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, Andrei N.Sobchuck, Вы писали:
ANS>Интересно, а можно в Янусе фильтр сделать, чтобы автоматом удалял посты со словами "чушь", "обман", "ложь"?
Здравствуйте, Cyberax, Вы писали:
>> Хард-рилтайм на ОС вроде Виндвос или Линукс вовсе невозможен, так как C>Вообще-то, есть soft realtime Linux. Есть hard-realtime QNX,