Microsoft/TypeScript

Suggestion: stricter operators

Open

#7,989 建立於 2016年4月10日

在 GitHub 查看
 (14 留言) (15 反應) (0 負責人)TypeScript (48,455 star) (6,726 fork)batch import
Effort: ModerateHelp WantedSuggestion

描述

Currently operators like "+" are defined such that they match their semantics in JS. The below are all allowed by the compiler and produce the shown values, even with --strictNullChecks on.

  • 2 + 'a' => "2a"
  • null + 'a' => "nulla" (!)
  • 2 - null => 2

I propose letting users opt in (maybe via some --strictOperators) to strict operator behavior. Concretely I think this means:

  • restrict +, and += to just number and string, e.g. for the former only declare

    function +(a: number, b: number): number;
function +(a: string, b: string): string;

  • restrict - and -= to just number

(any should continue to work as normal, of course.)

Relevant spec section: https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#419-binary-operators

See also "Expression operators" in the strictNullTypes change: https://github.com/Microsoft/TypeScript/pull/7140 and in particular this rationale: https://github.com/Microsoft/TypeScript/pull/7140#issuecomment-186432250

This would fall under of "stricter" TypeScript, https://github.com/Microsoft/TypeScript/issues/274 .

貢獻者指南

技術棧
typescript
領域
developer experience
議題類型
feature
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
4
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
over 1 week
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
stale
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
clear
前置要求
TypeScript type systemcompiler architecturestrictNullChecks implementation
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
15
研究方向
Review the TypeScript specification section on binary operators (https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#419 binary operators). Examine the existing strictNullChecks implementation in PR #7140 and the related rationale in the comments. Understand the compiler's type checking for operators in the checker.ts file. Propose a design that extends the strict mode to include operator restrictions while maintaining compatibility with 'any' type.