フローに「not」タイプを指定する方法はありますか？

Question

フローに「not」タイプを指定する方法はありますか？たとえば、 compact = (input: Array<any>): Array<notFalsey> => input.filter(i => !!i);？

Answer 1

現在、文字列以外の文字である$Not<string>のような「not」型を指定する構文はありません。

compactの例では、Array.prototype.filterのフローのライブラリ定義には、フィルタ機能としてBoolean関数を使用する特殊なケースが含まれています。だから、魔法タイプ$NonMaybeTypeで出荷されます

const compactedArray = myArray.filter(Boolean); 

v0.31.0を書くことができますので、あなたは、戻り値の型Array<$NonMaybeType<T>>とcompact関数を書くことができるようになります。