On 4 May 2015 at 22:32, Matt Oliveri <[email protected]> wrote: > On Mon, May 4, 2015 at 3:24 AM, Keean Schupke <[email protected]> wrote: > > - The places where runtime polymorphism is to be used are clearly > visible to > > the programmer. They have to actively use existentials to get the runtime > > polymorphism. You don't pay for what you don't (explicitly) use. > > Ah, not bad. But you're still thinking instance arguments don't fit > that picture? And they aren't worth adding staging annotations for?
Stratification is one of the nice things about ATS. While it does not have instance arguments, it does have implicit arguments and template arguments, and these are always erased during compilation. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
