typechecking
Cで強力な型チェックを実施します（typedefの型の厳密さ）
Python変数の型をチェックするための最善の（慣用的な）方法は何ですか？
変数がJavaScriptの日付であるかどうかを確認する方法はありますか？
Python-オブジェクトが特定のモジュールのクラスのインスタンスであるかどうかを確認します
isinstance（foo、bar）vs type（foo）is bar
（Swiftで）オブジェクトの種類をどのように見つけますか？
isinstanceを使用してUnicode文字列をテストします
Android Studioの「タイプの予期されるリソース」チェック？
Swift-特定のクラスのサブクラスであるプロトコルを実装するクラスを要求する
TypeScript：コンパイル時に型チェックのために固定サイズの配列を宣言する方法
pycharm型チェッカーは型dictを期待し、代わりに「なし」を取得しました
Python 3.6で実行時に変数をUnionタイプに対してチェックします
列に混合dtypeがあるかどうかをチェックする効率的な方法はありますか？
Haskellはいつ関数の誤ったタイピングについて不平を言っていますか？
ESLintがTypeScriptコンパイラのタイプチェックエラーを報告しない