2026-04-18T17:34:48Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00059885 2025-01-20T06:33:49Z 5471:5515:5516

An Alternative Scheme for Evaluating Combinator Expressions An Alternative Scheme for Evaluating Combinator Expressions Masato, Takeichi Masato, Takeichi （IPSJ Best Paper Award、論文賞受賞） Turner shows how combinators can be used for implementing applicative languages. In his method a combinator expression is represented by a graph with the nodes comprising functions and their arguments. Application of a function to an argument causes graph reduction which corresponds to the beta-reduction of lambda calculus. Graph reduction is performed in a way such that the node representing a functional application is over-written by its result. Another scheme for combinator expression evaluation is proposed by Jones and Muchnick. Although their evaluator is a fixed-program and would have some advantages over Turner's graph reduction scheme it seems unusual in dealing with higher order functions. In this paper we describe an alternative scheme for evaluating combinator expressions. The evaluator is almost a fixed-program and is easily extended to include new combinators. It deals with higher order functions consistently as Turner's evaluator does. That is the proposed scheme shares both advantages of Turner's graph reduction and of a fixed-program. And it is most attractive in implementing the evaluator on conventional hardware. An experimental evaluator is also presented. Turner shows how combinators can be used for implementing applicative languages. In his method, a combinator expression is represented by a graph with the nodes comprising functions and their arguments. Application of a function to an argument causes graph reduction which corresponds to the beta-reduction of lambda calculus. Graph reduction is performed in a way such that the node representing a functional application is over-written by its result. Another scheme for combinator expression evaluation is proposed by Jones and Muchnick. Although their evaluator is a fixed-program and would have some advantages over Turner's graph reduction scheme, it seems unusual in dealing with higher order functions. In this paper we describe an alternative scheme for evaluating combinator expressions. The evaluator is almost a fixed-program and is easily extended to include new combinators. It deals with higher order functions consistently as Turner's evaluator does. That is, the proposed scheme shares both advantages of Turner's graph reduction and of a fixed-program. And it is most attractive in implementing the evaluator on conventional hardware. An experimental evaluator is also presented. 情報処理学会 1985-02-05 eng journal article https://ipsj.ixsq.nii.ac.jp/records/59885 1882-6652 AA00700121 Journal of Information Processing 7 4 246 253 https://ipsj.ixsq.nii.ac.jp/record/59885/files/IPSJ-JIP0704005.pdf application/pdf 857.7 kB 1987-02-05