[dragonwriter]

> Most languages have embraced statements over expressions for a lot of language constructs.

Some of the most used languages with flow typing have statements and follow them for typing, so that is emphatically not the reason.

[cannabis_sam]

My view might of course be a bit outdated, do you have any examples?

(Specifically for this point: “and follow them for typing”)

[cmrdporcupine]

The example in TFA. TypeScript.

[cannabis_sam]

So my point stands…?