Nice post!
Axel Rauschmayer

Thanks Dr Axel!

“Call site” might not be the best name but what FlowType does here is determining types bottom-up. Based on * operator it determines the type of parameter and then in call site it points to the error.

TypeScript does not do that. Mohamed Hegazy descries the reasoning behind it here:

Like what you read? Give Mohsen Azimi a round of applause.

From a quick cheer to a standing ovation, clap to show how much you enjoyed this story.