to post messages and comments.

Не понимаю норм порядка ∞.
Возьмем какое-нибудь двумерное пространство с такой нормой.
Возьмем точку A(0, 1). Выделим точки (t, 0) for all t from our space в множество K.
Мой преподаватель в своем учебнике утверждает, что для A точками наилучшего приближения из множества K будет отрезок [(-1, 0), (1, 0)]. Не понимат.

Для справки:
Норма порядка ∞ определяется так: ||x|| = max{|x_i|, i ∈ N}.
Расстоянием от точки x до множества (ЛНП) L называется величина d(x, L) = inf{||x — y||, y ∈ L}.
Наилучшим приближением точки x в ЛНП L называется такая точка y₀ ∈ L, что ||x — y₀|| = d(x, L).

А существуют функциональные структуры данных, которые можно использовать для создания словаря (key -> value), которые работают не медленнее деревьев (вставка, удаление, поиск за O(log n)), а глубина стека необходимая для вставки/удаления не зависела бы от размера структуры?

Внезапно почувствовал необходимость добавить в свой репертуар функциональный статически типизированный язык с активным порядком вычислений. Что сейчас модно учить в эту тему? Ограничений, кроме названных, или требований на наличие каких-либо библиотек нету, так что советовать можно не только OCaml.

haskell или ocaml — вот в чем вопрос. хаскел эстетичнее(чего один parsec стоит!), но чем дальше, тем непонятнее. окемл проще, но, скажем, интерфейс к gtk выглядит весьма уродливым, а из-за бесконечныых let ... in глаза просят весь код строить "лесенкой".