TYPE INFERENCE - 日本語 への翻訳

• 型推論

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

However, thanks to Haskell's type inference, the parameters of the function, xs and ys, are guaranteed to be comparable lists.
でも、Haskellの型推論のおかげで、関数の引数であるxsとysは比較できるリストであることが保証されます。

The auto attribute is used when there are no other attributes and type inference is desired.
Auto属性は、他の属性がなく、型推論を行いたいときに使用します。

Code that uses type inference resembles code that relies on late binding.
型の推定を使用するコードは、遅延バインディングに依存するコードに似ています。

The Java community has been debating the concept adding type inference to Java 7 the last few weeks.
Javaコミュニティは、Java7にtypeinferenceを追加するというテーマについて、この数週間、討論している。

In addition, the API is designed with TypeScript type inference in mind.
さらに、APIはTypeScript型推論を考慮して設計されます。

Local values within a function can be defined using type inference.
関数内のローカルの値は型推論を使って定義してもよい。

The other big feature is the tsql interpolator that allows static verification and type inference for embedded SQL statements.
もうひとつの大きな機能はtsqlinterpolatorで,組込みSQL文の静的検証と型推論が可能になります。

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!
賢いことに、たぶん賢すぎることに、OCamlの型推論エンジンはpop,sizeメソッドを持つ任意のオブジェクトで動作するdrain_stackを推論した!

All of the features given so far- rich data types, pattern matching, type inference, nested functions- you could imagine could exist in a kind of"super C" language.
これまでに教えた機能をあまさず使うことを考えれば-豊富なデータ型、パターンマッチング、型推論、入れ子関数-これはもう、"超C言語"みたいに思えてくる。

Type inference is only possible if the assigned value has a defined type, otherwise it will raise an error.
型推論が可能なのは、割り当てられた値に型が定義されている場合だけです。定義されていない場合は、エラーが発生します。

Nevertheless you should look at these programs and try and find out(1) how they work, and(2) how type inference is helping you to eliminate bugs.
そうすれば、(1)どう動くか(2)型推論がどれほどバグをつぶすのに役立つかがわかるはずだ。

Such discussion raises the question of whether Java 7 should keep Java the language in its current form or add additional language constructs such as type inference and closures.
そのような議論が、Java7が現在の形を維持するべきか、typeinferenceやクロージャーのように言語構造を追加するのかといった問題を盛り上げているのだ。

While these are similar to what we already have in C, there are minor enhancements such as support for extension methods and improved type inference.
これらは、Cがすでに持っているものに似ているが、拡張メソッドや改善された型推論のサポートのような小さな機能改善もある。

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.
欲しいのはintのスタックであって他の何者でもないのだから、ここでは、型推論エンジンに対して一般的な「任意のリスト」ではなく実際にはもっと狭い「intのリスト」ということを伝えている。

In this specific case, the availability of several million lines of Java code allowed choices of implementation(in this case, the type inference for the diamond operator) as to their effects on an existing codebase.
そこで取り上げられたケースでは，数百万行に及ぶJavaコードを使用することによって，実装の選択(記事ではダイアモンド演算子に対する型推論)が既存コードベースに対して与える影響の測定が実現できている。

This is actually not such a serious problem because if you accidentally tried to use Open in the type context of a lock, then OCaml's wonderful type inference would immediately spot the error and you wouldn't be able to compile the code.
というのも、もし誤ってOpenをlockの型の文脈で使おうとしても、OCamlのすばらしい型推論が、エラーを即座に発見するので、コードをコンパイルできないからだ。と、ここまではほとんどCみたいだ。

I can only guess that this type inference problem is a problem that needs to be solved by the Scala compiler itself by treating sequential composition and parallel composition(product) as a first-class constuct in the type system.
飽くまで憶測にすぎないが、この型推論の問題はScalaコンパイラそのものが逐次的合成と並列合成(積)を型システムの一級市民として取り扱わないと解決しない問題なんじゃないだろうか。

This is actually not such a serious problem because if you accidentally tried to use Open in the type context of a lock, then OCaml's wonderful type inference would immediately spot the error and you wouldn't be able to compile the code.
実のところ、これはたいした問題にはならない。というのも、もし誤ってOpenをlockの型の文脈で使おうとしても、OCamlのすばらしい型推論が、エラーを即座に発見するので、コードをコンパイルできないからだ。

Type inference is obviously easy for such a short program,
型推論はこれくらい短いプログラムだととても簡単ですが、大きなプログラムであってもちゃんと動きます。型推論は、他の言語で良くありがちなセグメントフォールトやNullPointerExceptions,

Hindley-Milner type system with type inference.
Hindley-Milner型システム。