Graydon Hoare: What next for compiled languages?

Since everybody is talking about this post,we might as well.

Key topics discussed: modules(you know, real ones); errors ("there are serious abstraction leakages and design trade-offs in nearly every known approach"); Coroutines, async/await, "user-visible" asynchronicity; effect systems, more generally (you could see that coming, couldn't you?); Extended static checking (ESC), refinement types, general dependent-typed languages; and formalization ("we have to get to the point where we ship languages -- and implementations -- with strong, proven foundations").

He goes on to discuss a whole grab bag of "potential extras" for mainstream languages, including the all time favorite: units of measure.

Feel free to link to the relevant discussions from the LtU archive...

By Ehud Lamm at 2017年08月20日 03:52 | Critiques | General | other blogs | 64581 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

(BTW: I added an Effects

(BTW: I added an Effects category).

By Ehud Lamm at Sun, 2017年08月20日 04:21 | login or register to post comments

Solid, but suspiciously typed

This is a solid reply that touches several very different aspects while giving good references, and it thus displays an excellent programming language culture and a (surprisingly ?) strong background on recent PL research.

One thing is more surprising to me: I could essentially have written the same reply. More generally, it sounds like what a literate PL researcher doing a PhD on a ML-family language would also write.

There are two ways to interpret this:
- positive: (some) people "in the industry" also share our focus on correctness and thus view the way forward as using better type systems.
- negative: Graydon comes from the same scientific sub-culture as we do, so his post is much less informative (to us) than a post from someone with a radically different viewpoint.

By gasche at Sun, 2017年08月20日 08:00 | login or register to post comments

More generally, it sounds

More generally, it sounds like what a literate PL researcher doing a PhD on a ML-family language would also write.

That would be a pretty accurate description of Graydon Hoare, except that he's shipped languages that people actually use instead of writing dissertations. :)

By neelk at Mon, 2017年08月21日 15:30 | login or register to post comments

Beware selection bias, and

Beware selection bias, and also AFAIUI Rust 1.0 is actually radically different from what Rust was when GH stopped working on the project.

By Bárður Árantsson at Mon, 2017年08月21日 15:39 | login or register to post comments

It's a fine list, and the

It's a fine list, and the references are on point, but don't you get the feeling that everything old is new again?

By Ehud Lamm at Sun, 2017年08月20日 12:16 | login or register to post comments

We once linked to an ancient

We once linked to an ancient tech report (if memory serves) about design considerations for error handling. I recall it was a nicely done document, and how pertinent the issues still are, but I can't for the life of me locate it. Ring a bell?

By Ehud Lamm at Mon, 2017年08月21日 11:38 | login or register to post comments

previously on this channel

Fwiw, we had a rather wide-ranging discussion on error handling back in 2010, which has links to various earlier stuff (e.g. there's a link to the Dylan manual's discussion on the subject, from the late 90s). Also in that LtU discussion, dmbarbour had a list of strategies.

By John Shutt at Mon, 2017年08月21日 13:22 | login or register to post comments

Thanks! I seem to remember

Thanks! I seem to remember something quite a bit earlier.

By Ehud Lamm at Mon, 2017年08月21日 13:24 | login or register to post comments

Some slides on the Noether

Some slides on the Noether language has a great overview on error handling. I believe this is a follow-up covering other, related topics.

The language sounds interesting as I'd expect from capability folks, but the slides don't give enough detail to get a feel for it, and the github repo is largely empty.

By naasking at Mon, 2017年08月21日 14:22 | login or register to post comments

everything old is new again

IMHO everything about computer science is still pretty new.

By John R. Williams at Thu, 2018年04月05日 19:22 | login or register to post comments

neonatal

Imho everything about computer science is very new; I'm not at all convinced we have much of a clue how to program computers yet. Half a century being nowhere near long enough to figure it out. Though I suspect the answer to the Fermi paradox may be that inventing the computer consistently destroys civilizations (by one or another means).

By John Shutt at Fri, 2018年04月06日 02:24 | login or register to post comments

AltStyle によって変換されたページ (->オリジナル) /