Home

Project LambdaCan

You can get soup in a can. You can get bread in a can. Now the long wait is over! You can finally get Lambda Calculus in a can...Project LambdaCan takes [the Lambda Calculus] and implements it on a microcontroller better suited to the most mundane of tasks, like running a vending machine or microwave oven. And it sticks the microcontroller in a can that you can connect to your PC using a USB cable.

For those that are both language geeks and hardware geeks...

By Ehud Lamm at 2008-02-06 21:28 | Fun | Lambda Calculus | other blogs | 8571 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Lambda the ultimate...

preserved food?

Now with reduced fat and reduced expressions!

By James Iry at Wed, 2008-02-06 22:41 | login or register to post comments

Pickling combinators?

(sorry)

By Peter McArthur at Thu, 2008-02-07 08:46 | login or register to post comments

OO people call it...

Cereal-izing.

By James Iry at Thu, 2008-02-07 15:51 | login or register to post comments

I tried something along those lines...

Here. I'd release it but as my contract with my employer says they own anything I do in my spare time I can't without risking legal difficulty. But it does show that you can pack quite a bit into a tiny microcontroller and that high level structures like monads don't necessarily entail megabytes of memory.

By sigfpe at Thu, 2008-02-07 03:31 | login or register to post comments

really sick

Where do people find the time to do these sort of things? (not to mention the motivation)

By David Minor at Thu, 2008-02-07 07:05 | login or register to post comments

I think the title of your

I think the title of your post can be understood as unnecessarily offensive.

By Ehud Lamm at Thu, 2008-02-07 07:15 | login or register to post comments

Maybe it's

Maybe it's this version.

By Sean Childs at Thu, 2008-02-07 08:37 | login or register to post comments

Yeah..

That's how I read it.

By Gavin Harrison at Thu, 2008-02-07 14:58 | login or register to post comments

Me too. Which is why I

Me too. Which is why I wrote: I think the title of your post can be understood as unnecessarily offensive.

I decided that's shorter than might be interpreted by some people as offensive.

By Ehud Lamm at Thu, 2008-02-07 18:09 | login or register to post comments

syck?

You mean syck?

Posting lambda calculus papers all over Encyclopaedia Dramaticae would detract from its rubbishy appeal. By the same token, lolcats, slang and reddit-isms have little to offer LtU. Two great tastes don't always go together -- do you like salt in you coffee?

By Jason Dusek at Thu, 2008-02-07 22:37 | login or register to post comments

It is a thing of wonder

I'm impressed. It is amazing what smart people with spare time will do.

By Noel at Thu, 2008-02-07 11:52 | login or register to post comments