幽霊型。Money aなのに宣言部ではaを無視。id:syd_sydさんに教わる。詳しくはOCaml本見てねっ(笑)。 {-# OPTIONS -fglasgow-exts #-} data Money a = Money Float deriving Show data Naked data Taxed impose :: Money Naked -> Money Taxed impose (Money …

前にやった、自然数を生成するやつ。少しまともになった。id:Gemmaさんの助言による。 (define (make-natural) (let ((c '())) (lambda () (call/cc (lambda (yield) (let loop ((n 0)) (if (null? c) (call/cc (lambda (cont) (begin (set! c cont) (yield …