The form expresses when a value is known. The type denotes the nature of a value.
form 要表达的是当值是知道的(比如常量,或者用户输入决定,而且后续就不变了) type 强调的是值的性质
form下面又有一些具体的内容