Home » forums » LtU Forum

Project Lamdu

Project Lamdu, a live-programming environment with a little something for everyone, including things like:

  • ...the canonical representation of programs should not be text, but rich data structures: Abstract syntax trees.
  • Effect Typing... ...allows a live environment to actually execute code as it is being edited, safely, and bring the benefits of spreadsheets to general purpose programming
  • When types are rich enough, much of the program structure can be inferred from the types.
  • Integrated revision control and live test cases will allow "Regression Debugging".
By Greg Buchholz at 2016-01-18 21:43 | LtU Forum | previous forum topic | next forum topic | other blogs | 6807 reads

Comment viewing options

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

Has anything changed in the

Has anything changed in the last couple of years?

By Sean McDirmid at Tue, 2016-01-19 00:19 | login or register to post comments

Click on the link

Don't GitHub commits count as changes? ;)

Anyway, it sounds like quite a bit has changed. They didn't have any execution/debugging support before, it was "just" a structure editor with incremental type-checking.

By Roly Perera at Tue, 2016-01-19 10:32 | login or register to post comments

I did click and see some

I did click and see some activity. They really should blog or highlight new capabilities, since the project has been around for awhile people might be like "I saw this before..." and not notice the progress that has been made.

By Sean McDirmid at Tue, 2016-01-19 22:36 | login or register to post comments

and what will be coming

at the moment I have to guess if I could ever possibly use this for "real" work :-) I assume the answer is "no" but...

By raould at Tue, 2016-01-19 22:38 | login or register to post comments

Actually, if it was ready

Actually, if it was ready for "real work", it would probably be incremental and boring. I'm personally looking for new and interesting.

By Sean McDirmid at Tue, 2016-01-19 22:53 | login or register to post comments

cake & eat

I don't understand why (hope against) they must be mutually exclusive no matter what in every case.

By raould at Wed, 2016-01-20 21:58 | login or register to post comments

You have to bake the cake

You have to bake the cake before you can eat it.

By Sean McDirmid at Wed, 2016-01-20 22:02 | login or register to post comments

why?

nope. ;-)

By raould at Thu, 2016-01-21 22:22 | login or register to post comments

Yes well, the cake is better

Yes well, the cake is better eaten baked. Some will eat it before its baked, but they are weird.

By Sean McDirmid at Thu, 2016-01-21 23:00 | login or register to post comments