equivalent category loaders .net
does anyone know illusory interpretation homogeneous "java tradition category loader" .net?
to give small background:
i am slight building new programming libel targets clr, called "liberty". comforts libel the ability interpretation "type constructors", methods executed compiler during accumulate beget forms output. arrange generalization generics (the libel does have normal generics it), grant formula combined (in "liberty" syntax):
var t tuple<i int, j int, k int>;
t.i = 2;
t.j = 4;
t.k = 5;
where "tuple" tangible so:
public form tuple(params variables variabledeclaration[]) typedeclaration
{
//...
}
in sole example, form constructor tuple
provides something identical opposite forms vb c#.
however, graphic opposite types, "tuples" have names used inside open slight signatures.
this means i need proceed form eventually ends adult being released compiler shareable opposing churned assemblies. example, i want
tuple<x int>
tangible public finish adult being same form tuple<x int>
tangible public b.
the problem this, course, public assembly b going collected during opposite times, means both finish adult emitting possess proud versions tuple type.
i looked controlling arrange "type erasure" this, i have common library garland forms (this "liberty" syntax):
class tuple<t>
{
open field1 t;
}
class tuple<t, r>
{
open field2 t;
open field2 r;
}
and following only route opening i, j, k tuple fields field1
, field2
, field3
.
however unequivocally viable option. meant during accumulate tuple<x int>
tuple<y int>
finish adult being opposite types, while during runtime treated same type. means problems things equivalence form identity. too leaky an condensation tastes.
other illusory options "state bag objects". however, controlling state bag improved whole purpose carrying support "type constructors" language. thought there assent "custom libel extensions" beget new forms during accumulate compiler stationary form checking with.
in java, finished controlling tradition category loaders. fundamentally formula uses tuple forms released but indeed defining form disk. tradition "class loader" following tangible boldly beget tuple form during runtime. grant stationary form checking inside compiler, harmonize tuple forms opposing gathering boundaries.
unfortunately, however, clr does yield support tradition category loading. loading clr finished during public level. illusory interpretation removed public any "constructed type", nonetheless unequivocally fast lead opening problems (having assemblies wholly form too resources).
so, i wish know is:
is illusory duplicate something java category loaders .net, where i evacuate anxiety non-existing form following boldly beget anxiety form during runtime before formula needs runs?
note:
*i indeed already know answer question, i yield an answer below. however, took me 3 days research, definitely bit il hacking method adult solution. i figured good thought request here box anyone else ran same problem. *
Comments
Post a Comment