型システム

量子アルゴリズムの焦点が、データ構造の観点から問題表現ではなく、実現すべき内容に向いているため、言語設計をより機能的な視点でとらえるのが自然な選択です。 同時に、型システムは、プログラム分析や、堅牢なコードの作成を容易にするその他のコンパイル時チェックに利用できる強力なメカニズムです。

一般的に、Q# 型のシステムは、C# や Java などの従来の言語で慣れているようなクラスやインターフェイスの明示的な概念は存在しない、という意味で、最小限に抑えられます。 また、特定のコンストラクトが型システムにまだ完全に統合されないように、段階的に進行するやや現実的なアプローチを取ることもあります。 例としては、式の中では使用できるものの、型システムにまだ表示されないファンクタがあります。 それに応じて、型パラメーター化された callable の場合と同様に、現時点では引数として割り当てたり、渡したりすることはできません。 型システムを拡張してより完成度が高くなるように段階的に進め、長期的な計画と即時のニーズのバランスを取る予定です。

使用可能な種類

Q# のすべての型は変更できません。