The last time Hackerfall tried to access this page, it returned a not found error. A cached version of the page is below, or clickhereto continue anyway

Working toward Bret Victor's "Learnable Programming" · Code Connect

Working toward Bret Victor's "Learnable Programming"

17 Aug 2015

Bret Victor is singlehandedly responsible for popularizing the ideas behind live programming amongst todays programmers. In his famous essay Learnable Programming he outlines a set of design principles that should guide the creation of a modern programming environment.

To my knowledge, Alive is one of only two serious attempts to build a tool based on these principles (the other being Light Table). This gives us a unique opportunity to explore the ideas behind Learnable Programming from the vantage point of practicality.

Bret lays out two requirements for a modern programming system. He says the goals of the system should be:

The first is enabled by the second. Visualizing program execution and showing programmers the data theyre working with enables new, powerful ways of thinking.

A few of my favorite examples of this:

Relate code directly to the final result its responsible for Map time to space Show state directly

These ideas and the approaches Bret demonstrates are nothing short of incredible. Brets work has given us a destination for what a modern programming environment might look like, but not much is said on how we should get there.

What Bret gets right

Our experience building and using Alive daily has shown us that Bret gets the fundamental points right. Ill defer to the original essay for complete explanations of these ideas, but we can take a look at Alives interpretation of them.

People understand what they can see. So show them internal state. Allow them to understand what their program is doing the moment they change it.

Allow programmers to navigate through time. We can enable powerful new ways of thinking by allowing developers to easily navigate forwards and backwards through time.

These are powerful ideas of which we have only scratched the surface. Brets research in and Designing by Principle have served as an anchor for our research in this area.

Problems getting to Learnable Programming

There are a number of problems that make it prohibitively difficult to fully realize Brets vision. Some are artifacts of the way programming languages work today, and others are fundamental flaws in the ideas and features put forward.

Bret explicity notes:

This essay will present many features! The trick is to see through them to see the underlying design principles that they represent, and understand how these principles enable the programmer to think.

However, at some level we have to critique the features. It doesnt matter how compelling the underlying ideas are if the features are impossible to build.

2D Considered Harmful

The first major issue is the huge focus on working with a two-dimensional output. In Brets defense, his essay is a response to Khan Academys new programming environment which teaches programming via Javascript and Processing. That said, its important to point this problem out as two-dimensional examples have permeated nearly all live programming research and it does the research a huge disservice.

So why is it a mistake to focus on 2D? Its too easy.

Its too easy to create awesome visuals that portray live programming as a panacea. Take a look:

Its easy to see this and be overcome by how incredibly useful such a tool would be. How awesome would it be to see exactly what every line of code did to our programs output?

However, we need to stop and think deeply about how this system would handle typical code. How do we generalize this solution such that it helps programmers building compiler platforms like LLVM and Roslyn? How will it help programmers researching neural networks? How will it help programmers writing line of business applications? Databases? Apps? Financial backends?

The vast majority of functions in todays codebases do not map nicely to a 2D output.

Bret is not the only dreamer to fall victim to the temptations of 2D. Apples Swift Playgrounds, IPython Notebook, Xamarin Sketches and research done at Microsoft all focus on 2D.

Two dimensional examples are harmful to live programming research. They oversell live programming and the connection between a line of code and an output. Live programming research should focus on making boring code easier to read and understand. This is the only way a live programming environment can make the transition from toy to tool.

RealWorld Code

An area left unexplored by Learnable Programming is running functions that accept complex parameters. This is problematic as most functions take parameters so they can manipulate them or do something interesting with them. Yet almost every single piece of literature weve encountered on live programming decided to ignore this.

Theres a huge difference between being able to provide a compelling visualization for code where the data is provided for us:

function myFunction() {
	var person = Person();
	person.Name = "Josh Varty"
	person.Address = "123 Code Connect Street, Waterloo ON"
	
	var result = DoTaxes(person);
}

and code where we must somehow create the data:

function myFunction(person) {
	var result = DoTaxes(person); //Oh God, what is this 'person' thing?
}

In the second example how does a live programming system synthesize a Person object? What if there are multiple constructors? What if it depends on ten other objects when being created? What if this object only originates from a database? Should the user constantly create these objects by hand when they want to edit any function in their program?

These are the questions that live programming research has ignored. Theyre uncomfortable to ask and theyre boring to answer. And while theyre not fun to think about, answering them is the only way a foundation for a live programming system can be laid. Bret notes:

Recently, some people have mistakenly attributed the live coding concept to me, but its not a new idea, its certainly not my idea, and its not a particularly interesting idea in itself. Immediate-update is merely a prerequisite for doing anything interesting it enables other features which require a tight feedback loop.

In order to do anything interesting, we must first answer boring questions and enable immediate update.

Alive tackles this problem by running a users unit tests. This ensure all state is taken care of and that all parameters are valid.

But this is by no means the only solution, and were not deep enough into our research to know if its truly the best solution. Other possibilities include:

All of these approaches have unique benefits and drawback. But as it stands no one knows what they are. Wed like to see others researching live programming investigate these questions of practicality.

The inertia of past success

Finally, the biggest flaw in Learnable Programming is that it completely dismisses the inertia of past successes. In his conclusion, Bret confronts the crucial question: How does this scale to real-world programming?.

This question deserves an answer, but Bret dismisses it. Instead he compares it to asking How the internal combustion engine will benefit horses. The internal combustion engine provided at least an order of magnitude improvement over the horse. It remains unclear whether a live programming system can provide even a 2X improvment over traditional environments. (If it can weve grossly underpriced Alive as it would mean saving a programmer tens of thousands of dollars of time!)

We need only look to history for evidence of this. There have been hundreds of attempts to replace Javascript. Coffescript, Typescript, Dart, not to mention you can compile virtually any language to Javascript.

Bret goes on, saying:

Here is a more useful attitude: Programming has to work like this. Programmers must be able to read the vocabulary, follow the flow, and see the state. Programmers have to create by reacting and create by abstracting. Assume that these are requirements. Given these requirements, how do we redesign programming?

This attitude is a losing one. For all its warts, bumps, pains and bugs, programming today works somewhat decently enough. The field has plenty of room for improvement, but not of the burn it to ground flavor suggested here. In order for programmers to sacrifice their massive investment in todays languages and tools such a redesign of programming would have to offer extremely compelling improvements. (Id wager theyd need to see improvement of at least one to two orders of magnitude).

So let me give an additional requirement: Any live programming system must interface fluently with existing languages and tools.

Final Thoughts

What Works

What Doesnt

Finally, let me thank Bret for his inspiring work in this area. In The Future of Programming Bret alludes to a worry of his:

The real tragedy would be if people forgot you could have new ideas about programming models in the first place.

Until 2012, Id never considered that there were different approaches to thinking about programming. I looked at programming as a solved problem. It wasnt until I stumbled upon Brets work that I considered programming could be changed and improved upon.

At Code Connect we owe him a lot and are eagerly awaiting his next project. :)

P.S. Were on Twitter: @CodeConnectHQ

Interested in our take on live programming for C#? Check out Alive!

Continue reading on blog.comealive.io