What is the cleanest way to obtain the numeric prefix of a string in Python?
By "clean" I mean simple, short, readable. I couldn't care less about performance, and I suppose that it is hardly measurable in Python anyway.
For example:
Given the string '123abc456def'
, what is the cleanest way to obtain the string '123'
?
The code below obtains '123456'
:
input = '123abc456def'
output = ''.join(c for c in input if c in '0123456789')
So I am basically looking for some way to replace the if
with a while
.