Scheme - データによる抽象の構築(汎用演算のシステム(異なる方のデータの統合(強制型変換、型の階層構造、階層構造の不適切さ(多くの引数を持つ一般の場合と強制型変換について))))

計算機プログラムの構造と解釈
Gerald Jay Sussman, Julie Sussman
Harold Abelson (原著) 和田 英一 (翻訳)
異なる出版社で予約受付中

開発環境

• OS X Mavericks - Apple(OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• Scheme (プログラミング言語)
• Gauche (処理系)

計算機プログラムの構造と解釈(Gerald Jay Sussman(原著)、Julie Sussman(原著)、Harold Abelson(原著)、和田 英一(翻訳)、ピアソンエデュケーション、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の2(データによる抽象の構築)、2.5(汎用演算のシステム)、2.5.2(異なる方のデータの統合)、強制型変換、型の階層構造、階層構造の不適切さ、問題 2.82.を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs
• プログラミングGauche (Kahuaプロジェクト (著), 川合 史朗 (監修), オライリージャパン)

問題 2.82.

コード(BBEdit, Emacs)

sample.scm

#!/usr/bin/env gosh
;; -*- coding: utf-8 -*-

;; これまでに書いた手続き
(load "./procedures.scm")

(define (apply-generic op . args)
  (define (types->type args type)
    (map (lambda (arg)
           (let ((t (type-tag arg)))
             (if (eq? t type)
                 arg
                 (let ((t->type (get-coercion t
                                              type)))
                   (if t->type
                       (t->type arg)
                       (error "No method for these types"
                              (list t types)))))))
         args))
  (define (inner op types)
    (if (null? types)
        (error "No method for these types"
               (list op types args))
        (let ((type (type-tag (car types))))
          (let ((args1 (types->type args type)))
            (let ((type-tags (map type-tag args1)))
              (let ((proc (get op type-tags)))
                (if proc
                    (apply proc (map contents args1))
                    (inner op (cdr types)))))))))
  (let ((type-tags (map type-tag args)))
    (let ((proc (get op type-tags)))
      (if proc
          (apply proc (map contents args))
          (inner op type-tags)))))

この戦略の場合apply-genericの引数argsの型の順ではない、混合型の演算がある状況では、その演算を行うことが出来ずにエラーになるので、この戦略は十分に一般的であるとはいえない。