論文の概要: Do Developers Read Type Information? An Eye-Tracking Study on TypeScript
- arxiv url: http://arxiv.org/abs/2602.04824v1
- Date: Wed, 04 Feb 2026 18:12:59 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-05 19:45:11.676564
- Title: Do Developers Read Type Information? An Eye-Tracking Study on TypeScript
- Title（参考訳）: 開発者は型情報を読むか? TypeScriptのアイトラッキング調査
- Authors: Samuel W. Flint, Robert Dyer, Bonita Sharif,
- Abstract要約: 静的アノテーション付き型は、開発者が多くのプログラミングタスクを行うのに役立つことが示されている。
これは、開発者がインコードドキュメンテーションとして型アノテーションを使っているためであると仮定されている。
- 参考スコア（独自算出の注目度）: 4.249448869949738
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Statically-annotated types have been shown to aid developers in a number of programming tasks, and this benefit holds true even when static type checking is not used. It is hypothesized that this is because developers use type annotations as in-code documentation. In this study, we aim to provide evidence that developers use type annotations as in-code documentation. Understanding this hypothesized use will help to understand how, and in what contexts, developers use type information; additionally, it may help to design better development tools and inform educational decisions. To provide this evidence, we conduct an eye tracking study with 26 undergraduate students to determine if they read type annotations during code comprehension and bug localization in the TypeScript language. We found that developers do not look directly at lines containing type annotations or type declarations more often when they are present, in either code summarization or bug localization tasks. The results have implications for tool builders to improve the availability of type information, the development community to build good standards for use of type annotations, and education to enforce deliberate teaching of reading patterns.
- Abstract（参考訳）: 静的アノテーション付き型は、開発者が多くのプログラミングタスクを行うのに役立つことが示されている。
これは、開発者がインコードドキュメンテーションとして型アノテーションを使っているためであると仮定されている。
本研究では,開発者がコード内ドキュメントとして型アノテーションを使用していることを示すことを目的としている。
この仮説的な使用を理解することは、どのようにして、どのような状況において、開発者が型情報を使うかを理解するのに役立つ。
この証拠として、26人の大学生を対象に、TypeScript言語におけるコード理解とバグローカライゼーションの間、型アノテーションを読み取るかどうかを視線追跡調査した。
コード要約やバグローカライゼーションのタスクにおいて、型アノテーションや型宣言を含む行を直接見ていないことが分かりました。
その結果、ツールビルダーが型情報の可用性を向上させること、型アノテーションを使用するための優れた標準を構築すること、リードパターンの故意な教えを強制すること、といったことが示唆された。
関連論文リスト
- Type-Less yet Type-Aware Inductive Link Prediction with Pretrained Language Models [47.6332883113148]
サブグラフベースの帰納的リンク予測のためのタイプレス型-awaReアプローチであるTyleRを紹介する。
我々は、TyleRが、少ない型アノテーションとスパースグラフ接続を持つシナリオにおいて、最先端のベースラインよりも優れていることを示す。
論文 参考訳（メタデータ） (2025-09-30T13:23:02Z) - Type-Constrained Code Generation with Language Models [51.03439021895432]
本稿では,型システムを利用してコード生成を誘導する型制約デコード手法を提案する。
そこで本研究では,新しい接頭辞オートマトンと,在来型を探索する手法を開発し,LLM生成コードに適切な型付けを強制するための健全なアプローチを構築した。
提案手法は,コード合成,翻訳,修復作業において,コンパイルエラーを半分以上削減し,機能的正しさを著しく向上させる。
論文 参考訳（メタデータ） (2025-04-12T15:03:00Z) - Toward a Corpus Study of the Dynamic Gradual Type [0.0]
本稿では,mypy型チェッカーを使用する221のGitHubプロジェクトを対象とする,Pythonの動的型に関する社内調査について報告する。
この研究は、動的型のための8つのパターンを明らかにし、このパターンは、mypy型システムの今後の改良や、正確な型アノテーションを促進するためのツールサポートに影響を及ぼす。
論文 参考訳（メタデータ） (2025-03-11T22:18:51Z) - How Do Developers Use Type Inference: An Exploratory Study in Kotlin [3.382017614888546]
KotlinはAndroid開発のデフォルト言語であり、最大のソフトウェアマーケットプレースのひとつです。
ソフトウェアリポジトリをマイニングするツールであるBoaを用いて,大規模な実証的研究を行う。
この結果,ローカル変数や変数に対して,ファイル外でメソッド呼び出しが宣言される場合,型推論が頻繁に使用されることがわかった。
論文 参考訳（メタデータ） (2024-10-30T18:07:21Z) - Understanding How CodeLLMs (Mis)Predict Types with Activation Steering [6.975009142727399]
研究によると、Large Language Models (LLM) はプログラムのセマンティクスを深く理解していないことが多い。
本研究では,タイプ予測の課題について検討する。
ステアリングがPythonとTypeScriptで共有される型予測メカニズムをうまく起動することを示す。
論文 参考訳（メタデータ） (2024-04-02T12:44:44Z) - Generative Type Inference for Python [62.01560866916557]
本稿では静的解析から静的ドメイン知識を取り入れた数ショットの生成型推論手法であるTypeGenを紹介する。
TypeGenは、静的解析の型推論ステップを、型依存グラフ(TDG)に基づいたプロンプトに変換することで、COTプロンプトを生成する。
実験の結果、TypeGenは引数型予測では10.0%、Top-1 Exact Matchでは22.5%で最高のベースラインであるType4Pyを上回っている。
論文 参考訳（メタデータ） (2023-07-18T11:40:31Z) - TypeT5: Seq2seq Type Inference using Static Analysis [51.153089609654174]
本稿では,型予測をコード入力タスクとして扱う新しい型推論手法を提案する。
本手法では静的解析を用いて,型シグネチャがモデルによって予測されるコード要素毎に動的コンテキストを構築する。
また,モデルの入力コンテキストに事前の型予測を組み込んだ反復復号方式を提案する。
論文 参考訳（メタデータ） (2023-03-16T23:48:00Z) - Do Machine Learning Models Produce TypeScript Types That Type Check? [2.1365083849371747]
任意の型予測モデルで使用可能なTypeScriptの型マイグレーションツールであるTypeWeaverを紹介します。
我々は、再帰型ニューラルネットワークのDeepTyper、グラフニューラルネットワークのLambdaNet、汎用多言語トランスフォーマーのInCoderの3つのモデルでこれを評価した。
最高の型予測モデルでは、パッケージの21%の型チェックしかありませんが、もっと励ましく言えば、ファイルの69%が型チェックを成功させています。
論文 参考訳（メタデータ） (2023-02-23T16:59:38Z) - Annotation Curricula to Implicitly Train Non-Expert Annotators [56.67768938052715]
自発的な研究は、しばしば、アノテータがタスク、そのアノテーションスキーム、およびデータドメインに精通することを要求する。
これは最初は圧倒的であり、精神的に課税され、結果として生じるアノテーションにエラーを誘導する。
暗黙的にアノテータを訓練する新しい手法であるアノテーションキュリキュラを提案する。
論文 参考訳（メタデータ） (2021-06-04T09:48:28Z) - LambdaNet: Probabilistic Type Inference using Graph Neural Networks [46.66093127573704]
本稿では,グラフニューラルネットワークに基づくTypeScriptの確率型推論手法を提案する。
弊社のアプローチでは、数値や文字列などの標準型と、トレーニング中に遭遇していないユーザ定義型の両方を予測できる。
論文 参考訳（メタデータ） (2020-04-29T17:48:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。