I find myself growing more and more passionate about the idea that we've barely scratched the surface when it comes to building intelligent tools that can and should amplify our capacity as human beings. If a person can figure something out, then it should be possible for a machine to figure it out. It just takes a human brain with the insight and determination to program that machine with the right rules.
The itch of asm.js
I think the seed was planted when I read Vyacheslav Egorov's thoughts on asm.js. Something had rubbed me the wrong way about asm.js1 for a while but I couldn't quite put my finger on it. If I had to pick an excerpt from Egorov's post that best sums it up for me, I suppose it would be this:
Let me explain. Keep in mind I'm writing at the moment with performance as a mere reference point. There is a lot more to the static/dynamic divide than just efficiency; type safety is also a tool to reduce bugs, for example. But we can save a broader look at the issue for another day. I don't really have any bones to pick with static typing per se.
Do we go higher or lower?
My opinion is that the arrow of progress points up from lower-level to higher-level forms of expression. This has to do with leverage. We use higher-level languages so that we can do more with less code. It's the same reason we have levers and pulleys: so that we can lift and move heavier things with less human exertion.
Slowly forwards, not quickly backwards
On some level I acknowledge that this is fantasy. There are compatibility reasons, education reasons, political reasons, all sorts of reasons why technologies stick around and their trajectories overlap. That actually doesn't bother me so much.
What I don't like is to see things going backwards. This is what I think subconsciously4 got me so fired up when I first started work on Lazy.js. On the issue of performance, @jdalton's initial feedback on what I was trying to do was:
It's better for devs to rethink, strip down (reduce abstraction), and simplify to improve performance.
The funny thing is that what he said is absolutely true—except for the "better" part: that's where I take issue. I thought, So we have to trade, then? Abstraction for performance? To me this is a false dichotomy. I mean, it's maybe true at a microscopic level, but it shouldn't matter. The fact that Lazy.js was fairly weak on performance at the time (this was in the very early days of the project) wasn't fundamentally about abstraction; it was just about code that hadn't really been tuned. To reduce abstraction would have been to retreat.
So whenever I see things progress in that direction, away from abstraction, to me it smells like defeat. Maybe I'm being ridiculous; that's just what it seems like to me.
We do this because we develop Stockholm Syndrome when it comes to our tools. They shape our way of thinking, and then they make us feel safe. Meanwhile we scoff when we see new technologies fall down and scrape their knees. And so we still have developers retreating from Ruby, or Python, or whatever, and writing web applications in Java even now. And we see bright people proposing new solutions to improve performance by sacrificing expressiveness, making our languages uglier and more verbose in order to dish out more hints to the computer.
I'll say it again: if a human can figure it out, we should be able to make a computer figure it out. We shouldn't have to spoon-feed our tools. We should make them smarter.
Just keep swimming
I want to reiterate here that I'm really speaking about something pretty general. If I've come across as particularly harsh towards any technology (like asm.js, which is really intended to be a compile target and so I've skapegoated it a bit here) it's more for effect than out of genuine antagonism, just to have something concrete to talk about. This isn't really about asm.js, or GWT, or Java. My point is that we should be enthusiastically seeking out more leverage from our tools.
So, I want to see more of that. More killer abstractions that encourage new approaches to complement the pursuit of performance, rather than clash with it. More expressive forms of developing software (or any kind of new technology). More optimization to support those expressive forms, without retreating back to the less expressive forms.
Again: I know this is very idealistic. Don't take it too seriously. I just want smarter tools, people.
Let me be clear about something: I don't actually have any beef with asm.js specifically. Considering the fact that it comes from Mozilla, and that it's been garnering a lot of attention since its proposal, I'm pretty confident there are very smart people behind it and that if we were to talk about it they'd have great points to make. This post is really about a much more general arc that I see, and asm.js represents a single point on that arc. ↩
Programming languages are simply grammars and vocabularies for expressing instructions. One is no more "faster" than another than English is "faster" than Dutch. But when we talk about these things, we're talking about compilers, runtimes, implementations. ↩
Actually, this is misleading. As I already said, a language is just a language. There's no reason you couldn't implement a JS runtime that allows you to directly control hardware. In fact this already exists. But I digress. We're speaking in generalities here. ↩
I would be lying if I said I was already actively thinking about this topic at the time. But ideas have a way (for me at least) of starting off as nebulous feelings that only crystallize long after the first seeds have been planted. ↩