Provides solid type-safety that can help catch bugs at compile time.