Quantum computers aren’t yet practical, but Microsoft has already developed a programming language for them. Q# works inside Visual Studio, just like most other languages, and could offer aspiring programmers a chance to learn the basics of quantum physics through trial-and-error.
Computers are about to get weird.
After decades as theory, the first quantum computers now sit in a select few labs across the globe. They’re rudimentary, and arguably less practical than early electronic computers like the 50-ton ENIAC. Yet researchers are making headway. IBM, Google, and Intel are making progress on quantum hardware, and a practical quantum computer finally feels like a near-future reality instead of a subject for science fiction.
That’s an opportunity. It’s also a problem. Quantum physics is a weird realm of teleportation and probability that doesn’t follow the rules we’re familiar with. Most people don’t understand quantum mechanics, and that includes programmers, the people who will need to put quantum computers to practical use.
Microsoft has a plan to educate them.
Any developer looking to learn a new programming language, like C# or Javascript, wants to make immediate use of her lessons. Yet quantum computing’s infancy can make that difficult. Creating a program for many quantum devices is a lot like trying to write in binary machine code – except even more difficult, because quantum mechanics. This isn’t just a field that’s well understood but hard to translate. It’s an area of study where some fundamentals remain unknown.
That includes the reason why quantum computers work. “What we have in quantum computing is proof points that quantum computers can outperform classical computers,” said Krysta Svore, Principle Research Manager at Microsoft’s Quantum Architectures and Computation group. “The Holy Grail in our field would be an actual mathematical proof of that.”
Quantum computing is so new, and so unlike anything before it, that even top researchers remain in the dark about important and fundamental elements.
Teaching programmers to code for quantum on real hardware is out of the question for now. Microsoft’s quantum programming language, Q#, side-steps that problem by offering simple access to the tools needed to begin programming. That means making Q# as familiar and approachable as possible, even while scientists continue to make breakthroughs in the fundamentals of how quantum computers work.
Q# isn’t tucked away behind a wall of terrible documentation and poorly explained installers. Programmers can access it through Visual Studio, the world’s most popular development environment. And programmers don’t need access to a quantum computer to use it.
Instead, they can program as if their code would run on an actual quantum device but then run it on a virtual simulation. That’s possible because the quantum computer isn’t treated as its own complete, independent system, but instead as an accelerator that’s called on by a classical computer running classical computer code.
“We envision the quantum computer being another resource in Azure, next to say the GPU, the FPGA, the ASIX, to use. Azure becomes this whole fabric that includes in its compute, a quantum computer,” Svore told Digital Trends.
Most programmers are familiar using purpose-built hardware for specific tasks, and most are familiar calling on resources in the cloud. Firing up Q# isn’t different from those well-known tasks. Quantum hardware might be exotic and rare, but the programming environment Microsoft offers for Q# is exactly what you’d see today if you looked over the shoulder of a programmer at most Fortune 500 companies. That makes it far less intimidating.
“The ultimate vision is that the user isn’t saying ‘Ok, now I need to take this app and run it on this part on the CPU, this part here, this part there,’” said Svore. “It’s the same with quantum computing. We want the accelerator to be seamless.”
Programmers can introduce themselves to Q# through a set of free tutorials that Microsoft calls Quantum Katas. Each lesson involves “a sequence of tasks on a certain quantum computing topic” that programmers are challenged to solve. Finding the correct solution is the goal, but the journey is just as important. The katas aren’t meant to be solved in a single pass. They teach through trial-and-error, introducing programmers to the basics of quantum programming along the way.
Chris Granade, a Research Software Development Engineer at Microsoft, saw them for himself while attending a tutorial session hosted by the University of Technology Sydney. “It was really amazing to watch that people could go from zero knowledge in quantum, to writing it,” he told Digital Trends. “What was transformative, was that when people had a misunderstanding, they didn’t suffer with it. They could run the katas, they could see the got the wrong answer, and that feedback really got people to understand in a hands-on way.”
That hands-on experience immediately transforms quantum computing from a theoretical concept to a practical reality, which makes all the difference in how people approach it. Programmers may not make physical objects, but they’re used to seeing feedback just like any other craftsperson. They create a thing and it works – or it doesn’t. Q# and the Quantum Katas bring that level of feedback to quantum programming, giving anyone interested a chance to dig in and understand what quantum computing makes possible.
The change Granade saw in person isn’t just happening in classrooms. The Quantum Development Kit, of which Q# is a part, can be downloaded by anyone under an open-source license. Interested developers can not only begin to use it, but actively contribute to the community. Svore told Digital Trends that QDK downloads number in “the upper tens of thousands,” and participants have already added “a handful of substantial contributions,” including new algorithms and documentation.
While still a niche, this Quantum Development Kit places the bar of entry low enough that even a novice programmer can begin to experiment with Q# and, in doing so, begin to understand what makes quantum computing tick. That’s helpful not just for programmers, but for the entire field of quantum physics. Explaining quantum theories is a major headache not only because the quantum world is strange compared to the “classical” physics most programmers know, but also because the practical implications of quantum physics can be difficult to demonstrate.
Classical computers deal with binary absolutes. 1s and 0s. Off or on. Quantum deals with probabilities, and programming for quantum means creating algorithms that manipulate probabilities to produce the correct solution. “You know this wave includes my solution. These other waves include not a solution. So, I want those waves, when they interfere, to go away,” Svore explained. “And I want the wave that includes my solution to get really big. At the end, we measure the quantum states. The probability of getting the high wave out is more likely the higher that wave is.
