The Bob Programming Language