Здравствуйте. Кто-нибудь сталкивался с готовыми библиотеками, или возможно имел собственный опыт реализации имъютэбл b-tree и использованием path-copy техники?

Здравствуйте. Может быть бред, может велосипед, но любопытство берет верх. Стало интересно реализована ли в каких-либо языках (может есть в качестве фичи) такая возможность: область значений функции, удовлетворяющих некому предикату? Область значений - данные, могут быть как однородными так и гетерогенными.