On Automatic Type Refinements

Just two months ago, in “On Type Inference”, I explained why I prefer relying on implicit (inferred) types over the explicit ones as much as possible. Just a few weeks later I realized there’s one more thing: type refinements. Even today, I heard that “Array#filter is not type-safe” in a context of it not “removing” (refining!) undefined when used as .filter(Boolean).