[Palomides]

I think it's weird to suggest that programming languages are under-investigated, and the discussion he gives of it makes me question his conclusions about other fields. There are vastly different paradigms completely orthogonal to the hierarchy in that image the author uses. I don't think getting people to stop using assembly/C/fortran/cobol/php/whatever is a research problem.

[t_mann]

His list regarding economics also raised my suspicion: anti-corruption, union organization, charter cities,... I couldn't really believe that no one was seriously studying these questions, so here are some results from literally 5 minutes of googling:

https://www.tandfonline.com/doi/abs/10.1080/0969229100360783... https://www.jstor.org/stable/2522141 https://ideas.repec.org/p/ess/wpaper/id2471.html

and there are even dedicated Master's degrees for some of those questions: http://www.lse.ac.uk/study-at-lse/Graduate/Degree-programmes... http://www.lse.ac.uk/study-at-lse/Graduate/Degree-programmes...

conclusion: if you're not an expert on the matter yourself, you should be very careful when claiming that something is under-investigated. maybe it's just harder to come up with useable solutions than you think, and that's why you haven't heard of any. at the very least you should spend 5 minutes to google it.

PS: be generally cautious of anyone who writes or talks as if hew was an expert on no less than 10 entirely different disciplines.

[semi-extrinsic]

> makes me question his conclusions about other fields

I think this list makes no sense unless it is made into a wiki of some sort with community contributions from hundreds of people.

Under "Physics", he has a sub-heading "Increasing Iteration Speed of Experimental Physics". This section mentions one random startup. Yet CERN has hundreds of people actively working on this topic for decades.

They invented, built and implemented the world's first capacitive touch screen control system in the period 1972-1976 specifically to answer this need. That's just one example off the top of my head.

[throwawayjava]

> I think this list makes no sense unless it is made into a wiki of some sort with community contributions from hundreds of people.

You'd just end up with a lot of noise. The person who wrote this list even has a few scientific publications, which is more background than most people who contribute to the wiki would have.

Perhaps we could create a Foundation that pays a group of scientists a modest salary to spend all their time curating the list. The public can send the Foundation any comments they want.

Of course, the Foundation can't pay enough people to do all the work itself. So they could crowd-source some of the work to people from various fields who know enough about the field to judge what's really under-investigated vs. things that are already thoroughly investigated. Those groups -- panels, let's call them -- could get together and make recommendations to the Foundation.

The Foundation employees could form panels, get their recommendations, and the synthesize that into a list.

And if we're going to all this work to create a good curated list, then maybe the government or donors or whoever could even fund some of the ideas that come out of the final curated list. Not a ton of money -- just enough to hire one or two people to work on the idea for few years. Maybe call the final curated list a Portfolio or something.

IDK what we could call such a Foundation. I guess if the government funds it we could call it the National Science Foundation or something list that. And if it's private, probably focused on more near-term stuff, maybe "VC firm".

Sounds like a really good idea.

[randallsquared]

> in the period 1972-1976

Did you mean "for decades", or "decades ago"? I'm not sure any notable result from half a century ago qualifies any of the list he's creating for modern research (without regard to the quality of that list).

[semi-extrinsic]

I'm trying to say they didn't stop doing it. They've done it for decades.

[TheAsprngHacker]

Agreed, and Scratch is hardly the pinnacle of programming language theory.

I was talking to professor Shriram Krishnamurthi a week ago about a block-based, educational ML dialect I was making, and he told me that he believed that once a language had a type system as sophisticated as mine, its target audience should be using text, not blocks. So, perhaps Scratch-style languages are a dead-end, or infeasible beyond a certain level.

My personal hope for the "next level" of programming languages is those that use typed holes to interactively help the programmer construct the program.

[lonelappde]

Why do you think a block based language would be good for learning ML?

My impression is that blocks would be good for learning concepts without accidentally overfitting on syntax, but for writing real programs, blocks are hopelessly inefficient for input and editing. Then again, letting the user input text but automatically convert to blocks by continual parsing, might be the best of both worlds. Sort of like emacs lisp parens mode.

[throwawayjava]

I had the same reaction.

There are easily thousands of people working on building higher-level programming languages/models. A very short and very incomplete list of entire subcommunities of PL working on languages that are higher-level than java/python:

1. The ML family -- OCaml, SML, Scala, F#. I think it's very fair to say that these are "higher-level" than imperative OO languages. And you can definitely get a job writing OCaml or Scala or F#...

2. A whole bunch of programming languages/primitives/paradigms aimed at making concurrency/parallelism/distributed systems easier. Erlang, X10, session types, Manticore, etc. Rust might even belong here.

3. Programming languages that incorporate resource/complexity analysis.

4. Literally decades of work on visual programming languages (which have mostly resulted in modern IDEs and teaching tools like Scratch).

5. behavioral types

6. linear types (again rust kind of fits here)

7. dependent types

8. I would also argue that systems like tensorflow and pytorch are really a sort of programming language -- they have a very different model of computation than the host language. Just because they don't have a parser/compiler/etc. doesn't mean they aren't a programming language, imo.

9. Tons of other stuff that doesn't fit in the major categories above (e.g. netkat).

10. I mean even SQL belongs in this list.

Even for language/models listed above that don't have large adoption, the ideas are often incorporated into more mainstream languages in one way or another. So there are significant projects developed in each of these types of languages (with the exception maybe of behavioral types and session types).

Higher-level programming Languages is one of the most explored areas of Computer Science -- if anything, it's an over-explored field.

This is less a list of "underexplored ideas" and more a list of "over-hyped ideas with over-crowded communities". Every item on the CS list is the sort of thing that an ungrounded undergrad research intern would want to work on.

Some of the descriptions in other fields have a similarly dilettante vibe to them. E.g.,

* Bio: math bio is a huge community and all those folks are well-trained in chaotic dynamics. you can say it's under-explored, but there are probably hundreds of people working on this right now and at least thousands have in the past few decades.

* Math: there's a section on subspace packing with a side-story about a proof assistant and the author doesn't even mention Hales...

* physics: Building machines to automate experiments is definitely the sort of thing people get paid to do whenever there's a large enough market (and even sometimes when there isn't). similarly, Nuclear-powered propulsion is underexplored... as long as you don't count the militaries of the major nuclear powers, that is.