Static typing with inference being the most obvious of those. Gradual typing being another