Strong vs Weak References

What is type safety?