From: Stuart Hungerford <stuart.hungerford@gmail.com>
To: guile-user@gnu.org
Subject: Idiomatic Guile for semigroup/monoid/group?
Date: Sun, 2 Jan 2022 10:45:24 +1100 [thread overview]
Message-ID: <CAG+kMrFFpLv2O93DWE8Ea7m1qNRg=ZaQrdqoXOmk8Z-Q6jOZTA@mail.gmail.com> (raw)
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
would be a good environment for this kind of programmatic exploration.
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.
What would the idiomatic Guile forms be to work with these structures?
Would it involve GOOPS or records?
For reference, I'm still to read:
https://www.reddit.com/r/scheme/comments/q824ps/is_there_a_portable_way_to_do_type_classes/
https://www.deinprogramm.de/scheme-2005/01-garcia/01-garcia.pdf
Any advice much appreciated,
Stu
next reply other threads:[~2022-01-01 23:45 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-01 23:45 Stuart Hungerford [this message]
2022-01-02 10:46 ` Idiomatic Guile for semigroup/monoid/group? Maxime Devos
2022-01-02 23:46 ` Stuart Hungerford
2022-01-03 10:14 ` Maxime Devos
2022-01-03 21:02 ` Stuart Hungerford
2022-01-03 10:02 ` zimoun
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAG+kMrFFpLv2O93DWE8Ea7m1qNRg=ZaQrdqoXOmk8Z-Q6jOZTA@mail.gmail.com' \
--to=stuart.hungerford@gmail.com \
--cc=guile-user@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).