choi's programming language