tv pine learning type system

类型系统分类

1. form
2. type

The form expresses when a value is known.
The type denotes the nature of a value.

form 要表达的是当值是知道的（比如常量，或者用户输入决定，而且后续就不变了）
type 强调的是值的性质

form

form下面又有一些具体的内容

• const
• input
• simple
• series