Is there any way to do a basic type check? Like terraform validate kind-of-thing

A type check of values assigned to variables and parameters? That's your language's (or IDE's) job. Which language are you using?

if you are talking about allowed values, then resources support both String and Enum based values as well!