Currently exploring the design of programming languages