Immutable worries

[kika]

Не так все шоколадно в неразрушаемом мире.

It's the same reason so many other fundamental datastructures are missing: they just aren't practical in immutable languages.  Skew trees, splay trees, judy trees, julia trees, Knuth's Algorithm X container, Zobrist hashing, basically any ply tree strategy, basically every tree culling algorithm, et cetera - half of the stuff you find in NIST DADS - are casualties.  Erlang can't have real mtd(f).  Erlang can't have real A*.  Erlang can't have real negascout.  Erlang can't have real stochastic octrees.  Erlang can't have half the stuff you want for caching.  You'd do well to just write an interface for a tree or hash to get the expected API behavior and call it a day.  If you can't, it's time to write a port.

http://www.erlang.org/cgi-bin/ezmlm-cgi?4:mss:44582:200906:fheihgcibcpkcjpgfmbj

Текст срезонировал потому что я сейчас делаю IP address longest match lookup (как в таблице маршрутизации) и подумал что мою таблицу в реальный роутер не засунешь. Ибо у меня таблица никогда не перестраивается, поэтому я могу себе позволить ее создавать сколь угодно долго, а в реальном роутере она динамическая. У Ерланга куча наверное очень эффективная, но тем не менее.

Comments

[kika.livejournal.com]

В том-то и дело, что современная индустрия (ватева какая) не умеет производить организмы, а умеет производить машины. Я больше тебя хочу чтобы ты оказался прав, но пока не вижу как. Для того чтобы производить организмы, нужен совсем другой клей, а не те дебильные поделки, которые мы везде имеем в виде FFI и аналогов.
Изолируем алгоритмы и повысим уровень абстракции? Я только за. Через интерфейс порта, просовывая туда ерланговские термы в каком-то дурном бинарном формате, и расковыривая их с обратной стороны кодом на языке Си, повторяя работу интерпретатора? Да ну нафиг. Это не клей, это гвозди какие-то.
А про конкурентные преимущества у компании - это как бы от другой стенки совсем. Вообще говоря, для успешного бизнеса продукт является помехой, что мы и наблюдали некоторое время. Ну и в конце мы наблюли что эта конфигурация "постиндустриального общества" не является особенно устойчивой.
Для того чтобы подниматься выше по уровням абстракции, надо, имхо, построить достаточно надежный фундамент. Не залить там килотонну бетона, а хотя бы убедиться что он стоит на всех своих ногах устойчиво и что если мы рассчитываем что он выдержит то-то и то-то, то он как минимум это и выдержит. А пока мы имеем гору языков, DSLей, чего угодно, и очень хреновые возможности склеивать это все вместе. Хреновые чисто инструментально, в том числе. Плохо документированные, неэффективные, etc.

Чтобы убрать в подпол, надо дать нормальный клей. Клей у ерланга очень трудозатратный и плохо документированный. И, кстати, этот клей является группой риска. Вон, Юра ошибся в клее и у меня вся ерланговая машинерия встала раком. А за надежность именно она отвечает, и я там могу сколько хочу ошибаться, раком все равно ничего не встанет. И в том, к чему Юра клеил тоже можно ошибаться, будет работать плохо, но не встанет раком. А тонкий слой клея - бац и кранты всей скалябельности и надежности.

При принятии решения убрать в подпол я базируюсь не только на красивых идеях решений всех проблем методом добавления еще одного абстрактного слоя © by anatolix а на гораздо более прозаических вещах. И сразу перестает хотеться убирать в подпол, ибо стремно.

[lionet.livejournal.com]

<noflame>

Для того чтобы производить организмы, нужен совсем другой клей, а не те дебильные поделки

CORBA, и IDL, ага.

Юра ошибся в клее и у меня вся ерланговая машинерия встала раком.

Linked-in drivers? А зачем? http://lionet.livejournal.com/35153.html

расковыривая их с обратной стороны кодом на языке Си

Могу выслать полный разборщик для OCaml. Си к окамлу может быть легче присоединить, чем к Erlang'у.

<noflame>

[kika.livejournal.com]

горба и прочий дком - это клеи немного другой системы, обойные :-)

Там не драйвер, там как раз порт, как это ни смешно. Как выяснилось, через порт ерланг тоже можно рачком-с поставить-с.

Клеить к сишной библиотеке ерланг через окамл - это хорошая идея. Со мной есть только одна проблема - меня практически не берет трава (такая вот особенность биохимии) а более тяжелые я как-то так и не собрался попробовать.

[lionet.livejournal.com]

Как выяснилось, через порт ерланг тоже можно рачком-с поставить-с.

А вот это уже интересно. Расскажи?

более тяжелые я как-то так и не собрался попробовать

Могу отсыпать — у нас в одном месте именно так ;)