Здравствуйте, Shmj, Вы писали:

S>Есть ли что-либо подобное на других языках/платформах?

Есть в Scala и Haskell (но в хаскеле вообще всё есть)