在Python Polars中，我如何通过连接列表来聚合，而不是创建嵌套列表？例如，我想在id上聚合此数据帧
import polars as pl
df = pl.DataFrame({
'id': [1, 1],
'name': [["Bob"], ["Mary", "Sue"]],
})
| id | name |
|---|---|
| 1 | ["Bob"] |
| 1 | ["Mary", "Sue"] |
并得到这样的结果
| id | name |
|---|---|
| 1 | ["Bob", "Mary", "Sue"] |
如果我使用df.group_by('id').agg("name")，我会得到一个嵌套列表，但我不想要:
| id | name |
|---|---|
| 1 | [["Bob"], ["Mary", "Sue"]] |