[green_on_black]

I agree, but certain concepts exist strongly at the language level. Like functional programming, Haskell for example: the power of static typechecking along with good type inference, or functional/immutable patterns, or programs as data (IO monad).

Or Prolog and logic-based declarative programming.

Or any GC'd language.

Or a Lisp and its metaprogramming.

I daresay these ideas would be very difficult to see the practical use of, or "impractical" beauty of, without touching the languages.