On Wed, Sep 9, 2009 at 9:02 PM, Corey O'Connor<[email protected]> wrote: > > I noticed there was a note that dynamic values cannot be get/put. > Which is necessary for reload to restore dynamic values. I would like > to expose dynamic values to runtime manipulation by the user. (akin to > Vim's ":set [variable]=[value]" command) I know the user would expect > their changes to be restored on reload. > > Does anybody have a compelling reason I shouldnot add Binary as a > constraint to the Initializable class and update all instances > accordingly?
I tried this some time ago, but it is not sufficient to reload the values. The problem is that it is impossible to "recreate" a type for a runtime value, in general. The best you can hope (I think) is to use a GADT to encode type info, then you may recover type in a pre-determined universe. I don't see the details yet though. Then again, I might a have missed something, so you are encouraged to do your own experiments... Cheers, JP. --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
