On Dec 24, 2010, at 11:24 AM, beo wulf wrote:

> Is there a way to merge the TYPED:: and METHOD: declarations into one? I.e. 
> something like:
> 
> METHOD: rotate { quat vec3 } TYPED:: ( q: quat v: vec3 -- v': vec3 ) .... ;

If the types on the METHOD: are fully specified, you don't need the TYPED: 
definition, since the compiler already knows all the type information for the 
input types within that method. If it knows the types of the inputs at the 
method invocation site, the dynamic dispatch will be eliminated as well.

-Joe
------------------------------------------------------------------------------
Learn how Oracle Real Application Clusters (RAC) One Node allows customers
to consolidate database storage, standardize their database environment, and, 
should the need arise, upgrade to a full multi-node Oracle RAC database 
without downtime or disruption
http://p.sf.net/sfu/oracle-sfdevnl
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk

Reply via email to