A Type Safe Access to Key-value Stores from Functional Languages
A Type Safe Access to Key-value Stores from Functional Languages
复制标题
DOI：
10.2197/ipsjjip.24.141
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Katsuhiro Ueno;A. Ohori
中科院分区：
文献类型：
--
作者：
Katsuhiro Ueno;A. Ohori
本文提出了一种由类型系统和类型导向编译方法组成的方案，使用户能够将高级键值存储（KVS）操作集成到静态类型多态函数语言（如Standard ML）中。KVS因其可扩展性而成为云应用程序的重要构建块。该方案将通过消除对低级字符串操作的需要来提高KVS的生产率和程序安全性。一个证明其可行性的原型已经在sml#语言中实现，并澄清了在进一步开发中需要解决的问题，以获得更好的实际性能。
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.