ML や Haskell でよく見る ' (プライム) 記号がうらやましかった件について - (new Hatena).blog()数学でよく使われる記号だと思うんですが、ML系のプログラムとか論文を読んでいると、1重引用符が識別子の後に付けられているのをよく見かけます。 ある関数の変種とか、ある変数に基づいて一時変数を作る時などに、いちいち新しい名前を考えなくて済むので便利なんですよね。 でも Scheme や Lisp では、この記号は quote の省略形という特別な意味を持っているので、使いたくても使えません。 で、何か良い案は無いものかとずっと思っていたんですが、ついに思い付きました。 チルダです。 (define (map~ f l) (cond ((null? l) l) ((f (car l)) => (lambda (x) (cons x (map~ f (cdr l))))) (else (let* ((t (cdr l)) (t~ (map~ f t))) (if (eq? t t~) l (co
