link to roger huang commentary on language of programming