[bitc-dev] BitC Records
Jonathan S. Shapiro
shap at eros-os.org
Fri Dec 24 10:20:36 EST 2004
I do not understand the question. Can you give an example?
On Thu, 2004-12-23 at 19:40 -0500, Swaroop Sridhar wrote:
> I have an important question. Because BitC is stateful, how do we want
> to handle polymorphism over non-syntactic types in our language?
> Do we want to impose the value-restriction as in SML? or do we want to
> do monomorphism ('_a) and single instantiation as in OCaml?
> I am very nervous about going down the second path, given that we do not
> have any module-level scoping and we do not guarantee order of
> compilation when we compile multiple files (i.e., we do not have any
> "use ...").
> bitc-dev mailing list
> bitc-dev at coyotos.org
Jonathan S. Shapiro <shap at eros-os.org>
More information about the bitc-dev