Sometimes the question isn't "are types good", it's "are the costs associated with static types worth it for this particular use case". And the answer is almost

Sometimes the question isn't "are types good", it's "are the costs associated with static types worth it for this particular use case". And the answer is almost always yes; but the "almost" there is important.