Python: How do I convert an array of strings to an array of numbers?,"map(int, ['1', '-1', '1'])"