Yes. When request type is function type compiler calls
compWithMappingMode which is doing needed magic. In fact,
compWithMappingMode can handle old form of anonymous functions
with '#1', '#2', etc., but those are rejected by the parser.
However, zero argument case still works and is used with 'delay'.
If I am not wrong then it is also used for 0 and 1.
MagmaWithUnit() : Category == Magma with
--constants
1 : constant -> %
I always get confused by that.
In Aldor that would simply be
1: %
Aldor distinguishes between constants and nullary function of type
()->%. I think that makes sense, since a nullary function can stil have
side effects whereas a constant cannot.
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/255652e4-59ed-5cb4-ebf9-80ba44fe57d1%40hemmecke.org.
