Programming Language: Kotlin 1. Describe characteristics of static type checking regarding type checking process and variable type. 2. Describe characteristics of dynamic type checking regarding type checking process and variable type. 3. Is your language statically typed? If yes, show that your language has the characteristics described in question 2. If no, skip this question. Feel free to write (or copy) programs with their results in your answer to show the characteristics. 4. Is your language dynamically typed? If yes, show that your language has the characteristics described in question 3. If no, skip this question. Feel free to write (or copy) programs with their results in your answer to show the characteristics. 5. Assume that we have a programming language A with the below description. Write any features of A that you can guess from the below description. You need to write at least three features of A to get a full point. A is statically typed language, and it has a built-in type-inference. When a program written in A has type-errors, the errors are handled with weak typing system