Idiomatic Guile for semigroup/monoid/group?

2022-01-01 Thread Stuart Hungerford
I'm new to Guile so I'm working my way through the Guile Reference Manual and the Dybvig Scheme book. I'd like to use Guile in my self-learning of abstract algebra--semigroups, monoids and groups only for now. It seems that with Guile's macros, access to C libraries and rich numeric tower, it woul

Re: Idiomatic Guile for semigroup/monoid/group?

2022-01-02 Thread Stuart Hungerford
On Sun, Jan 2, 2022 at 9:46 PM Maxime Devos wrote: > > In Haskell/Idris/Purescript/Swift/Rust I'd be looking to > > typeclasses/protocols or traits to model a semigroup, monoid or group. > > In OOP languages I'd be looking to some kind of abstract base class to > > model each structure. > > > > W

Re: guile-user Digest, Vol 230, Issue 2

2022-01-03 Thread Stuart Hungerford
> From: zimoun > To: Stuart Hungerford , > guile-user@gnu.org > Subject: Re: Idiomatic Guile for semigroup/monoid/group? >[...] > On Sun, 02 Jan 2022 at 10:45, Stuart Hungerford > wrote: > > > I'd like to use Guile in my self-learning of abstract &

Re: Idiomatic Guile for semigroup/monoid/group?

2022-01-03 Thread Stuart Hungerford
On Mon, Jan 3, 2022 at 9:14 PM Maxime Devos wrote: > Stuart Hungerford schreef op ma 03-01-2022 om 10:46 [+1100]: > > Just out of interest, are there other multimethod/ad-hoc polymorphism > > approaches for Guile? > > I only know of GOOPS and Theme-D -- Guix also has a &g