On 2/12/25 19:38, Martin Baker wrote:
I find this type of paradigm very powerful where you do some operation
on a whole collection by calling the same function on all its parts,
even if they are different types.
Yes, maybe. But note that this paradigm, I would say, is NOT what one
usually does in FriCAS/Aldor. Admittedly, your shape example rather
calls for an object-oriented approach, but the main idea of the SPAD
language is driven by multi-sorted algebras
https://core.ac.uk/download/pdf/161922276.pdf .
That thesis even relates to AXIOM and explains the coercion model.
Maybe it would make sense to discuss the category/domain structure
design of your package in private to fit more to the FriCAS programming
style than to usual OOP programming styles. Probably every style has
pros and cons, but since most part of FriCAS uses the category/domain
style it makes sense to think about whether you really need to follow
the OOP paradigm.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/cea7c000-5b6b-4348-9cb5-fd2ff1d1b751%40hemmecke.org.
