Negated types

Chưa có ai nhận issue này.

Sometimes it is desired to forbid certain types from being considered.

Example: `JSON.stringify(function() {});` doesn't make sense and the chance is high it's written like this by mistake. With negated types we could eliminate a chance of it.

``` typescript
type Serializable = any ~ Function; // or simply ~ Function
declare interface JSON {
stringify(value: Serializable): string;
}
```

Another example

``` typescript

export NonIdentifierExpression = ts.Expression ~ ts.Identifier

```

Không có tệp, kiểm thử hoặc điểm vào nào được nêu tên. Hãy bắt đầu bằng việc xem xét các ví dụ Serializable và NonIdentifierExpression được đề xuất, sau đó xác định hành vi cần có của hệ thống kiểu và các tác động của nó đến tính có thể gán; hoàn tất nghĩa là các kiểu phủ định được hỗ trợ nhất quán và được bao phủ bởi các kiểm thử phù hợp.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.