Now, if one uses a homoiconic language, visual and text programming can potentially become (mostly) equivalent concrete syntaxes for the same abstract syntax.

See Android App Inventor, which uses visual blocks that compile to a subset of (kawa) Scheme.