В Haskell у меня есть контейнер вроде: data Container a = Container { length :: Int, buffer :: Unboxed.Vector (Int,a) } Этот контейнер представляет собой сплющенное дерево. Его метод доступа (!) выполняет двоичный ( log(N) ) поиск по...

Мы знаем, что чистые функции : Всегда возвращайте один и тот же результат для заданного ввода Не вызывают побочных эффектов Это приводит нас к ссылочной прозрачности , где выражение может быть заменено значением без изменения поведение...