The S combinator is a sort-of generalised function application from combinator theory, the other most basic one being K.
proc S {f g x} {
$f $x [$g $x]
}See Hot curry or Combinator engine for much more.
[Can someone provide some context here on this page as to how this would be used in the real world?]