>But why would you want that anyway? What use case do you have in mind?
I was thinking out exercises to help me better understand aldor,
particularly what can be done with types being first-class objects. As
such Zen exercise I took a function that returns a type of its
argument --- I wanted to find out whether such function is possible or
not and why.
I came up with
#include "aldor"
#pile
TypeFinder(S: Type): with
GetType: S -> Type
== add
GetType(x: S): Type == S
I thought it to be a bit unpractical to import
TypeFinder(TypeInQuestion) every time.
But anyway the code above doesn't seem to work as I expected.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
