Extending the numerical tower

Extending the numerical tower

[Pieter Slabbert]

Hi

I was wondering if it is possible to extend guile's numerical tower.
Basically I want to try and get numbers with units such that
(+ 100g 900g) => 1kg
(= 1N  1kg*m/s^2) => #t
(/ 1m 1s) => 1m/s

Regards
Pieter

Re: Extending the numerical tower

[Ludovic Courtès]

Pieter Slabbert <blob626@gmail.com> skribis:

> I was wondering if it is possible to extend guile's numerical tower.
> Basically I want to try and get numbers with units such that
> (+ 100g 900g) => 1kg
> (= 1N  1kg*m/s^2) => #t
> (/ 1m 1s) => 1m/s

The syntax wouldn’t be this nice (unless you have a reader of your own),
but rather:

  (+ (g 100) (kg 1))

But then, yes, it’s possible to extend +, =, etc. with GOOPS (info
"(guile) GOOPS"), like:

  (define-class <weight> (<number>)
    (grams #:init-form #:grams))

  (define (g value)
    (make <weight> #:value g))
  (define (kg value)
    (make <weight> #:value (* 1000 g)))

  (define-method (+ (x <weight>) (y <weight>))
    (make <weight> #:value (+ (slot-ref x 'value) (slot-ref y 'value))))

Or you could avoid GOOPS altogether and use a specific ‘weight+’
procedure instead of the ‘+’ generic function.

Thanks,
Ludo’.