Education

I came across an interesting article called Should Java be banned from schools?.

The most interesting part were the comments. One of them rang a bell:

Also, no CS study is complete without some messing with machine level instructions, compilers & interpreters, algorithms, etc. Forget about learning a language: a good CS student must be able to design and build language + tool set from scratch. Here’s a CPU manual, go implement language foobar for it. Don’t come back until its compiler can bootstrap itself.

The problem is that many so-called universities don’t teach all this stuff. These second rate universities are popping up all over the world. They’re called universities but they are just processing mediocre programmers into cubicle occupying, php/Java/VB hacking zombies.

There is a lot of truth in that. Discuss.

PS: My favourite anti-Java article is The Perils of Java Schools – mind you, I like (and teach) Java…

PPS: The above image shown Emacs, my current Erlang IDE. I teach Erlang to my Concurrent Programming & Parallel Processing students.

I’ve just come across an excellent article on eWeek titled Programming Superstars Eye Parallelism where some of the brightest computer scientists ever discuss on the Next Big Thing (TM).

James Gosling, creator of Java at Sun, Anders Hejlsberg, creator of Turbo Pascal at Borland and C# at Microsoft and Bertrand Meyer, creator of Eiffel reflect on “”What will you do with a 4,000-core machine?”

Multicore processors

Most of us buying computers now have dual-core processors like the Intel Core Duo I have on my MacBook. The same company has communicated on its Tera-Scale research program and has announced that 10-cores processors will be ready in two years. Intel is even experimenting with 80-cores processors…

Sun Microsystems already sells an 8-core processor with 4 hardware threads per core = 32 threads. It is, of course, the UltraSPARC T1 (Niagara) processor. It even has a successor called T2 which has 8 hardware threads per core i.e. 64 threads…

So the future is going to be massively multi-core.

The problem

Anders Hejlsberg says that “the models we have today for concurrency don’t work. Developers need to move an abstraction level up and he sees a resurgence of functional programming and its influences.” And the others agree.

Simply said, the way we program today (with C/C++/Java/C#/whatever) does not work on massively multi-core processors. This is because of state being shared among the cores and, hence, the necessity to use synchronization mechanisms a lot. The immediate consequence is that it becomes impossible to write programs which are free from deadlocks and starvation as the number of possible interleavings is massive. Exhaustive testing is impossible.

Functional programming to save the world

Joe Armstrong, the creator of Erlang, has spoken eloquently on why functional programming languages, which can be defined as languages without variables, are much more suitable to write concurrent (and parallel) applications than imperative languages that we all use today (like C/C++/Java/C#/etc)

Basically (and I quote),

    No Mutable Data Structures = No Locks = Easy to parallelize!

Incidentally, this is one of the reason I’m teaching Concurrency and Parallelism: I so deeply want functional programming to succeed!

I have been using Erlang for a month now to teach concurrent programming and, in my opinion, my students have loved it (and I too!)

Conclusion

The future is concurrent and parallel. And, according to the best, the future is also functional (very interesting things are happening in research, for example, F# and Data Parallel Haskell). Erlang is already here and is beautiful (and powerful).

I knew those hours I spent learning Scheme when I was younger were going to be useful.

I’m happy.