And C# can do that with static typing via LINQ, which is really nice honestly. It’s a bit different but it would be something like:

  var result = await (from c in Customer where c.orders.sum(o => o.price) > 1000 select c).ToListAsync();