Flow is not sound. They have the ambition of trying to be sound (which I appreciate), but they've never accomplished it. I went looking for where on their webs

Flow is not sound. They have the ambition of trying to be sound (which I appreciate), but they've never accomplished it. I went looking for where on their website they claim to be sound. There's definitely some misleading wording here: https://flow.org/en/docs/lang/types-and-expressions/#toc-soundness-and-completeness https://flow.org/en/docs/lang/types-and-expressions/#toc-sou... but if you read the whole section, it ends up also acknowledging that it's not entirely sound.