TAO86(ID:5019/tao003)
Evolution of TAO
Related languages
| TAO |
=> |
TAO86 | |
Evolution of |
References:
Kenichi Yamazaki, Masaharu Yoshida, Yoshiji Amagai, Ikuo Takeuchi
"Structured Data and Undefined Value in TAO" IPSJ Transactions on Programming Vol.42 No.SIG07 - 007
view details
Abstract: Lisp can have much expressive power by incorporating logic-programming facilities. In this paper, we discuss implementation issues of this incorporation, especially for internal data representation such as undefined value (`UNDEF') and reference (`REF'). We designed two Lisp-based multi-paradigm programming languages, TAO86 and TAO, to solve these issues. In TAO86, UNDEF is a first-class immediate value, and REF is dereferenced by the system automatically. This solution is quite simple but did not have enough power to handle the whole set of data so that TAO86 provides some adhoc builtin functions. TAO, a thoroughly redesigned successor of TAO86, has new features such as functional predicates and pattern-matching mechanism that give an elegant solution of TAO86 issues. This paper also describes the implementation of internal data representation and data handling mechanisms in detail.
|