Given a text file including different text and integer numbers (text.txt), what's the shortest way of getting the sum of all the numbers out if it? I have:import ref = open('text.txt', 'r')result = 0for line in f.readlines():    for value in re.findall('[0-9]+', line):        result += int(value)f.close()print(result)Which works, but I would like to understand what are the possibilities to make it shorter?
Shortest regex search and sum for integers
python;regex;python 3.x
You can use map and sum. It good practice to use with statement when working with  a file.with open('text.txt', 'r') as f:    result = sum(map(int, re.findall(r'[0-9]+', f.read())))print(result)