Whenever I come up with a programming project, it always converges to the same damn idea.
Suppose I want to make a text editor. Well then, it better be programmable. And it better be distributed. You should be able to open buffers on your iPhone! And other people should be able to open your buffers, if you let them. Okay then, we just need a programming language, a distributed computing platform, and a text editor. Check.
Suppose I want to make a video game. Well, it better have multiplayer. And players should be able to write mods in a convenient language. We might as well have a development environment suited to that. And why not let them work collaboratively online? Okay then, we just need a programming language, a distributed computing platform, and a text editor. Check.
Suppose I want to make a peer-to-peer social network. Of course, users and developers should be able to program apps for this network. So we just need a distributed computing platform, a programming language, and… why not a text editor? Check.
Every single damn idea expands until it contains a peer-to-peer platform with its own programming language, that uses a full-blown theorem-proving type system to let people prove their code will safely run on others’ systems without all the runtime checks that would have been necessary.