On 09/07/2014 11:43 AM, Sandro Magi wrote:
>    6. analysis: the reflection interface is sometimes used to analyze
> programs, eg. determining whether a type may be mutable

Submitted too early. On this point, I wanted to add that even Ada has a 
limited "reflection" interface in the form of ASIS which I believe is 
often used for semantic analysis and sometimes metaprogramming [1]. Ada 
often has very detailed rationales explaining the motivations and 
applications, so those documents are probably worth looking at.

Sandro

[1] http://www.sigada.org/wg/asiswg/

_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to