Bem, estou procurando uma função que reduza vários caracteres de espaço' ' em uma string.

Por exemplo, para strings dado:

s="hello__________world____!"

A função deve retornar"hello_world_!"

Em python, podemos fazer isso via regexp simplesmente como:

re.sub("\s+", " ", s);