Ой, чо с D деется-то!? - Философия программирования

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

FR>>Вас (поклоников Немерле) по моему уже не просто клинит, а окончательно переклинило.

ie>А поклоников чего бы то нибыло всегда клинит. Впрочем, я этого и не отрицаю. А как еще можно назвать ситуацию, когда я пишу какой-нибудь код и думаю, а как бы его можно было покрасивей переписать на Немерл? Одним словом — клинануло. При всем при этом я стараюсь быть объективен. Не всегда получается, что ж теперь

А у тебя легкая форма

(надеюсь у меня тоже)
Но на всякий случай перед тем как писать в темы никакого отношения к Немерле не имеющие про Немерле, глубоко вдохни и медленно cчитай в уме до десяти

Еще почти любой код можно красивше переписать, и без Немерле

FR>>В общем я теперь твердо убежден функциональщина очень опасна для психики, срывает крышу, особенно если упертые императивщики резко на нее переходят

ie>Дык, функциональщина тут как бы не причем. Думаю любой шаг эволюции сопровождается таким клином если не у всех, то уж точно не у единиц.

Ты разве не слышал про "злобных функциональщиков"?

Здравствуйте, Vermicious Knid, Вы писали:

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

E>>>Да ладно сравнивать императивное решение с функциональным:
ie>>Точно-точно!

ie>>

ie>>makeDist _ 0 = []
ie>>makeDist n m = let r = round (fromIntegral n / m) in r : makeDist (n-r) (m-1)
ie>>

VK>Ну и Nemerle можно таким образом ужать:
VK>

VK>def makeDist(n, m)
VK>    if (n == 0) [] else
VK>        def r = (n / m:>double).Round():>int; r :: makeDist(n-r, m-1)
VK>

и D:

int[] makeDistrib(int n, int m)
{
if(m == 0) return [];
int r = cast(int)round(cast(float)n / m); return [r] ~ makeDistrib(n - r, m - 1);
}

и питон:

def make_dist(n, m):
    if m == 0:  return []
    r = int(round(float(n) / m)); return [r] + make_dist(n - r, m - 1)

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

АХ>>А зачем C/C++ если есть лучше их — D?

VD>По-меому, все очевидно. С++ потому что на работу за это взяли. А не D, помтоу, что если он будет выбирать сам и другие условия будут позволять, то он как разумный и перспективно мыслящий человек несомненно выберет Nemerle.

VD>А ты сам бы разве не так же поступил бы?
Ответил здесь:

Если бы я сам выбирал на чем разрабатывать, я бы выбрал Nemerle основным языком и С++ или D для критических по скорости и затратам памяти частей.

... << RSDN@Home 1.1.4 stable SR1 rev. 568>>

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

VD>Здравствуйте, Андрей Хропов, Вы писали:

АХ>>C + inline asm

VD>Ты меня извини, но "C + inline asm" == C и asm, т.е. два языка. Это можно и в Немрле встроить поддержку IL-блоков. Причем ты сам можешь это сделать.

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

АХ>>Можно, но возможность спуститься на низкий уровень должна быть.

VD>Зачем? Чтобы смотреть как толпы ежиков лезут туда где их убьет током?

VD>Ты серьезно собрался ОС писать? Нет?
Мы не про меня говорим, а про то каким должен быть язык для системного ПО. Которое в себя включает в том числе написание менеджеров памяти, GC и т.п.

АХ>>>>Хотя неверифицируемая часть состоит всего из 5% кода.
WH>>>5% это много. Должно быть много меньше.
АХ>>Откуда такие выводы?

VD>Лучше скажи откуда взял цифру — 5%?

An Overview of the Singularity Project, раздел 5.1

Singularity’s I/O system consists of three layers: HAL, I/O manager, and drivers. The HAL
is a small, trusted abstraction of PC hardware: IoPorts, IoDma, IoIrq, and IoMemory
abstractions to access devices; interfaces to the timer, interrupt controller, real-time clock, and
debug console; kernel debugging stub; event logger; interrupt and exception vector; BIOS
resource discovery; and stack linking code. It is written in C#, C++, and assembler. The
assembler and C++ portions of the HAL represent approximately 5% of the trusted code in the
system (35 out of 561 files).

Это правда только I/O, но более четких цифр там вроде нет.

АХ>>Да выкинуть их давно надо. Я ими никогда не пользовался.

VD>Скажи автору Ди. Посмотрим на рекцию.
Скажу

VD>За одно скжи про указатели.

АХ>>Хороший оптимизатор все равно в случае чего (если это безопасно) может соптимизировать распределение памяти.

VD>Очень хороший. Такой способны породить только Sun, IBM, MS ну может еще кто-то. Но никак не кустари одиночки.

Интересно, почему DMD на недавних тестах был быстрее компиляторов и рантаймов от MS и Sun?

АХ>>Если бы я сам выбирал на чем разрабатывать, я бы выбрал Nemerle основным языком и С++ или D для критических по скорости и затратам памяти частей.

VD>И скоро понял бы, что давно забыл что как писать на С++ и Dю

... << RSDN@Home 1.1.4 stable SR1 rev. 568>>

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

VD>Здравствуйте, Андрей Хропов, Вы писали:

АХ>>Ну хорошо, выражусь по-другому: в системном языке должна быть возможность спуститься на низкий уровень и контролировать каждый бит.

VD>Тогда единственный выход это ассемблер.
inline assembler

АХ>> Все время это делать не надо, но, скажем, критические части ядра ОС по-другому не напишешь.

VD>Вот авторы Сингулярити уже доказали, что подобные слова — заблуждение.
В смысле?

Еще раз :

An Overview of the Singularity Project, раздел 5.1

Singularity’s I/O system consists of three layers: HAL, I/O manager, and drivers. The HAL
is a small, trusted abstraction of PC hardware: IoPorts, IoDma, IoIrq, and IoMemory
abstractions to access devices; interfaces to the timer, interrupt controller, real-time clock, and
debug console; kernel debugging stub; event logger; interrupt and exception vector; BIOS
resource discovery; and stack linking code. It is written in C#, C++, and assembler. The
assembler and C++ portions of the HAL represent approximately 5% of the trusted code in the
system (35 out of 561 files).

Итак, 5% хотя бы I/O (про ядро непонятно) написаны на asm + C++. Немного, но тем не менее.

VD> Да и не ясно почему нельзя какие-то критические места написать на низгоуровневом языке? Их же очень мало.

АХ>>Помимо этого должна быть возможность вообще не пользоваться сборщиком мусора,

VD>Это почему?
Потому что от него оверхед (для ядра это существенно) и к тому же он приводит к недетерминированному поведению.
В real-time системах бывает так, что вообще вся память статически распределяется.

АХ>>не должно быть обязательной зависимости от большого рантайма

VD>А ничего, что рантайм Висты составляет где-то 3 гига?
Что значит рантайм Висты?

Язык для системного ПО должен позволять писать с минимально возможным оверхедом — для встроенных устройств, для смарт-карт и т.п.

АХ>>(для встроенных систем и вообще где мало памяти), должен быть встроенный ассемблер

VD>Нда. Твои представления сильно устарели. Да и вообще странные рассуждения. Неуже ли в этом мире не хватит мест где нужно качество и удобство и все упирается в объем памяти?

Хватит, но я про языки для системного ПО, где производительность — одна из важнейших характеристик.

... << RSDN@Home 1.1.4 stable SR1 rev. 568>>

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

FR>Кстати где модераторы, раньше злобных функциональщиков за такое же поведение банили.

Модераторы здесь. А функциональщиков банили не за рекламу ФП, пусть и неуемную, а за потоки хамства, которыми эта реклама сопровождалась. И, уж коли ты первый о модераторах вспомнил, то предупреждаю: общаться в тоне, подобном Re[2]: Ой, чо с D деется-то!? не стоит.

... << RSDN@Home 1.2.0 alpha rev. 646 on Windows XP 5.1.2600.131072>>

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

FR>А у тебя легкая форма

(надеюсь у меня тоже)

Легкая форма самая опасная. Она чаще всего переходит в храническую, а та в клиническую.