I am not really a fan of code golf, but I have to wonder, is there an esoteric language designed for it?
I mean a language with following properties:
Common programs may be expressed in very short amount of characters
It uses ASCII character set effectively (for example, common operators are not identifiers, so they don't have to be separated by whitespace, character usage is distributed more or less evenly because we cannot use Huffman coding and so on)
Except the terse syntax, it should have very expressible and clean semantics (like, let's say, Python or Scheme); it shouldn't be difficult to program in
It doesn't need features for large scale programs, such as OOP, but it definitely should allow custom functions and data structures
It should have a large standard library, identifiers in this library should be as short as possible
Maybe it should be called CG? Languages that can be a source of inspiration are Forth, APL and Joy.