A Language for Programmable Applications