https://profilbaru.com/article/Type_system