Покритикуйте программу на ocaml.

Как раз identation там вообще не наблюдается, как класс.

Это проблема с генерацией html. Исправлено.

Я вот чего не пойму. Зачем такое делать на окамле? Стиль ведь - Сишный, обычное структурное программирование. То есть, если захотеть, всё это чуть ли не построчно можно переписать на С/С++. И это даже было бы лучше: надеюсь никто не будет спорить, что С/С++ куда более читабельнее, нежели нагромождение всяких закорючек окамла?

В общем, как только появляется реальные задачи, всё сводиться к тривиальному структурному программированию, как бы небыл хорош язык своими монадами и лямбдами.

нет.

Бизнес-логика пишется очень изящно. И закорючек там особых нет. и... Да что там, напиши на С. у меня набор тестов написан под это дело, в общем-то. Прогоню, посмотрим.

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

> надеюсь никто не будет спорить, что С/С++ куда более читабельнее, нежели нагромождение всяких закорючек окамла?

Бредишь. OCaml гораздо понятее и читабельнее, чем кривенький ущербный Си.

> И закорючек там особых нет.

Ну как знаешь. Тебе виднее, конечно. Но так... с первого взгляда - обычные условные переходы + функции + i/o. В чем "фишка"?

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

А ради чего я запостил? Фрагмент, который решен идеологически неверно, и правильный вариант. Этого и прошу 8)

фишка?
Скорость разработки и сбоеустойчивость на уровне скриптового языка плюс рантайм по эффективаности на уровне C.
Взялся писать после того, как реализация от третьих лиц на питоне уперлась в производительность 2x2ГГц оптерона (да, у меня много почты...) Текущая эффективней и по памяти, помимо проца.

> Но так... с первого взгляда - обычные условные переходы + функции + i/o. В чем "фишка"?

В pattern matching-е и удобных ексёпшынах.

Но, конечно же, все самые вкусные фишки OCaml-а почему-то не использовались - замыкания, карринг, комбинаторы.

так Зулу и просит народ \m/ народ показать пример ;)

На HASKEL IMHO красивее получилось бы

На Хаскелле оно бы дико тормозило.

OCaml тут адекватный выбор. Но, возможно, Erlang был бы лучше, он под такие задачи нехило заточен.

Почему тормозило бы? Мне тут вещали, что решения весьма скоростные получаются за счет правильной работы компилятора (ghc). Или я чего-то упустил?

Тут компилятор вообще-то по сараю. Важна производительность примитивов для работы с сетью и для обработки очереди событий. А дальше - хоть тормознейший интерпретатор, не важно.

Нет. Рельный размер хеша, по которому проводится поиск -- порядка 500 000 записей. Так что поиск и замена в нем должны быть быстрыми.

> Ну как знаешь. Тебе виднее, конечно. Но так... с первого взгляда - обычные условные переходы + функции + i/o. В чем "фишка"?

+ 1. Такую программу можно было бы и на Си/Cи++ накатать юез особых проблем. Видно, что смысла использовать окамл не было.

> Ну как знаешь. Тебе виднее, конечно. Но так... с первого взгляда - обычные условные переходы + функции + i/o. В чем "фишка"?

+ 1. Такую программу можно было бы и на Си/Cи++ накатать юез особых проблем. Видно, что смысла использовать окамл не было.

Время поиска в нормальном хеше от количества записей практически не зависит. На скорость поиска влияет сложность расчета хеша и количество колизий для таблицы заданного размера