[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: need for macros (was Re: Icon)

Anton van Straaten wrote:

> But assuming a goal of creating a maximally powerful language for "do not
> try at home, use at own risk" scenarios, is there any reason aside from
> performance to avoid first class values?

Yes: static verifiability.  First-classness is generally a direct
enemy of verifiability, especially once you get past very low-level
verification systems such as (traditional) types.  It's the constant
trade-off that us verification people who also want to express systems 
in a reasonable notation have to wrestle with.