| Item type |
Trans(1) |
| 公開日 |
2018-06-26 |
| タイトル |
|
|
タイトル |
変数名は型を知っているべき |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Variable Names Must Know Types |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[発表概要] |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者所属 |
|
|
|
横浜国立大学大学院 |
| 著者所属 |
|
|
|
横浜国立大学大学院 |
| 著者所属 |
|
|
|
横浜国立大学大学院 |
| 著者所属 |
|
|
|
横浜国立大学大学院 |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Electronic and Computer Engineering, Yokohama National University |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Electronic and Computer Engineering, Yokohama National University |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Electronic and Computer Engineering, Yokohama National University |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Electronic and Computer Engineering, Yokohama National University |
| 著者名 |
坪井, 良介
各務, 裕太
山口, 大輔
倉光, 君郎
|
| 著者名(英) |
Ryosuke, Tsuboi
Yuta, Kakami
Daisuke, Yamaguchi
Kimio, Kuramitsu
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
型推論は，構文パターンから型を推論する方法で，型アノテーションなしで静的型付けを実現する．ただし，構文パターンからの型推論はアルゴリズムが複雑になりがちですべての言語に採用しにくい問題がある．本発表は，よりお手軽に型推論を実現するため，名前からの型推論を提案する．まず，実際のソース・コードを解析し，型と名前の法則性を調べる．それに基づき，名前からの型を推論するシステムと言語設計を定義した．我々は，これらのアイディアを関数型スクリプト言語konoha 5λに実装し，その使いやすさを検証し報告する． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Type inference is a way to infer a type from a syntactic pattern and realizes static typing without a type annotation.However, type inference from a syntax pattern tends to make the algorithm complicated and it is difficult to apply to all languages.In this paper, we propose type inference from a name to realize type inference easier.First, we analyzed the actual source codes and investigated the rules of types and names.Based on that, we defined the system and language design to infer the type from the name.We implemented these ideas in the functional script language konoha 5λ and experimented its usability. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11464814 |
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO）
巻 11,
号 2,
p. 22-22,
発行日 2018-06-26
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7802 |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-TPRO1102006.pdf (84.9 kB)
