2024-03-29T04:56:32Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000165872020-10-27T05:02:43Z00934:00935:00949:00953
プログラミング言語Onion の設計と実装Design and Implementation of Programming Language Onionjpn発表概要http://id.nii.ac.jp/1001/00016587/Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=16587&item_no=1&attribute_id=1&file_no=1Copyright (c) 2006 by the Information Processing Society of Japan筑波大学情報学類筑波大学システム情報工学研究科筑波大学システム情報工学研究科水島, 宏太前田, 敦司山口, 喜教本発表では,プログラミング言語Onion の設計および,Java VM 上で動作する処理系の実装について報告する.Onion は,Java と非常によく似た型システムを持った静的型付けのオブジェクト指向言語である.静的型付け言語に関して,しばしば記述の冗長さが指摘されるが,Onion では,代入による暗黙の型宣言や,自動ダウンキャストなどを導入することで,静的型付けでありながら,簡潔にプログラムが書けるようになっている.処理系はJava で実装されており,Onion で書かれたプログラムは,コンパイラによってJava VM 上で動作するクラスファイルにコンパイルされるため,Onion の処理系およびOnion で書かれたプログラムは,Java VM が動作する環境なら,基本的にどこでも動作する.また,Onion からコンパイルされたクラスファイルは,JRE 以外の特別なライブラリを必要としないため,Java Applet など,配布するバイナリのサイズが小さいことが比較的重要なプログラムを作ることなども容易にできる.In this presentation, we describe the design of programming language Onion and its implementation on Java VM. Onion is a statically-typed, object-oriented programming language which has a type system very similar to Java. Unlike other statically-typed languages that are often criticized by their verbosity, Onion introduced features such as implicit type declaration with assignment and automatic down-casting, to allow concise programming style. The implemenation is written in Java; Onion source programs are compiled into class files which are executed on Java VM. Programs written in Onion as well as Onion implemenation itself runs anywhere if Java VM is available. Since class files generated by Onion compiler require no special runtime libraries except for those incleded in JRE, it is easily adapted to the projects in that distributed code size is significant, e.g. Java Applets.AA11464814情報処理学会論文誌プログラミング(PRO)47SIG2(PRO28)1081082006-02-151882-78022009-06-30