Show HN: Programming with Pure Lambda Calculus
bruijn.marvinborner.de
Show HN: Programming with Pure Lambda Calculus
1–9 of 9 posts
Re: Show HN: Programming with Pure Lambda Calculus
#2Neat!
Re: Show HN: Programming with Pure Lambda Calculus
#3That is really cool. Lambdas all the way down.
The encoding of binary and ternary was interesting (following from the link at the bottom of the page). It does make me curious why ternary was chosen as the default.
Re: Show HN: Programming with Pure Lambda Calculus
#4That is really cool. Lambdas all the way down. The encoding of binary and ternary was interesting (following from the link at the bottom of the page). It does make me curious why ternary was chosen as the default.
Hi, thanks!
Balanced ternary was chosen as the default base because an investigation by Torben Mogensen[1] showed that it's a good compromise in terms of space and time complexity. Higher bases can be even more compact and efficient, but require much larger implementations for arithmetic operations. Balanced ternary also supports negative numbers, which unary (Church) or binary (Mogensen) don't.
Re: Show HN: Programming with Pure Lambda Calculus
#5OK but why? Is this for fun or profit?
Re: Show HN: Programming with Pure Lambda Calculus
#6OK but why? Is this for fun or profit?
There's a dedicated section titled "Why?" on the linked website.
To summarize: Just for fun, not for profit.
Re: Show HN: Programming with Pure Lambda Calculus
#7Based. Upvoted.
Re: Show HN: Programming with Pure Lambda Calculus
#8I await the day an efficient lambda calculus reducer is laid upon us.
Essentially it'd be massively parallel.
Re: Show HN: Programming with Pure Lambda Calculus
#9I await the day an efficient lambda calculus reducer is laid upon us. Essentially it'd be massively parallel.
If you haven't done so already, you might want to look at interaction nets and HVM. Although HVM does not (yet!) support full lambda calculus.
I'm currently exploring another approach to a massively parallel reducer for pure lambda calculus. Efficient sharing of lambda graphs is one of the main problems for me.