Subject: Re: Сравнение по производительности Рефала другим языкам
From: Mike Potanin (potanin@mccme.ru)
Date: Thu Feb 26 2004 - 18:44:54 MSK
On Thu, 26 Feb 2004 crocodil@croco.net wrote:
> > Чем Cyclone хуже? Еще был Aleph, но маркетинговые соображения его
> > задавили.
>
> Не знаю, не видел. Про Cyclone я слышу впервые от тебя. Кстати,
> возможно, этим он и хуже ;-) Для перехода от одного языка к
> другому этот другой должен быть не просто "не хуже", он должен
> быть лучше, притом гораздо лучше. И, кстати, _такая_ инертность
> индустрии мне вполне понятна; я бы не сказал, что это плохо.
http://www.cs.cornell.edu/projects/cyclone/
Модифицированный язык C с типизацией в стиле ML. В частности система типов
умеет замечать попытку вернуть неявно указатель на локальную переменную.
> > OCaml не проигровывает C++ во всех областях, кроме тех, где
> > предпочтительнее plain C. (В OCaml хорошо развита и императивная и ОО
> > составляющая.)
>
> OCaml - язык _заведомо_ высокого уровня. Он, насколько я помню,
> чисто интерпретируемый. Какая бы ни была там развита
> составляющая, а, однако же, для написания ядра операционной
> системы (например) C++ подходит, а OCaml - нет. При этом, imho,
> сознательно ограничивать себя plain C в тех областях, где plain C
> "предпочтительнее" - несколько странно, т.к. есть C++.
В свое время было обсуждение, почему бы не переписать ядро FreeBSD на C++.
В Core Team это предложение очень быстро отвергли, решив что C++ для ядер
не приспособлен. Я не знаю ни одного рабочего (индустриального) ядра,
написанного на C++ (возможно в winxp, но все равно сомниваюсь).
Теоритически написать можно, но на практике мало реально.
OCaml доступен в 2 вариантах - native и bytecode. Native по
производительности практически не уступает C++ (утверждается что
привосходит, но я в это не верю). Байткод позволяет делать динамическую
загрузку модулей. Интерпретатор на самом деле компилирует в байткод
налету. Сборка мусора не отключается - то есть ядро и реальное время
отпадают. Но в этих областях пока доминирует plain C.
> Не знаю, как ты, а я еще ни разу не видел, чтобы менеджеры
> выбирали для программистов средства разработки. Где-то такое,
> возможно, и есть. Не видел.
Сплошь и рядом. Типичный аргумент - "ты уволишься, где я программиста на
OCaml найду?".
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD