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 a 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 a weak typing system.