folex
math analysis functional Не понимаю норм порядка ∞.
Возьмем какое-нибудь двумерное пространство с такой нормой.
Возьмем точку 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).
folex
? programming functional why Мне вот тут часто задавать стали вопрос "а зачем функциональное программирование?". По большому счету, мне и сказать-то кроме "мне интересно" и "удобно" нечего.
Kim
? data functional А существуют функциональные структуры данных, которые можно использовать для создания словаря (key -> value), которые работают не медленнее деревьев (вставка, удаление, поиск за O(log n)), а глубина стека необходимая для вставки/удаления не зависела бы от размера структуры?
Kim
? functional active call_by_value static_typing Внезапно почувствовал необходимость добавить в свой репертуар функциональный статически типизированный язык с активным порядком вычислений. Что сейчас модно учить в эту тему? Ограничений, кроме названных, или требований на наличие каких-либо библиотек нету, так что советовать можно не только OCaml.
nwalker
dev functional haskell или ocaml — вот в чем вопрос. хаскел эстетичнее(чего один parsec стоит!), но чем дальше, тем непонятнее. окемл проще, но, скажем, интерфейс к gtk выглядит весьма уродливым, а из-за бесконечныых let ... in глаза просят весь код строить "лесенкой".