Array of Chars to String

["Martin v. Löwis"]

James Stroud wrote:
> astr = "Bob Carol Ted Alice"
> letters = "adB"

Apparently nobody has proposed this yet:

>>> filter(letters.__contains__, astr)
'Bad'
>>> filter(set(letters).__contains__, astr)
'Bad'

Regards,
Martin