[Haskell-cafe] ANNOUNCE: LambdaINet-0.1.0, Graphical Interaction Net Evaluator for Optimal Evaluation

Paul L ninegua at gmail.com
Tue Sep 15 09:25:47 EDT 2009


Now it's at version 0.1.2 with the EnableGUI fix for Mac OS X.

On 9/14/09, Paul L <ninegua at gmail.com> wrote:
> I just bumped the version to 0.1.1 that fixes an embarrassing bug,
> i.e., the first example shown on the screen was actually wrong.
>
> I took a screenshot of the interaction net showing (church 2) f x,
> i.e., (\f x -> f (f x)) f x together with on-screen help messages. It
> is the first example right after you start the LambdaINet application,
> and erase redundant nodes, relayout, and auto zoom (key sequence E, L,
> Space"). It will reduce to f (f x) if you hit R key, or if you want to
> see the step by step outermost reduction, just keep hitting O key.
>
> The picture is here
> http://www.thev.net/download/church_2_f_x-with-helpmsg.jpg
>
> Pressing 1 to 9 will show a more complicated example that actually
> demonstrates the power of optimal evaluation:  opt n = (church n)
> (church 2) i i. Standard call-by-need takes 37 beta reductions to
> evaluate opt 4, but optimal only needs 15.
>
> On 9/14/09, Bas van Dijk <v.dijk.bas at gmail.com> wrote:
>> On Mon, Sep 14, 2009 at 7:36 AM, Paul L <ninegua at gmail.com> wrote:
>>> It's available on Hackage DB at
>>> http://hackage.haskell.org/package/LambdaINet
>>
>> Nice! Screenshots anywhere?
>>
>> Bas
>>
>
>
> --
> Regards,
> Paul Liu
>
> Yale Haskell Group
> http://www.haskell.org/yale
>


-- 
Regards,
Paul Liu

Yale Haskell Group
http://www.haskell.org/yale


More information about the Haskell-Cafe mailing list