[bitc-dev] FN keyword
bklooste at gmail.com
Tue Aug 10 18:58:14 PDT 2010
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.
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the bitc-dev