是否有某种方法可以在流中指定“不”类型？

Question

有什么方法可以在流中指定“not”类型吗？例如， compact = (input: Array<any>): Array<notFalsey> => input.filter(i => !!i);？

Answer 1

当前，没有指定“不”类型的语法，如$Not<string>，它只是一个字符串。

对于您的具体compact示例，Array.prototype.filter的Flow库定义确实包含使用Boolean函数作为过滤器函数的特殊情况。所以，你可以写

const compactedArray = myArray.filter(Boolean); 

v0.31.0将与魔法类$NonMaybeType出货，这样你就可以写一个compact函数的返回类型Array<$NonMaybeType<T>>。