[bitc-dev] BitC Records
swaroop at cs.jhu.edu
Thu Dec 23 19:40:17 EST 2004
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
More information about the bitc-dev