TYPE CHECKING - 日本語 への翻訳

• 型チェックを
• タイプチェック

英語 での Type checking の使用例とその 日本語 への翻訳

The switch to TypeScript provides better type checking and useful error messages displayed inside the IDE.
TypeScriptにスイッチすることで,型チェックや,IDE内に表示されるエラーメッセージの有用性が向上した。

Also sharply stronger type checking by writing your code, improve productivity and quality.
また、強力な入力チェック機能により、あなたの書くコードは激減し、生産性と品質を向上させます。

Dynamic type checking makes it easy to deal with situations where the type of a value depends on runtime information.
動的型チェックは、値の型が実行時の情報に依存するといった状況に対応するのを簡単にします。

Complex type constructors often can not be used to infer type checking, so they are often used with Cast.
ただし複雑な型コンストラクタは型のチェックも上手く行えないことが多いのでCastと一緒に使うことが多いです。

As its tagline,“faster safer easier”, it provides type checking and optimization to JavaScript programmers.
JSXの宣伝文句である”fastersafereasier”の通りに、JavaScriptのプログラムに型チェックと最適化をもたらしてくれます。

The JavaScript language resembles Java but does not have Java's static typing and strong type checking.
JavaScript言語はJavaと共通点がありますが、Javaのような静的型付けと強い型検査を持っていません。

Dart 2.1 provides smaller code sizes, faster type checking, and better diagnostics.
Dart2.1はより小さなコードサイズ、高速な型チェック、より良い診断を提供する。

Variants are straightforward, but inefficient and lack type checking.
Variantを使うのは直接的ですが、非効率ですし型チェックの欠如が問題です。

Dynamic type checking doesn't get in your way: you can immediately run your program without first having to change your program into a form that the type checker will accept.
動的型チェックはやりたいことを邪魔しません:型チェッカーが受け入れるフォームへまずプログラムを変える必要がなく、そのプログラムをすぐに実行できます。

TypeScript also added an intra-project incremental build API which can update files which change or those with dependencies that could impact type checking.
それと合わせて,変更されたファイルと,型チェックに影響する可能性のある依存関係を持つファイルを更新することの可能な,プロジェクト内ビルドAPIも追加された。

Static and dynamic type checking The static analysis phase checks aspects of the query such as syntax, whether external references(e.g. for modules) exist, whether invoked functions and variables are defined, and so on.
静的および動的な型のチェック静的分析フェーズは、外部レファレンスの存在(例、モジュールのため)、呼び出された関数と変数が定義済みであるか、など構文などのクエリのアスペクトをチェックします。

As the input stream may have an inferred schema where existing columns and column types might change in every batch, there is no name or type checking done with respect to the referenced streams.
入力のストリームは各バッチで列や列の型が変化し、スキーマが推論される場合があるため、参照したストリームについては名前や型のチェックは行いません。

Schema-on-read is similar to dynamic(runtime) type checking in programming languages, whereas schema-on-write is similar to static(compile-time) type checking.
スキーマオンリードは、プログラミング言語における動的（実行時の）型チェックに似ており、一方でスキーマオンライトは静的（コンパイル時の）型チェックに似ています。

In both cases, despite the code size reduction, the resulting F program improved logging, readability and reliability(due in part to static type checking).
両方ともコードの量が減ったにもかかわらず、完成したFプログラムでは、ログ、読みやすさ、信頼性が向上しました(静的な型チェックにもよる)。

In a formal sense, this can be done, and has been, but the resulting system has little in common with type checking as practitioners would recognise it.
形式的な感覚では、実行可能そうに、あるいは実行されてきたように見えますが、得られるシステムは、専門家が認識するような型チェックと似たところはほとんどありません。

strict MIME type checking is enabled.
andstrictMIMEtypecheckingisenabled.とエラーがでて実行できませんでした。

Dart 2.1 also brings new language features, such as improved mixin support through a new mixin keyword for classes that can only be used as mixins; stricter type checking to prevent passing an int where a double is expected; new HTTP status codes; and more.
またDart2.1は、mixinとしてしか利用できない、クラスのための新しいmixinキーワードによるmixinサポート改善や、doubleが期待されるところでintを渡せないようにする厳格な型チェック、新しいHTTPステータスコードなどなど、新しい言語機能を提供する。

Perform lots of extra type checks.
より多くの型検査を行なう。

If you want to overrule all default file type checks.
デフォルトのファイルタイプの検査をくつがえす。

In the Name field type Check Language.
名前フィールドに、「言語をチェック」と入力します。