The point is that with sufficient pathology you can do high-level things in a low-level language, but not the inverse.

Too bad the point isn't true?

I've write code that looks nearly identical to C in Haskell all the time. (Except, of course, that `alloca` is faster than malloc and is garbage-collected.)

That's not exactly true though. Here's an example:

http://www.arduino.cc/playground/Interfacing/Python

Reinventing the wheel for lulz...