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…

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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