microsoft / microsoft/qdk

Sum types

Open
#483 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

design needed enhancement language language-approved
Dominant language
Rust
Stars
1k
Forks
212
Avg merge
3d 8h
Merged PRs (30d)
65

Description

Q# needs sum types (tagged unions, discriminated unions, Rust-style enums, etc.). See microsoft/qsharp-language#51, microsoft/qsharp-compiler#406.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reading microsoft/qsharp-language#51 and microsoft/qsharp-compiler#406 to understand the proposed sum-type semantics and compiler scope. Done means agreeing on the design and implementing complete Q# support for tagged or discriminated unions, including the affected language and compiler behavior.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
compilers, quantum-computing
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.