x=df["names"], y=df["random"])指定 Dataframe 列之外，强制转换为列表也可以工作：
这段代码将输出转换后的Polars DataFrame,你可以通过比较输出结果与原始Pandas DataFrame来验证转换是否成功。
这种格式能够很好地使用polars将处理的（基于列的）Arrow数据结构。
x=df["names"], y=df["random"])指定 Dataframe 列之外，强制转换为列表也可以工作：
.with_column()返回一个新的 Dataframe -它不会就地修改。您可以指定结果：