Languages I Want to Write

But in reality, there’s a ton of design space in programming languages that hasn’t been explored yet! It’s important that we continue to explore this space, not because every language will be good, but because some of them might bring new ideas to the table, or cause us to see how a combination of old ideas is amazing together. No one knows what it’d be like to program in a borrow-checked language with dependent types, because there isn’t one that exists!

Source: blog.wesleyac.com