• 検索結果がありません。

変数名は型を知っているべき

N/A
N/A
Protected

Academic year: 2021

シェア "変数名は型を知っているべき"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)情報処理学会論文誌. プログラミング. Vol.11 No.2 22 (June 2018). 発表概要. 変数名は型を知っているべき 坪井 良介1,a). 各務 裕太1. 山口 大輔1. 倉光 君郎1. 2017年11月1日発表. 型推論は,構文パターンから型を推論する方法で,型アノテーションなしで静的型付けを実現する.た だし,構文パターンからの型推論はアルゴリズムが複雑になりがちですべての言語に採用しにくい問題が ある.本発表は,よりお手軽に型推論を実現するため,名前からの型推論を提案する.まず,実際のソー ス・コードを解析し,型と名前の法則性を調べる.それに基づき,名前からの型を推論するシステムと言 語設計を定義した.我々は,これらのアイディアを関数型スクリプト言語 konoha 5λ に実装し,その使い やすさを検証し報告する.. Variable Names Must Know Types Ryosuke Tsuboi1,a). Yuta Kakami1. Daisuke Yamaguchi1. Kimio Kuramitsu1. Presented: November 1, 2017. 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.. 1. a). 横浜国立大学大学院 Graduate School of Electronic and Computer Engineering, Yokohama National University, Yokohama, Kanagawa 240– 8501, Japan [email protected]. c 2018 Information Processing Society of Japan . 22.

(2)

参照

関連したドキュメント

小林 英恒 (Hidetsune Kobayashi) 計算論理研究所 (Inst. Computational Logic) 小野 陽子 (Yoko Ono) 横浜市立大学 (Yokohama City.. Structures and Their

静岡大学 静岡キャンパス 静岡大学 浜松キャンパス 静岡県立大学 静岡県立大学短期大学部 東海大学 清水キャンパス

The purpose of the Graduate School of Humanities program in Japanese Humanities is to help students acquire expertise in the field of humanities, including sufficient

訪日代表団 団長 団長 団長 団長 佳木斯大学外国語学院 佳木斯大学外国語学院 佳木斯大学外国語学院 佳木斯大学外国語学院 院長 院長 院長 院長 張 張 張 張

静岡大学 静岡キャンパス 静岡大学 浜松キャンパス 静岡県立大学 静岡県立大学短期大学部 東海大学 清水キャンパス

・宿泊先発行の請求書または領収書(原本) 大学) (宛 名:関西学院大学) (基準額を上限とした実費

Introduction to Japanese Literature ② Introduction to Japanese Culture ② Changing Images of Women② Contemporary Korean Studies B ② The Chinese in Modern Japan ②

Bringing together singers from four international schools in Korea and Japan—SOIS, Seoul International School (SIS), Korea International School (KIS) and Yokohama In-