[bitc-dev] FN keyword

[Ben Kloosterman]

Can ( or should)  these effects like noalloc be expressed in an
attribute/Meta data system since they are not really part of the language
but the code that is produced ?  Compilers can read attributes and it gives
a great degree of flexibility than a single keyword if people come up with a
clever idea, with keywords  it is much harder to introduce eg C# also used
them to simulate Unions  ( as discussed) and other constructs  the language
doesn't have by design but needed for interop and other reasons. 

 

Ben .  

 



  1. I can probably jigger the productions around to make this okay
      if we have to, giving:

        'a -> 'b
        noalloc 'a -> 'b

  2. Failing that, we can use the FN keyword only when an effect
      is present on the type, giving:

        'a -> 'b
        noalloc fn 'a -> 'b

>From an english-language readability perspective I almost prefer "noalloc fn
'a -> 'b", but I have no strong preference.

shap

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20100811/cb9800f2/attachment-0001.html