BT

Anders Hejlsberg and Guy Steele on Concurrency and Language Design

| by Jonathan Allen Follow 611 Followers on Oct 22, 2008. Estimated reading time: 1 minute |

An interview recorded at JAOO, Anders Hejlsberg and Guy Steele talk about concurrency in language design. Anders Hejlsberg is the chief architect of C#, creator of Turbo Pascal, and former chief architect of Delphi. Guy Steele is the creator of Scheme and is currently working on Sun's Fortress, a programming language that focuses on parallelism and mathematics.

According to Anders, the change in emphasis is that the focus on parallelism is moving from coarse task and process based concurrency to a fine-grained concurrency where "you want to break a single logical task into multiple workloads".

One of the areas Anders is working on is finding a way for the compiler to know if an object has been "revealed to the rest of the world" and using that information to determine if it is safe to mutate. The challenge is that programmers have been taught to write in ways that are incompatible with where they need to go.

Guy follows with defining two types of concurrency, those that are fundamental to the application such as transactional processing, and those that are the result of not having a single CPU that is fast enough. For the latter type he claims that developers would be happy not to use multi-threading if it were a viable option. He does not care if the language is functional or not, as long as you can tell the compiler where it's OK to use parallelism.

Anders counters that developers do not necessarily know if their code, or the code it uses, are actually safe. This is where the idea of making pure functions, functions without side-effects, able to call only other pure functions.

When the topic turns to functional programming languages they both mentioned there is a lot of interest in it, but acknowledge the problems with retraining developers who have already heavily invested in imperative programming skills. Anders also brings up the issue of efficiency in functional languages; specifically algorithms like QuickSort perform poorly in functional languages. He prefers a hybrid approach where there are "islands of purity" in an otherwise imperative language with a clear delineation between them.

Rate this Article

Adoption Stage
Style

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Tell us what you think

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread
Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Discuss

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT