On: You can't dig upwards

[tel]

I think you should learn C to learn how computers work and learn Haskell to learn how languages work. Those two are remarkably different ball games despite the supposed identification of the two that persists today.

[tptacek → tel]

I'm tempted to say you should learn C to learn how computers work, and Haskell to learn how computing works.

[tel → tptacek]

I'd say that for one of the terminating languages (Agda, Coq) perhaps?