Re: [isabelle] Conversion for translation into combinatory logic?

On 02.10.2014 18:55, Tobias Nipkow wrote:
> I am scpetical about using combinators in practice. There was a time when
> people thought that is a good idea, but I don't think aybody does it anymore.
> I find it a bit worrying that lambda's should be a problem in code generation.

The combinators, if relevant at all, would only be introduced in the
*outermost* term to be evaluated and save considerable trusted code
there.  Details still to be awaited…



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.