A simple functional web client language