On Tue, Nov 18, 2008 at 8:48 AM, Waldek Hebisch wrote:
>
> Martin Rubey wrote:
>>
>> I just noticed that in the interpreter, has does not work on operations:
>>
>> in FriCAS:
>>
>> (1) -> Float has random: Float -> Float
>>
>>    >> System error:
>>    newHasTest expects category from
>>
>
> In FriCAS the official form is:
>
> Float has signature random: Float -> Float
>

-1 Yuck. Another keyword? :-(

I think that testing for specific function signatures should be
avoided. That leads to the "slippery slope" of full reflection and
run-time types - something that the original designers of Axiom
intended to avoid.

Regards,
Bill Page.

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to