λ-Q# is an idealized version of Q# aimed at providing it a formal language definition, placing the language on a solid mathematical foundation, and enabling further evolution of its design and type system.
With our April release coming out, you may have noticed some major changes. This is therefore a good time to recap the language features we have introduced over the last couple of months, elaborate a little bit on the newest changes, and peek into what is coming next.
In previous blog posts you have read about some of the ideas behind Q#, how it came into existence, and its development over the past year. You have read about quantum computing, quantum algorithms and what you can do with Q# today. With the end of the year approaching, there is only one more thing to cover: What is next?
How should qubits be represented in a quantum programming language? This post attempts to answer this question and discusses qubits representation in Q#.