Here's why people are working on languages for computers that barely exist