Лингвофорум

Цитата: "GaLL" от
Однако, Алексей Гринь, Вы напрасно приписываете ФПЯ высокое быстродействие, в этом отношении они сильно уступают языкам вроде С++. Возможно, ситуация изменится, когда будут получат распространение процессоры, работающие напрямую с байт-кодом.

Не уловил связь с байт-кодом, однако.

GaLL, ФЯ уже давно умеют компилироваться в натив. С быстродействием, уступающим императивным на пару процентов, и то засчёт более тщательного слежения за безопасностью (в ФЯ, в принципе, просто нереально получить ошибку времени исполнения, типа там memory violation, null dereference, stack overflow etc., что в ответственных приложениях не приветствуется).
Я слышал, после сбоя в программе одного космич. аппарата, написанной то ли на С, то ли на С++, решено было в целях безопасности перейти на ФЯ. И вы должны понимать, какой сложности расчёты проводятся на подобного рода проектах ежесекундно.

Цитата: Алексей Гринь от февраля 13, 2009, 17:34
GaLL, ФЯ уже давно умеют компилироваться в натив. С быстродействием, уступающим императивным на пару процентов, и то засчёт более тщательного слежения за безопасностью (в ФЯ, в принципе, просто нереально получить ошибку времени исполнения, типа там memory violation, null dereference, stack overflow etc., что в ответственных приложениях не приветствуется)

Ну давайте сравним два компилятора: один - любого ФПЯ, другой, скажем, майкрософтовский или интеловский компилятор С++, написав какой-нибудь алгоритм.

Цитата: "Алексей Гринь" от
Я слышал, после сбоя в программе одного космич. аппарата, написанной то ли на С, то ли на С++, решено было в целях безопасности перейти на ФЯ. И вы должны понимать, какой сложности расчёты проводятся на подобного рода проектах ежесекундно.

Ой ли? Там разве не на Асме пишуть?

ЦитироватьНу давайте сравним два компилятора: один - любого ФПЯ, другой, скажем, майкрософтовский или интеловский компилятор С++.

Если любой ФПЯ, то сразу же - окамл-подобный F# под ДотНет, который 95% от скорости С++ Я с удовольствием подарю в никуда 5% ради надёжности и гарантированности верного исполнения программы.

Цитата: злой от февраля 13, 2009, 17:40

Цитата: "Алексей Гринь" от
Я слышал, после сбоя в программе одного космич. аппарата, написанной то ли на С, то ли на С++, решено было в целях безопасности перейти на ФЯ. И вы должны понимать, какой сложности расчёты проводятся на подобного рода проектах ежесекундно.

Ой ли? Там разве не на Асме пишуть?

Компиляторы plain С генерят лучший асм, нежели человеки вручную.

Цитата: Алексей Гринь от февраля 13, 2009, 17:42

Цитата: злой от февраля 13, 2009, 17:40

Цитата: "Алексей Гринь" от
Я слышал, после сбоя в программе одного космич. аппарата, написанной то ли на С, то ли на С++, решено было в целях безопасности перейти на ФЯ. И вы должны понимать, какой сложности расчёты проводятся на подобного рода проектах ежесекундно.

Ой ли? Там разве не на Асме пишуть?

Компиляторы plain С генерят лучший асм, нежели человеки вручную.

Та шо ви говоrите. И чем же он лучше?

Цитата: "Алексей Гринь" от
Я слышал, после сбоя в программе одного космич. аппарата, написанной то ли на С, то ли на С++, решено было в целях безопасности перейти на ФЯ. И вы должны понимать, какой сложности расчёты проводятся на подобного рода проектах ежесекундно.

Это уже не имеет отношения к быстродействию. Проблема малой разработанности средств защиты кода в С/C++ (типа контроля переполнения буфера и т. п.) действительно серьезна, эта и многие другие причины постепенно должны привести к его почти полному вытеснению другими ЯП.

Цитата: злой от февраля 13, 2009, 17:43

Цитата: Алексей Гринь от февраля 13, 2009, 17:42

Цитата: злой от февраля 13, 2009, 17:40

Цитата: "Алексей Гринь" от
Я слышал, после сбоя в программе одного космич. аппарата, написанной то ли на С, то ли на С++, решено было в целях безопасности перейти на ФЯ. И вы должны понимать, какой сложности расчёты проводятся на подобного рода проектах ежесекундно.

Ой ли? Там разве не на Асме пишуть?

Компиляторы plain С генерят лучший асм, нежели человеки вручную.

Та шо ви говоrите. И чем же он лучше?

Если проект - хелловорлд, то хуже, конечно же.

Цитата: Алексей Гринь от февраля 13, 2009, 17:41

ЦитироватьНу давайте сравним два компилятора: один - любого ФПЯ, другой, скажем, майкрософтовский или интеловский компилятор С++.

Если любой ФПЯ, то сразу же - окамл-подобный F# под ДотНет, который 95% от скорости С++ Я с удовольствием подарю в никуда 5% ради надёжности и гарантированности верного исполнения программы.

Какие 5 процентов, о чем Вы? 

Цитата: Алексей Гринь от февраля 13, 2009, 17:45

Цитата: злой от февраля 13, 2009, 17:43

Цитата: Алексей Гринь от февраля 13, 2009, 17:42

Цитата: злой от февраля 13, 2009, 17:40

Цитата: "Алексей Гринь" от
Я слышал, после сбоя в программе одного космич. аппарата, написанной то ли на С, то ли на С++, решено было в целях безопасности перейти на ФЯ. И вы должны понимать, какой сложности расчёты проводятся на подобного рода проектах ежесекундно.

Ой ли? Там разве не на Асме пишуть?

Компиляторы plain С генерят лучший асм, нежели человеки вручную.

Та шо ви говоrите. И чем же он лучше?

Если проект - хелловорлд, то хуже, конечно же.

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

Цитата: myst от февраля 13, 2009, 17:31

Цитата: "GaLL" от
Однако, Алексей Гринь, Вы напрасно приписываете ФПЯ высокое быстродействие, в этом отношении они сильно уступают языкам вроде С++. Возможно, ситуация изменится, когда будут получат распространение процессоры, работающие напрямую с байт-кодом.

Не уловил связь с байт-кодом, однако.

Байт-код теоретически может быть более-менее приближенным к ФПЯ, машинный же язык - вряд ли.

Цитата: GaLL от февраля 13, 2009, 17:47

Цитата: Алексей Гринь от февраля 13, 2009, 17:41

ЦитироватьНу давайте сравним два компилятора: один - любого ФПЯ, другой, скажем, майкрософтовский или интеловский компилятор С++.

Если любой ФПЯ, то сразу же - окамл-подобный F# под ДотНет, который 95% от скорости С++ Я с удовольствием подарю в никуда 5% ради надёжности и гарантированности верного исполнения программы.

Какие 5 процентов, о чем Вы? 

5 процентов, да. Вас это удивляет?

Цитата: GaLL от февраля 13, 2009, 17:50

Цитата: myst от февраля 13, 2009, 17:31

Цитата: "GaLL" от
Однако, Алексей Гринь, Вы напрасно приписываете ФПЯ высокое быстродействие, в этом отношении они сильно уступают языкам вроде С++. Возможно, ситуация изменится, когда будут получат распространение процессоры, работающие напрямую с байт-кодом.

Не уловил связь с байт-кодом, однако.

Байт-код теоретически может быть более-менее приближенным к ФПЯ, машинный же язык - вряд ли.

И в чём же принципиальное отличие байткода от машинных кодов?

А теперь попробуйте перевести несколько предложений на этот язык и каково это будет звучать... 

Цитата: Алексей Гринь от февраля 13, 2009, 17:50

5 процентов, да. Вас это удивляет?

Меня это не удивляет, я знаю, что это - фантастика (если, конечно, мы говорим о неких "чистых" алгоритмах типа поиска нескольких подстрок в строке и т. п.).

Цитата: Алексей Гринь от февраля 13, 2009, 17:42
Компиляторы plain С генерят лучший асм, нежели человеки вручную.

Тут именно в автоматическом генерировании. Человек почти во всех случаях (кроме самых тривиальных) может придумать, как оптимизировать созданный компилятором код, но на это может уйти очень много времени.

Цитата: GaLL от февраля 13, 2009, 17:55

Цитата: Алексей Гринь от февраля 13, 2009, 17:42
Компиляторы plain С генерят лучший асм, нежели человеки вручную.

Тут именно в автоматическом генерировании. Человек почти во всех случаях (кроме самых тривиальных) может придумать, как оптимизировать созданный компилятором код, но на это может уйти очень много времени.

Написали на Си, компилятор откомпилировал, критические куски на Асме сделали?

Цитата: GaLL от февраля 13, 2009, 17:53

Цитата: Алексей Гринь от февраля 13, 2009, 17:50

5 процентов, да. Вас это удивляет?

Меня это не удивляет, я знаю, что это - фантастика (если, конечно, мы говорим о неких "чистых" алгоритмах типа поиска нескольких подстрок в строке и т. п.).

Если нравится жить мифами и предубеждениями, пожалуйста.

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

Цитата: злой от февраля 13, 2009, 17:57

Написали на Си, компилятор откомпилировал, критические куски на Асме сделали?

Да, например, так. В этом случае, как и если реализовывать проект целиком на ассемблере, явно потребуется значительно больше времени, чем если не касаться вопросов быстродействия.

Хм, если бы среди компьютеров провели опрос какой язык программирования им нравится, что бы они выбрали? 

Цитата: jvarg от февраля 13, 2009, 17:59
В си-языках мне не нравится чуствительность к регистру символов. Все таки, для реальных языков это непривычно

рЕгИСТРонЕзавИСимОСТЬ ДЛя ЭмО...)))))))))))))))))))))))))

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

Цитата: Алексей Гринь от февраля 13, 2009, 17:57

Если нравится жить мифами и предубеждениями, пожалуйста.

Я предложил поставить эксперимент.