back
73 comments
Imagine we build the ideal programming language that both technical and non-technical humans alike can understand. What does it look like?

I'm thinking about Excel spreadsheets. Let me elaborate: a non-technical guy creates a monstrosity: one of those spreadsheets that "works", and tasks the programmer with maintaining it. At every level, the non-technical understands what's going on, because he is familiar with most formulas (that's the beauty of Excel IMO). He just wants the programmer to focus on making sure that everything works "just fine".

Forget for a moment about what "just fine" means. Let's say they can go back and forth until they can convey what they mean to each other.

My point is that the very first sentence of the post is not correct.

> “The world’s been divided into people who can make software, and the people who use software all day, and basically we think that that paradigm is not a good one. It feels kind of broken,”

A non-technical person CAN indeed make software... he just can't make maintainable software, and eventually his incompetence backfires.

If I'm correct, then Corda and other tools aimed at "making the laymen build software" are solving the wrong problem. The spreadsheet, and before that a piece of paper, just solved that problem. What the laymen need are the mental tools that a programmer uses to "speak" about software, in the sense that what a human can see on the screen isn't the whole picture of what technical people mean by "software".

Hope I made myself understood. Can anyone assist? Am I wrong?

A personal experience of a programmer who worked in a dozen different industries and in different roles up to CIO level is that non-programmers do not need tools but training. Once people raise to the level of their incompetence, they do not go back to school but persist in the old way of working or find comfortable workarounds.

Catching the moment when someone can not do their job efficiently anymore is an HR problem, and businesses can not rely on introspection and self-evaluation to work in this situation.

One of the worst type of projects we did was migrating overgrown excel bookshelves to a real database/app. The level of inconsistency and bare errors you’ll meet there is fubar. 90% chance of an integration failure because an entire business is not ready for that much to change and formalize.

That said, I believe that “dumbness” and non-evolution of excel (as a biggest player) is a root cause. If it wasn’t just a bunch of cells with chaotic references, but suggested a user to think in a strict “tabular datasets with comments, RLS and history” way, things could be much better (or worse, depending on how you use it).

Basically, in “show me your data, not code” excel is the latter, and that’s pushed to an innocent user. The result is pretty obvious.

From what I've heard, Lotus Improv (1991, failed 1996) was intended as a spreadsheet where each data set was stored in a separate namespace/object/table, which had named columns/rows, or even more than 2 dimensions. Apparently Quantrix is a successor used in the business/financial world, but is unfortunately not free or open-source. That's a shame, as I want something of that sort for casual scientific computation or statistical number crunching. Maybe I can use Python pandas or R dataframes, but spreadsheets have the useful trait that they're functional and side-effect-free, unlike scripts or notebooks.
You mean turn it into a different tool called Access or formerly FoxPro?
I agree with you, it's a basic problem for any skill. Anybody can draw, but drawing fine art requires the knowledge of the structure and tools used to draw it.

I suspect trying to build a programming language to stop having to think like a trained programmer, is a doomed project.

But, I can well imagine an art assisting program that I can feed my doodle to that can return a photographic (or other artistic) rendering of a person in that pose, even such that I can rotate the image, alter the pose, perhaps even animate it.

I still perhaps wouldn't understand why I should have chosen other poses, or why the lighting doesn't work, or why my material choice for the clothing fabrics hampers the expression I was seeking ... but it seems like an artist could come and touch up those elements.

Surely a similar level of thing could be done for programs (eventually)?

I'm a non-programmer in a new work environment where I'm feeling like I want to modify all the programs and add some functionality. In particular I've a lex-parse process I'd like to automate, relatively easy to describe sufficient to do it (with time I'll probably do it myself in PHP/python). But, doing that "doodle it" routine for such a simplistic app would be really useful.

Yes, whenever I've had to help people struggling with their tools I found the problem starts well before they reach for the keyboard. They usually have problems decomposing the requirements to the constituent parts, often they can't even explain what they are trying to achieve.
I think iOS Shortcuts gets pretty close to a programming language for normal people. You aren't going to write anything super-complex, but regular users can eliminate some pain points in their daily grind with a small amount of effort.
You’re assuming such a language is necessary is where this goes wrong.

Non-technical people should be able to use their native cultures language to query for answers. Or in the case of scientists & mathematicians, the well defined symbols & glyphs of their field.

Programming is the act of organizing information for a specific context, ideally efficiently to the computer, but that’s not a requirement. Clearly organized results are the only real requirement of software. All the rules we add on these days are to the benefit of corporate keeping things tidy by pretending making software is like building a car.

As someone getting into data science as a hobby, I have no interest in Python or R syntax. Like with PGP & a host of other issues, terrible UX is an impediment, and an artificial shield for those that slog through learning what is really superfluous crap given their actual task of making sense of business data.

Give me an app where I can select a database, and compose a math equation with nothing but plain math, as like React components, or a word processor with scaled up Unicode symbols, or use a game engine like Unreal, for all I care.

And for day to day life things like Siri are fine.

This is my huge beef with the tech world is believing everyone needs to fetishize source code to use a computer.

The “design is life” era has resulted in a ton of boring/limited business “apps”, and over designed one off UX that lacks broad application.

Software as a marketplace in general is suffering the App Store problem: it’s so easy to copy-paste SOMETHING out the door via Github or however, we’re socializing around the most visible, IMO, well known concepts, minor iterations on known information.

Often wonder if there’s a theory there that might explain why society is where it is lately: we’re not generating enough emotionally unique information. Just fetishizing minor improvements to well known emotional norms.

I have a friend, an engineer but not a programmer, who wrote a fortran program he's been using for decades to solve real problems.

But then recently he had to solve it for 10 different things instead of one. So he copy/pasted his calculations 10 times. He said the problem he was running into now was when he tweaked something, he had to change something in 10 places.

I think that's how normal people solve problems. They just bumble ahead doing what they know will work, but it's not pretty.

As a programmer and every day user of really advanced Excel shenanigans, I can confirm your view is pretty spot on. The fact that I have the mental model of a programmer means I instinctively follow best practices that non-programmers simply can't get into their heads. Namely: keeping data and presentation separate, DRY, the concept of named variables, understanding how array formulas work and why you can map functions to intermediate in-memory vectors, the list goes on...
> Imagine we build the ideal programming language that both technical and non-technical humans alike can understand. What does it look like?

I think it would look like a component architecture, with Elm syntax.

As someone that barely programs but still hacks on open-source, I just want the code for one thing to be in one place, not spread out across 4 different files.

And I want one action/object to have just one name. Not three names like createServer, newServer, server, etc

It would depend on the scope of what people are trying to achieve, at a certain point of complexity you pass from being a "non programmer" to being a programmer due to all of the inferred learning you get from experience.

I know a handful of non programers who can automates tasks in their everyday workflow but as you say they're not maintainable pieces of software or particularly transferable, they are custom tools they create for their own flow.

Your input makes perfect sense! Is Corda the tool they need to "upgrade" their capabilities? Or is it something deeper that comes from "actual programming".

We seem to understand what a programmer is and what is not, but the "blurred line" between the hackers and the paper pushers is unknown.

> A non-technical person CAN indeed make software... he just can't make maintainable software, and eventually his incompetence backfires.

Sure, and then they just pass it off to a competent technical person. It sure would be convenient if these people used the same language! Right now, when a non-programmer starts a project in Excel, and then hands it to a programmer to make into a good, maintainable version (perhaps as a native application, or a web application), the programmer has to start from scratch. That's an awkward discontinuity.

There's no reason I see it always has to be that way. We just haven't prioritized the ability for a non-technical person to make something, and also for a technical person to be able to pick it up and turn it into a full system.

I think you're wrong. System thinking and abstraction are required, unless the users have some mileage in it or a natural talent, they will hit a wall real quick.
I think you're right. System thinking and abstraction are natural talents. Not everyone is good at them.

I used to know someone who didn't get basic algebra. She wasn't stupid in other ways, but she just couldn't make that leap from arithmetic to the first level of symbolic abstraction.

If you spend all of your time working with people who find abstraction easy, it's hard to understand that a lot of people really don't.

One possible explanation for why non-technical people "can't" build software is simply that they don't want to learn how to do it. But that isn't the problem that Corda is trying to solve, I gather. The client avatar for Corda is, I reckon, the guy who wants to "hit the ground running" and become able to speak "software" to a programmer.
Yep, more people should be starting from spreadsheets and figuring out how to make them more capable of correctness and maintainability, instead of starting from programming concepts and figuring out how to make them more accessible. Most people who work in businesses already know how to program, they just do it in formulas in spreadsheet cells.
The word technical in the original sense means being skilled in a craft. So anyone who can make software is by that definition "technical". Where would you draw the border between technical and non-technical persons?
https://en.wikipedia.org/wiki/Javelin_Software tried that; the people who liked it loved it, and then it crashed and burned.
Hah, most programmers can't make maintainable software.

I see programming mostly as a mindset. Like doing algebra. You couldn't do it as an infant, because you just didn't understand the concept of using letters instead of variables.

Of course, there usually is a level of complexity that you need to get used to as well, but you can also see this as a defect of most API's, or as an inherent quality of doing anything nontrivial.

I think you are wrong. excel can be evil and cause immense pain and suffering https://qz.com/119578/damn-you-excel-spreadsheets-jp-morgan-...
Tool itself is at https://coda.io, seems similar to but more powerful than Notion, (https://notion.so) which I have used, with pricing to match.

Tangentially, it's good of Panic to link to the above at https://www.panic.com/coda/ - or perhaps they were just getting fed up with dealing with people in the wrong place!

I'm a little bit obsessed with keeping up with solutions in this space, and I've been watching both Coda and Notion for a while.

Coda actually just released their v2.0 a few days ago which has brought some much needed bugfixes and stability improvements. I've had some time to discuss larger strategy with their team, and I can tell they're working really hard to "strike the right balance" between easy to use / discoverability and capability.

I definitely like their product, and am following them going forward. If you're at all interested in this space, you should check out Coda just for the sake of seeing where we are (as a field) in solving this problem.

Coda bought the name from Panic.
I have not looked into Coda yet, but have a few observations on the user / programmer divide.

To me, spreadsheets are just another programming paradigm. I have seen business users build impressive things using Excel (excluding here VBA). I'd even say that in terms of raw productivity (i.e., just in terms of business problems solved over time, without any consideration for maintainability etc), the spreadsheet paradigm is vastly superior to the regular textual programming paradigm – as long as the problem is simple enough. And most of normal business is dead simple.

As soon as the process or problem hits a certain complexity, the Excel solution becomes painful to use, understand and change. I believe this is in part specifically fault of the tool - while Microsoft has been doing a great job in terms of power user features (Power Query, PowerPivot), they have apparently not been willing to extend the spreadsheet paradigm itself to meet the requirements we demand from business software, which is a pity and missed opportunity.

Secondly, what I have also observed is that most users, even users building complex workbooks, are not willing to make the jump to textual programming (e.g., VBA). I think programming in general requires a high level of frustration tolerance that most people are not willing to bring up except when they really have to (e.g., to use Excel, which is basically unavoidable in 99% of businesses).

To summarize, there is still room to come up with a system that makes building simple things as simple as Excel, while being flexible enough that it scales to meet production software requirements.

I like going the other way where as a "Programmer" I don't need to program so many things. Most "things" can be declared: text, html, lists, trees, tables, databases, ...

For example in XFCE, I can add an "Applications Menu" to the menubar (panel) and use a custom menu file with a list (or tree) of programs to run. The icons, labels and how to run the programs are declared in .desktop files -- no "programming" required.

I'm not terribly excited with the idea of making spreadsheet style programs easier, but I suppose it can't hurt, either.

Personally, I think programming languages becoming closer to spoken languages would be more useful. I first learned of that concept from this Reddit thread:

https://www.reddit.com/r/linux/comments/da718w/i_think_the_f...

There, the author of the thread talks about the benefits of Inform 7, a programming language specifically designed for creating interactive fiction games. It's an incredibly impressive bit of work, and is the most promising path toward getting regular folk into programming.

I also came across this interesting article from Wolfram:

https://blog.wolfram.com/2010/11/16/programming-with-natural...

which goes into natural-language programming and how they will (hopefully) become dominant in the future.

Do you have an idea on how to solve the fuzziness and ambiguity problems in spoken language?

This IMHO is the largest problem with spoken language, no parentheses, lots of synonyms/homonyms etc.

> programming languages becoming closer to spoken languages

One word: AppleScript

We've all seen incredible things built in spreadsheets. Spreadsheets are plenty powerful. I haven't met a clever+motivated person yet that couldn't build something incredible in a spreadsheet.

What I think is missing is a way to help the author (and other team members) make sense of the artifact as it gets more complex.

Much of the development in computer languages and toolsets in the last 50 years have helped us make sense of ever-increasingly complex programs.

With spreadsheets for example, you are basically forced to find a cell that seems to have data you like. Then you have to back-track formula references + check for macros/scripts and hope that no references have broken.

I humbly submit this is a problem that a team like the Coda team should be solving.

Excel needs exactly one thing to blow open the doors on productive programming: a new "function" data type. Since it's just a data type, you put it in a cell just like any other data type. Have some way to call it, like `A1(arg1, arg2)` or something. Now you can leverage the full capabilities of Excel to manage it, name it (named ranges), etc just like other data.

A more sane expression syntax might be nice too, but isn't necessary to make Excel more productive for abstract programming.

Sometimes I wonder if the people of the 1960s (i.e the people who came up with lisp, multics, unix) had the right idea: to use a computer you should program it.There are many programs, each does a different thing, you program your final product by composing programs. Users of the final product are the programmers.

I found myself being frustrated recently at Lifx smart lights. I had wanted to put a slider widget on my home screen of my phone. There is no way to do that. The only way is for me to write my own program. I started work on it, then had to wade through ridiculous amounts of documentation on the lifx api site, android docs. I still haven't finished it.

Consider on the other hand, if android were a massive lisp environment where every API is available in the global scope - think emacs - how easy would it be to program the things you want!

Now I use Lifx as an example and I appear to be bashing them. I am not. At least Lifx publishes their API for consumption. Another time I tried to pipe an app that generates white noise for sleep to another program (TL;DR I was too cheap to buy a Sonos), but alas no publicly accessible API. I had to hijack the BT stream to do something remotely useful to it.

You may think the solution is to get people to publish accessible APIs. I think that's a band aid solution. The core issue is somehow programs have become less composable over time. Far from the original ideals. Programs become standalone products.

I think we as an industry made a wrong decision turning programs into products. We should have kept programs as programs - make them super composable, and then let the end user design their own products that fit them best.

> Sometimes I wonder if the people of the 1960s (i.e the people who came up with lisp, multics, unix) had the right idea: to use a computer you should program it.

It's the right attitude to take, but let's try to provide some definitions. What does it mean "to program"? Certainly we have contemporary ideas of what it all involves. But at the end of the day it's hard to come up with a more encompassing definition than "telling a computer what to do (and possibly what to do later)." This means that by merely "using" a computer (ie through a GUI or whatever -- manipulating it somehow) one is, by this definition, doing some kind of programming.

With that definition in mind, we now see that the systems we have provided users are completely hamstrung. We have given them limited environments and languages (languages here being mostly of a visual/UI variety) to work with.

What's worse is that we have goo examples from even recent history about how alternatives can work: Visicalc, Hypercard, Smalltalk, etc.

Insofar as these conversations rely on discussing "programming languages" -- a loaded term, and only part of the picture really -- rather than whole "computing environments," then we tread further down a losing path for everyone.

Aaron Hsu’s talk on APL - I think this talk - https://youtube.com/watch?v=9xCJ3BCIudI - has a more radical interpretation; by the time you’re using lisp to compose lightbulb apis and Bluetooth stream hacking, you’re already past the point of divergence that you mention and are on the wrong side of it.

APL does the hard part of choosing composable functions and presents those to the user, as a simplified interface. Sorting isn’t a global namespace of thirty different sort algorithms so you can delight in picking the exact one you want, sorting is one character (⍋) so you can use it as a composable building block and not care about the details.

I might agree that the core issue is that programs have become less composable over time - but what you ask for doesn’t seem to address that at all. Part of the job of designers and creators is to make simplifying decisions on behalf of users; I don’t want the lightbulb raw interfaces to be exposed to me as an alternative to a crummy closed app product, I want a well designed composable app product as the api I use - all at once, so I don’t have to care about negotiating access tokens or header padding anymore than I have to care about LED heat dissipation or mains smoothing inside the bulb when I flick a light switch.

For composition I want Lego not a machine shop, and I accept compromises in ability to get that. I want grep not fopen().

When you say you want composition what you’re asking for is a machine shop; not a bad thing to ask for, but completely different from where you started out with Unix shell composing of finished product programs which you originally said you wanted.

>Sometimes I wonder if the people of the 1960s (i.e the people who came up with lisp, multics, unix) had the right idea: to use a computer you should program it.There are many programs, each does a different thing, you program your final product by composing programs. Users of the final product are the programmers.

So if I have a computer and I want to access the internet, I should have to write my own browser first?

No... "to use a computer you should program it" isn't a philosophy, it's a technical limitation from when "programs" were simple and everything ran in a terminal, and no one but engineers and students would ever be expected to touch a computer in the first place, and it doesn't scale.

Should people be able to write software for their own computers? Yes.

Should programming be considered a normal part of computer use, and be far more common than it is, with systems and software being more open than they are? Yes.

Should people need to write their own software? NO.

>I think we as an industry made a wrong decision turning programs into products. We should have kept programs as programs - make them super composable, and then let the end user design their own products that fit them best.

It wasn't entirely wrong. End users don't want to write software, they want to use their computers do to things - and most of those things now require multiple thousands or millions of lines of code written by engineers with domain specific knowledge. Turning programs into products is a way of managing the complexity necessary for software that's useful to people in modern society.

Lisp as end-user extension language?

> The language that you build your extensions on shouldn't be thought of as a programming language in afterthought; it should be designed as a programming language. In fact, we discovered that the best programming language for that purpose was Lisp.

> It was Bernie Greenberg, who discovered that it was (2). He wrote a version of Emacs in Multics MacLisp, and he wrote his commands in MacLisp in a straightforward fashion. The editor itself was written entirely in Lisp. Multics Emacs proved to be a great success — programming new editing commands was so convenient that even the secretaries in his office started learning how to use it. They used a manual someone had written which showed how to extend Emacs, but didn't say it was a programming. So the secretaries, who believed they couldn't do programming, weren't scared off. They read the manual, discovered they could do useful things and they learned to program.

> (2) Bernie Greenberg says that Dan Weinreb's implementation of Emacs for the Lisp Machine came before Greenberg's implementation for Multics. I apologize for the mistake.

~ "My Lisp Experiences and the Development of GNU Emacs" (Transcript of Richard Stallman's Speech, 28 Oct 2002, at the International Lisp Conference). https://www.gnu.org/gnu/rms-lisp.html https://news.ycombinator.com/item?id=20374467

What id love to see more is blurring the line between user and designer. Too often software gets in the way of the user and simple tweaking to an interface etc. can make a world of difference. Unfortunately this is usually either not possible or involves a user navigating endless configuration options or worse configuration files. Maybe that’s not a big deal to us in the software industry but it is a huge problem for your average user.
I agree. There's no reason we can't have this, we've had tools like Delphi and VB for a long time now. Why can't I just choose widgets from a palette and make my own Outlook interface?

Maybe it could even be taken a step further and turn it into a UNIX pipeline composition equivalent in GUI form. Trying to imagine what a system could look like, I see a kind of tiling window manager in which you can place arbitrary widgets (list views, sliders, text entry, etc) and hook together their inputs and outputs, maybe with a little scripting glue.

According to my own distinction, Blurring the Line Between User and Programmer is unpossible:

A user is someone who asks why a software is not working (and even in the 21st century this is still far more common than it should be).

A programmer is someone who asks why and how a software is working. Eventually this also includes failure modes, so the user's question above will not stay unanswered forever.

> Blurring the Line Between User and Programmer is unpossible

And why on earth do you believe that this difference in mindset cannot be taught?

This reminds me a lot of Word. You can embed a spreadsheet and you can add code to the document (I even remember using VBScript back in the day). What's old is new again?
Not directly related, but The Whole Code Catalog seems to be a really interesting collection.
To avoid confusion, it's from the same author: https://futureofcoding.org/catalog/