日本語 での 型推論 の使用例とその 英語 への翻訳
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Programming
コンパイル時に型推論によってエラーが通知されるから。
パターンマッチング、型推論、入れ子関数-。
Scalaの場合はimplicitと型推論だけで結構いける。
In Scala, implicits and type inference take us pretty far.型推論型推論は、最終的にコードのノイズを減らします。
Type inference Type inference ultimately reduces noise in the code.型推論やパターンマッチングはMLにさかのぼることができると思う。
Type inference and pattern matching I am guessing goes back to ML.Combinations with other parts of speech
ともかく、これが最初の本当に凄い特徴です。型推論。
Anyway, here's the first really cool feature: type inference.型推論と型安全。
Versing and type safety.Scalaのmapまで来ると、型推論のせいでその関係すら消えてしまう。
By the time we get to map in Scala, we lose that because of type inference.また、Delphiには、インライン変数宣言、型推論など、新しい言語機能が加わっています。
Delphi developers cannow enjoy inline variable declaration, type inference, and more.これは非常に危険で、OCamlの型推論アルゴリズムに連鎖的な影響をもたらす可能性があります。
This is quite dangerous andcan have cascading effects in OCaml's type inference algorithm.静的型付けや型推論も提供するんだけども、だいたいどのようなJavaScriptを出力するのかを推測することができる。
It does add static 型推論私たちが初期値を提供できるインスタンスは、型を推論できるため、型を特定する部分を飛ばすことができます。
Type inference In instances where we can provide an initial value, we can skip the コンパイル時に型推論によってエラーが通知されるから決してコンパイルできないだろう。
Such an error would be flagged at compile time, by type inference, and so could never be compiled.Kotlinは強力な型システムを持ち、型推論、null安全性、プロパティ、ラムダ拡張、コルーチン、高次関数などを備えている。
Kotlin offers a strong Java10がリリースされたとき、主要なIDEはすべて、数日で新しいローカル変数型推論機能を含むJava10をサポートしました。
When Java 10 was released, all the major IDEs had Java 10 support,including the new local-variable type inference feature within days.賢いことに、たぶん賢すぎることに、OCamlの型推論エンジンはpop,sizeメソッドを持つ任意のオブジェクトで動作するdrain_stackを推論した!
Cleverly- perhaps too cleverly- OCaml's type inference engine has worked out that drain_stack works on any object which has pop and size methods!これまでに教えた機能をあまさず使うことを考えれば-豊富なデータ型、パターンマッチング、型推論、入れ子関数-これはもう、"超C言語"みたいに思えてくる。
All of the features given so far- rich data Java10がリリースされたとき、主要なIDEはすべて、数日で新しいローカル変数型推論機能を含むJava10をサポートしていました。
When Java 10 was released, all the major IDEs had Java 10 support,including the new local-variable type inference feature within days.欲しいのはintのスタックであって他の何者でもないのだから、ここでは、型推論エンジンに対して一般的な「任意のリスト」ではなく実際にはもっと狭い「intのリスト」ということを伝えている。
However we want a stack of int, not anything else,and so in this case we want to tell the type inference engine that this list isn't the general"list of anything" but is in fact the narrower"list of int.そこで取り上げられたケースでは，数百万行に及ぶJavaコードを使用することによって，実装の選択(記事ではダイアモンド演算子に対する型推論)が既存コードベースに対して与える影響の測定が実現できている。
In this specific case, the availability of several million lines of Javacode allowed choices of implementation(in this case, the type inference for the diamond operator) as to their effects on an existing codebase.型推論とGenerics。
Type Declarations and Generics.Unapplyを用いた型推論の強制。
Coercing type inference using Unapply.Cには型推論がある。
C has type inference.突然型推論が崩れてしまった。
The type inference broke down all 部分的ユニフィケーションを用いた型推論の強制。
Next Page❧ Coercing type inference using partial unification.猫番-Unapplyを用いた型推論の強制。
Herding cats- Coercing type inference using Unapply.猫番-部分的ユニフィケーションを用いた型推論の強制。
Herding cats- Coercing type inference using partial unification.型推論はこれくらい短いプログラムだととても簡単ですが、。
Type inference is obviously easy for such a short program, but it works.さらに、APIはTypeScript型推論を考慮して設計されます。
In addition, the API is designed with TypeScript type inference in mind.ここでもfixを提供して型推論が動作するようにした。
Fix is provided so that the type inference works.
