InfoQ ホームページ TypeInference に関するすべてのコンテンツ
ニュース
RSSフィード-
Flowタイプチェッカーはただの型付きのJavaScriptではなく、今やFacebookのニーズを満たす中核を担う
FacebookのFlowチームをサポートするエンジニアリングマネージャーのVladan Djeric氏は、Flowタイプチェッカーが単なる型付けされたJavaScriptを超えるもので、Facebookの内部ユーザーニーズをベースにした新機能を導入することを発表した。Flowでは、特に、大規模で複雑なコードベースで高速かつ適切なタイプチェックを提供することに注力している。Flowのビジョンは、TypeScriptのビジョンとは対照的だ。TypeScriptは型のシンタックスを備えたJavaScriptである。
-
NumPy 1.20が実行時SIMDサポートと型アノテーションを加えリリースされた
新しくリリースされたNumPy 1.20は、パフォーマンスとドキュメントの改善を特徴としている。開発者は、NumPy関数に型アノテーションを使用できるようになった。SIMD（単一命令、複数データ）命令を幅広く使用すると、ユニバーサル関数（ufunc）の実行速度が向上する。NumPyのドキュメントには、さらに大きな改善が見られた。
-
Typescript 4.2 リリース。型と開発者エクスペリエンスが向上
TypeScriptチームは、TypeScript 4.2のリリースを発表した。これは、より柔軟な型注釈、より厳密なチェック、追加の構成オプション、およびいくつかの重大な変更を特徴としている。タプル型では (最後の位置だけでなく) 任意の位置に残余引数を使用できるようになった。型エイリアスは型エラーメッセージで拡張されなくなり、開発者のエクスペリエンスが向上している。
-
Java 10でラムダが強化される可能性あり
新しいJEPには、より明確な曖昧さ回避、未使用パラメータのアンダースコアの使用、外部変数のシャドウイングなど、ラムダ機能の強化が提案されている。これらの変更によって、Javaのラムダが他の言語のラムダに近づくことになるが、現状、コミュニティの意見が分かれているようである。このJEPは、Java言語を改善するための、他の一連の提案を補完しており、ローカル変数型の推論と拡張された列挙型を含む。
-
Javaの列挙型が明確な型付けをサポート
Javaの列挙型がジェネリクスをサポートし、個々の項目にメソッドを追加する機能が追加された。これは新たなJEPで公開されている。どちらの機能も、一緒にバンドルされているため、1回のアップデートで提供される。この変更はJavaコンパイラのみに影響を与えるため、ランタイムの変更は必要ない。ターゲットとするバージョンはないが、おそらくJava 10になるであろう。
-
Javaの型推論は変更可能性の仕様をサポートしない
Javaの型推論は、 ミュータブルな変数とイミュータブルな変数の区別をサポートしない予定である。ミュニティ内でこれをどのように実装すべきであるか合意を欠いているためだ。また、込み入ったケースに長く議論することを防ぐために、このようなケースのいくつかは簡潔にするために除外される予定である。JEPは対象バージョンを示していないが、Java 10の可能性が高いだろう。