The shark programming language