2016年1月15日
A type safe access to key-value stores from functional languages
Journal of Information Processing
- ,
- 巻
- 24
- 号
- 1
- 開始ページ
- 141
- 終了ページ
- 151
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.2197/ipsjjip.24.141
- 出版者・発行元
- Information Processing Society of Japan
This paper presents a scheme comprising a type system and a type-directed compilation method that enables users to integrate high-level key-value store (KVS) operations into statically typed polymorphic functional languages such as Standard ML. KVS has become an important building block for cloud applications because of its scalability. The proposed scheme will enhance the productivity and program safety of KVS by eliminating the need for low-level string manipulation. A prototype that demonstrates its feasibility has been implemented in the SML# language and clarifies issues that need to be resolved in further development towards better practical performance.
- ID情報
-
- DOI : 10.2197/ipsjjip.24.141
- ISSN : 1882-6652
- ISSN : 0387-5806
- SCOPUS ID : 84954312816