What is the difference between Type Safety and Type Inference?
<p>How are they different? I get a bit confused because they seem to be similar concepts.</p>

<p>How does understanding them help with optimizing compilation time?</p>