TypeScriptはgradual typingシステムか - Qiita

概要 TypeScriptは，動的型付けシステムであるJavaScriptに静的型システムによる検査を部分的に導入できるプログラミング言語であり，gradual typing （漸進的型付け）システムであるとされることがあります．Siekらは，動的型付けと静的型付けの融合を図るシステム全般が無闇にgradual typingを名乗ることを疑問視して，gradual typingシステムが満たすべき基準を提案しました．本稿では，この基準に照らしてTypeScriptがgradual typingの条件を満たしていないことを指摘します．特に，ランタイムの型チェックを行わないというTypeScriptのデザインが，gradual typingの意味での健全性を明らかに阻害しています． 1 背景 ソフトウェア開発が大規模化する状況において，コード品質の担保や開発速度の維持は重要な課題です．静的型付

[todesking]

TSのanyは動的なチェックすら行わないのでgradual typingじゃないのではという話

[igrep]

そりゃランタイムチェックなんてしてたら効率悪いわなぁ。世にある契約プログラミングフレームワークみたいに設定でon/offできるならともかく