|
|
|
last edited 13 years ago by Bill Page |
Edit detail for SandBoxFunctor revision 1 of 1
| 1 | ||
|
Editor: Bill Page
Time: 2011/11/15 07:32:00 GMT-8 |
||
| Note: new | ||
changed: - Gaby described how to obtain the type of a functor. A functor is an "unapplied" domain constructor. A domain constructor is an expression. So for example 'Complex Integer' is a domain constructor. 'Complex' is the functor. Example Complex \begin{axiom} )boot getConstructorSignature 'Complex --)boot getConstructorSignature('Complex).target )boot first getConstructorSignature('Complex) --)boot getConstructorSignature('Complex).source )boot first rest getConstructorSignature('Complex) \end{axiom}
Gaby described how to obtain the type of a functor. A functor is an "unapplied" domain constructor. A domain constructor is an expression. So for example Complex Integer is a domain constructor. Complex is the functor.
Example Complex
fricas
(1) -> )boot getConstructorSignature 'Complex
Your user access level is compiler and this command is therefore not available. See the )set userlevel command for more information. --)boot getConstructorSignature('Complex).target
fricas
)boot first getConstructorSignature('Complex)
Your user access level is compiler and this command is therefore not
available. See the )set userlevel command for more information.
--)boot getConstructorSignature('Complex).source
fricas
)boot first rest getConstructorSignature('Complex)
Your user access level is compiler and this command is therefore not
available. See the )set userlevel command for more information.