日本語 での 型付け の使用例とその 英語 への翻訳
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Programming
子供のための簡単な型付け。
Scalaのための漸進的型付け。
Gradual Typing for Scala.静的型付けGDScript¶。
Static typing in GDScript¶.Fは、静的型付け言語です。
F is a strongly typed language.このプログラミングのスタイルは静的型付けとよばれています。
This style of programming is called static typing.動的型付けJavaScriptは弱い型付けあるいは動的型付けの言語です。
Dynamic typing JavaScript is a loosely typed or a dynamic language.このプログラミングのスタイルは動的型付けと呼ばれています。
This style of programming is called dynamic typing.うまくいけば、我々の漸進的型付けの取り組みがこれらの言語に影響を与えるでしょう。
Hopefully our work on gradual typing will influence these languages.速度のためのカードを作成するには日付アクティビティ,私は型付け20Publisherファイルに番号。
To create cards for the speed dating activity, I typed up 20 numbers into a Publisher file.手術の日、一応の型付けと傷口乾燥のため、仮のテープを耳に付けて戻る。
Day of surgery, and wound dry for typing once, heard the tapes back with a temporary.C4.0ではdynamiclookupが導入され、開発者は動的型付けのオブジェクトを宣言できるようになっている。
手術の日、一応の型付けと傷口乾燥のため、仮のテープを耳に付けて戻る。
Day surgery for the wound dry and typing once, heard the tapes back with the provisional.これが静的型付けの要点です--コンパイラはいつでもコンパイル時にすべての変数のスコープを知るのです。
This is the main point of static typing- the compiler always knows the scope of every variable at compile time.手術の日、一応の型付けと傷口乾燥のため、仮のテープを耳に付けて戻る。
Day of surgery, the wound dry for typing and prima facie, to return with a preliminary hearing the tape.強い型付け:それぞれのレベルのGraphQLクエリは特定の型に対応し、それぞれの型は可能なフィールドセットを示します。
Strongly typed: Each level of a GraphQL query corresponds to a particular type, and each type describes a set of available fields.たとえば、ブラウザの互換性、静的型付け、アクセシビリティ、パフォーマンスなどの問題があります。
Some of these include browser compatibility, static typing, accessibility, and performance.セマンティクスは、入力プログラム（またはコード）が従わなければならないさまざまな規則であり、適切な変数の処理や型付けなどです。
Semantics are the various rules by which the input program(or code) must abide by,such as proper variable handling and typing.モジュール、例外処理、動的型付け、高レベルの動的なデータ型、クラスを含みます。
It incorporates modules, exceptions, dynamic typing, very high-level dynamic data types, and classes.静的型付け言語から動的型付け言語に移行する際に理解するのが最も難しい概念の1つは、ダック・タイピングです。ダック・。
One of the most difficult concepts to grasp when moving from a statically typed language to ScalaあるいはJavaなどの、静的型付け言語によるアプリケーションサーバの開発経験。
Development Experience of the application server using static typed languages such as Scala or Java.強い型付け:それぞれのレベルのGraphQLクエリは特定の型に対応し、それぞれの型は可能なフィールドセットを示します。
Strong typification: Each level of a GraphQL query corresponds to a specific type, with each type describing a set of available fields.AppleのSwiftは、Objective-Cと互換性を持つ様に設計された静的言語ですが静的型付けによりエラーを起こし難くなっています。
Apple's Swift is a static language designed to be compatible with Objective-C,but it is hard to cause errors by static typing.この強力な型付けとオブジェクトの向きは、TypeScriptのデバッグと保守を容易にします。これらは標準のJavaScriptの最も弱い2つのポイントです。
This strong typing and object orientation makes TypeScript easier to debug and maintain, and those were two of the weakest points of standard JavaScript.AppleのSwiftは、Objective-Cと互換性をもつように設計された静的言語だが、静的型付けによりエラーを起こし難くなっている。
Apple's Swift is a static language designed to be compatible with Objective-C,but it is hard to cause errors by static typing.私のこれまでの研究では、動的型付け*1と静的型付け*2を組み合わせることで、プログラムのバグをできるだけ検出しつつ容易で迅速に使える検証システムの研究を行ってきました。
My research so far hasbeen on a verification system that combines dynamic typing*1 and static typing*2 to detect program bugs as far as possible, while being simple and quick to use.また、これはたくさんある落し穴を避けますが、それでもまだJavaScriptの弱い型付けシステムから発生する色々な課題が残っています。
Although this avoids a lot of common pitfalls,there are still many further issues that arise from JavaScript's weak typing system.Pythonは、洗練された文法・動的なデータ型付け・インタープリタであることなどから、スクリプティングや高速アプリケーション開発(RapidApplicationDevelopment:RAD)に理想的なプログラミング言語となっています。
Python's elegant syntax and dynamic typing, together with its interpreted nature, make it an ideal language for scripting and rapid application development in many areas on most platforms.過去20年間、新しくプログラミング言語をつくるときの人気のレシピは、基本的にはCモデルを採用して、Lispモデルから断片的に動的型付けやガベージコレクションのようなパーツを取ってきてくっつけるというものだった。
A popular recipe for new programming languages in the past 20 years has been to take the C model of computing and add to it, piecemeal, parts taken from the Lisp model,like runtime typing and garbage collection.これは良い点です！静的型付けの支持者は、1実際にはそんな多くプログラムを変更する必要はない、または2型チェッカーにあうように変更することがそのプログラムをより良く構造化されたものにする、のどちらかを主張するでしょう。
Fans of static typing will argue that either 1 you don't really need to change your program very much, or 2 by changing your program to fit the type checker, your program will become better structured.CXは非常に強い型付けシステムに従っており、予想される型ではない引数は、アフォーダンスのアクションの候補と見なすべきではありません(回避策は、アフォーダンスとして表示される前にこれらの引数をキャスト関数で囲みます)。
CX follows a very strict typing system, and arguments that are not exactly of the expected type should not be considered as candidates for affordances' actions although a workaround is to wrap these arguments in cast functions before being shown as affordances.
