小编sir*_*ton的帖子

我有一个旧分支,我想删除.但是,在执行此操作之前,我想检查对此分支所做的所有提交是否在某个时刻合并到其他分支中.因此,我希望看到所有提交到我当前分支的提交尚未应用于任何其他分支[或者,如果没有一些脚本,这是不可能的,如何看到一个分支中尚未应用的所有提交到另一个给定的分支？].

在Haskell中,我经常有一个函数f,它接受一个列表并返回一个相等长度的列表:

f :: [a] -> [a]  -- length f(xs) == length xs

同样,我可能有一个函数g,它接受两个长度相等的列表:

g :: [a] -> [a] -> ...

如果f和g上面键入,则如果不满足与长度相关的约束,则可能导致运行时错误.因此,我想在类型系统中编码这些约束.我怎么能这样做？

请注意,我正在寻找可在日常情况下使用的实用框架,尽可能减少对代码的直观开销.我特别想知道你将如何f与g自己打交道; 也就是说,您是否会尝试将与长度相关的约束添加到其类型中,如此处所述,或者为了简化代码,您是否会使用上面给出的类型？

我正在使用matplotlib通过savefig生成一些数字.这些数字是黑白的,需要以TIFF格式以非常高的分辨率(1000 dpi)保存.因此,以较小的位深度保存它们以便使用较少的存储器将是有益的.

为此,我的问题是:在使用matplotlib保存数字时如何指定位深度？

谢谢!