*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] No tail-recursive code equation for List.map*From*: Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de>*Date*: Sat, 27 Apr 2013 15:20:13 +0200*In-reply-to*: <82283125-D692-4644-876F-3EE66CBD3236@uibk.ac.at>*Organization*: TU Munich*References*: <CAGbqCMz-55E56FmnaRtdCGfaiuUUmn_8uMLS0-YDjgNh6cQQ6g@mail.gmail.com> <F42C9D80-06F3-499B-8F0E-5005A2362BC8@uibk.ac.at> <1366992954.2569.40.camel@lapbroy33> <82283125-D692-4644-876F-3EE66CBD3236@uibk.ac.at>*User-agent*: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130329 Thunderbird/17.0.5

>> Is it possible to enable code equations only for certain target >> languages? Definitely not at the moment. As far I can see, there are now two issues (currying in Scala, tail recursion) which would justify to differentiate code equations wrt. to the target language. Andreas Lochbihler a few months ago also showed funny surprises in PolyML of obviously equivalent function definitions with dramatic differences in runtime behaviour. Before making any step ahead, it would be good to collect some general observations which shapes of code equations are particularly suitable for certain target languages, e.g. * avoid Currying in languages which have bias towards tupled function arguments (Scala) * avoid tail recursion in lazy languages (Haskell) * eta-expand certain function defintions (???) * … Once there is more certainty what could be done in that respect, appropriate devices can be developed (different bins for code equations, different preprocessor for certain target languages, …). Cheers, Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

**Attachment:
signature.asc**

**Follow-Ups**:**Re: [isabelle] No tail-recursive code equation for List.map***From:*Brian Huffman

**References**:**[isabelle] No tail-recursive code equation for List.map***From:*C. Diekmann

**Re: [isabelle] No tail-recursive code equation for List.map***From:*René Thiemann

**Re: [isabelle] No tail-recursive code equation for List.map***From:*Peter Lammich

**Re: [isabelle] No tail-recursive code equation for List.map***From:*René Thiemann

- Previous by Date: Re: [isabelle] Curried and uncurried parameters in Scala
- Next by Date: Re: [isabelle] No tail-recursive code equation for List.map
- Previous by Thread: Re: [isabelle] No tail-recursive code equation for List.map
- Next by Thread: Re: [isabelle] No tail-recursive code equation for List.map
- Cl-isabelle-users April 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list