WEKO3
-
RootNode
アイテム
Rubyに対するGradual typingの導入に向けて
https://ipsj.ixsq.nii.ac.jp/records/222480
https://ipsj.ixsq.nii.ac.jp/records/222480ff6bf6fe-812c-4e20-a69e-10655e922ad3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WPRO2017022.pdf (409.8 kB)
|
Copyright (c) 2017 by the Information Processing Society of Japan
|
| Item type | Symposium_02(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-01-06 | |||||||||
| タイトル | ||||||||||
| タイトル | Rubyに対するGradual typingの導入に向けて | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Toward the introduction of Gradual typing for Ruby | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | Ruby，Type system，Gradual typing | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 電気通信大学;;電気通信大学;;電気通信大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| The University of Electro-Communications;;The University of Electro-Communications;;The University of Electro-Communications | ||||||||||
| 著者名(英) |
丹治, 将貴 中野 圭介 岩崎 英哉
× 丹治, 将貴 中野 圭介 岩崎 英哉
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | プログラミング言語Rubyは，広く使用されている動的型付け言語である．Rubyは実行時に型チェックを行うため，プログラムを実行し型エラーを含む部分に実行が及ばなければ型エラーは報告されない．このため，プログラム中に型エラーによるバグが潜在的に残り，バグの発見が遅れたり，バグを見逃したりする要因となっている．このような動的型付けの欠点を補う方法としてGradual typingが提案されている．Gradual typingとは，型注釈の有無により型付けの手法が異なるような型システムである．型注釈がある部分については静的に型付けをし，実行前に型チェックを行う．型注釈がない部分については動的型として型付けをし，実行時に型チェックを行う．本研究の目的は，Rubyの動的型付けによる柔軟性を残しつつ，プログラムの型エラーによるバグの発見を容易にすることである．その方針として，RubyにGradual typingを導入することで，静的型エラーの検出と，Rubyの柔軟性を両立させることを目指す．本発表では，Gradual typingに基づく動的型と型注釈の構文を加えたRubyのサブセットを考え，そのサブセットについて型付け規則を与える．さらにその正当性を示し，実装に向けての基本的な考え方を示す． | |||||||||
| 書誌情報 | 巻 2017, p. 151-164 | |||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
