Dice programming language