掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Association for Computing Machinery (ACM)  

DOI： 10.1145/3236776

researchmap

掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.35.3_79

researchmap

researchmap

researchmap

researchmap

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：ACM Press  

DOI： 10.1145/2951913.2951944

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Springer Tokyo  

This paper proposes a new approach to embedding shell scripts in an ML-style typed functional language. Instead of representing each construct in the shell script language as a typed component, the proposed approach treats an untyped shell script program as a typed function. The programmer writes a shell script and specifies its type according to the intention of his/her script. The ML compiler automatically generates glue codes that serialize and de-serialize input and output data. With this embedding mechanism, an ML programmer can enjoy the full benefits of shell programming directly within an ML program. The proposed approach has been implemented in our SML# compiler.

DOI： 10.1007/s00354-016-0303-1

Web of Science

Scopus

researchmap

その他リンク： http://link.springer.com/article/10.1007/s00354-016-0303-1/fulltext.html

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing  

This paper investigates language constructs for high-level and type-safe manipulation of JSON objects in a typed functional language. A major obstacle in representing JSON in a static type system is their heterogeneous nature: in most practical JSON APIs, a JSON array is a heterogeneous list consisting of, for example, objects having common fields and possibly some optional fields. This paper presents a typed calculus that reconciles static typing constraints and heterogeneous JSON arrays based on the idea of partially dynamic records originally proposed and sketched by Buneman and Ohori for complex database object manipulation. Partially dynamic records are dynamically typed records, but some parts of their structures are statically known. This feature enables us to represent JSON objects as typed data structures. The proposed calculus smoothly extends with ML-style pattern matching and record polymorphism. These results yield a typed functional language where the programmer can directly import JSON data as terms having static types, and can manipulate them with the full benefits of static polymorphic type-checking. The proposed calculus has been embodied in SML#, an extension of Standard ML with record polymorphism and other practically useful features. This paper also reports on the details of the implementation and demonstrates its feasibility through examples using actual Web APIs. The SML# version 3.1.0 compiler includes JSON support presented in this paper and is available from Tohoku University as open-source software under a BSD-style license.

DOI： 10.4230/LIPIcs.ECOOP.2016.18

Scopus

researchmap

掲載種別：研究論文（学術雑誌）   出版者・発行元：Information Processing Society of Japan  

DOI： 10.2197/ipsjjip.24.141

Scopus

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：日本ソフトウェア科学会  

既存のプログラムを再利用したり，複数人でプログラムを開発したりする際など，コードを読み内容を理解する必要に迫られることは少なくなく，これを支援するツールが求められる．本論文では，関数型プログラム向けのコードリーディング支援ツールの試作について報告する．我々の試作は，関数型プログラムはデータフローによって計算を行っており，データフローは変数に代表される名前の依存関係によって表現される，との洞察に基づいている．これをふまえ，本試作は，コンパイラを用いて名前の依存関係を取得し，その情報を以下の2つの機能として提示する．1つは，名前の参照位置からその定義位置へエディタ上でカーソルを移動させる機能である．これはデータフローを追跡するのに役立つ．もう1つは，変数や関数の依存関係をもとにファイル間の依存関係を可視化する機能であり，これにより各モジュールがどのモジュールで定義された資源を利用しているかを直感的に把握できる．

DOI： 10.11309/jssst.32.1_194

CiNii Article

researchmap

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Springer International Publishing  

DOI： 10.1007/978-3-319-12736-1_5

researchmap

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Association for Computing Machinery  

This paper reports on our industry-academia project of using a functional language in business software production. The general motivation behind the project is our ultimate goal of adopting an ML-style higher-order typed functional language in a wide range of ordinary software development in industry. To probe the feasibility and identify various practical problems and needs, we have conducted a 15 month pilot project for developing an enterprise resource planning (ERP) system in SML#. The project has successfully completed as we have planned, demonstrating the feasibility of SML#. In particular, seamless integration of SQL and direct C language interface are shown to be useful in reliable and efficient development of a data intensive business application. During the program development, we have found several useful functional programming patterns and a number of possible extensions of an ML-style language with records. This paper reports on the project details and the lessons learned from the project. © 2014 ACM.

DOI： 10.1145/2628136.2628164

Web of Science

Scopus

researchmap

researchmap

researchmap

researchmap

掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.29.1_191

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：ACM Press  

Motivated by developing a memory management system that allows functional languages to seamlessly inter-operate with C, we propose an efficient non-moving garbage collection algorithm based on bitmap marking and report its implementation and performance evaluation. In our method, the heap consists of sub-heaps {Hi | c ≤ i ≤ B} of exponentially increasing allocation sizes (Hi for 2i bytes) and a special sub-heap for exceptionally large objects. Actual space for each sub-heap is dynamically allocated and reclaimed from a pool of fixed size allocation segments. In each allocation segment, the algorithm maintains a bitmap representing the set of live objects. Allocation is done by searching for the next free bit in the bitmap. By adding meta-level bitmaps that summarize the contents of bitmaps hierarchically and maintaining the current bit position in the bitmap hierarchy, the next free bit can be found in a small constant time for most cases, and in log32(segmentSize) time in the worst case on a 32-bit architecture. The collection is done by clearing the bitmaps and tracing live objects. The algorithm can be extended to generational GC by maintaining multiple bitmaps for the same heap space. The proposed method does not require compaction and objects are not moved at all. This property is significant for a functional language to inter-operate with C, and it should also be beneficial in supporting multiple native threads. The proposed method has been implemented in a full-scale Standard ML compiler. Our benchmark tests show that our nonmoving collector performs as efficiently as a generational copying collector designed for functional languages. Copyright © 2011 ACM.

DOI： 10.1145/2034574.2034802

Web of Science

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：ACM Press  

Integrating a database query language into a programming language is becoming increasingly important in recently emerging high-level cloud computing and other applications, where efficient and sophisticated data manipulation is required during computation. This paper reports on seamless integration of SQL into SML# - an extension of Standard ML. In the integrated language, the type system always infers a principal type for any type consistent SQL expression. This makes SQL queries first-class citizens, which can be freely combined with any other language constructs definable in Standard ML. For a program involving SQL queries, the compiler separates SQL queries and delegates their evaluation to a database server, e.g. PostgreSQL or MySQL in the currently implemented version. The type system of our language is largely based on Machiavelli, which demonstrates that ML with record polymorphism can represent type structure of SQL. In order to develop a practical language, however, a number of technical challenges have to be overcome, including static enforcement of server connection consistency, proper treatment of overloaded SQL primitives, query compilation, and runtime connection management. This paper describes the necessary extensions to the type system and compilation, and reports on the details of its implementation. Copyright © 2011 ACM.

DOI： 10.1145/2034574.2034815

Web of Science

Scopus

researchmap

researchmap

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.27.2_142

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.25.2_101

researchmap