Type systems are the backbone of reliable software. From static to dynamic, which type system do you prefer and why? 🤔