Lambda Calculus in 400 Bytes

Re:Lambda Calculus in 400 Bytes by ILMostro7 on Sunday February 27, 2022 @07:15PM (#30494386)

IIUC, this doesn't necessarily translate to more efficient programming, just because the program size is small. It's elegant. Just wondering about possible applications. Maybe I'm not understanding how currying works.

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by jart on Sunday February 27, 2022 @11:17PM (#30496356)

Author here. Love SectorLambda for its mathematical beauty. If you're hungry for more efficient practical computation, check out my C language projects like Cosmopolitan Libc and Redbean. For instance, rather than processing data at 16kbps it's able to do things like crc32 at 22gBps https://github.com/jart/cosmopolitan/blob/d6a039821f927cc81b... and memset goes 126gBps https://github.com/jart/cosmopolitan/blob/d6a039821f927cc81b...

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by ILMostro7 on Monday February 28, 2022 @09:49PM (#30508743)

Awesome stuff. Thank you very much for the follow-up as well.

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by tomberek on Tuesday March 01, 2022 @12:28AM (#30510010)

Is there any interest in a Forth-style approach?

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by ALLTaken on Sunday February 27, 2022 @09:05PM (#30495405)

Indeed I wish there was a video of someone explaining this article on a whiteboard/chalkboard.

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by CRConrad on Monday February 28, 2022 @07:35PM (#30507417)

Michael Penn, Burkard Polster, Matt Parker, or one of the Numberphile guys?

[ Parent | on HN ]