UCFS, Reflection/Metadata, Overload Resolution, Templates, and other issues

[Robert Jacques]

On Fri, 08 Apr 2011 11:31:48 -0400, %u <wfunction at hotmail.com> wrote:

>> I've added reflection capabilities to an update to std.variant I'm  
>> working on. Overloads work.
> General functions work. (Although a few bugs with opCall and opDispatch  
> prevents the ideal syntax:
> var.x(5) vs var.x = 5 and var.call(5) vs var(5), but I assume those will  
> be eventually fixed). I've
> also added an internal type database, so you can auto-magically build a  
> Variant(TypeInfo, void*) or
> Variant(Object) and then call methods on the real, underlying type.
>
> Whoa nice. I'm eagerly waiting to see it. :)

Here's a snapshot I posted a while ago, if you'd like to have a look:
https://jshare.johnshopkins.edu/rjacque2/public_html/

I'd love some feedback, particularly with regard to the runtime-reflection  
API.

>> Templates, I think, will out of the range of dynamic D capabilities for  
>> some time to come.
>
> Yeah, 'cause I just realized they basically need you to implement the  
> entire compiler.

Yah, you'd need a VM.