The Djinn Programming Language