On Sunday, 3 July 2016 at 08:01:45 UTC, Ola Fosheim Grøstad wrote: > even then a language like Whiley is more advanced. Whiley has > a floating type system with static typing where you can write Typo, not «floating type system», but flow-typing: https://en.wikipedia.org/wiki/Flow-sensitive_typing