https://profilpelajar.com/uk/Gradual_typing