the conditional syntax he describes does exist in many mainstream programming languages
(x==y) ? a : b
(x==y) ? a : b
There are languages which have pretty much exactly what he describes (Smalltalk for instance), but "many mainstream languages" don't.
( X==Y -> A ; B)