The Giraffe Programming Language