Andreas Jost
12/13/2019, 9:15 AMstreetsofboston
12/13/2019, 9:40 AMfilter on it. For large lists and if you call many operators on the list, you may want to convert it to a Sequence.streetsofboston
12/13/2019, 9:41 AMAndreas Jost
12/13/2019, 9:46 AMstreetsofboston
12/13/2019, 10:03 AMAndreas Jost
12/13/2019, 10:05 AMMatteo Mirk
12/24/2019, 9:36 AMlist.filter {} and be fine. I support what Anton said: don’t optimize prematurely, only if you experience a slow execution.