Need more types in lambda-qs grammar

[jakezweifler]

Some types (like str and int) in the Q# grammar don't map over to types in the lambda-Q# grammar. I added str and int to the lambda-Q# cf file, but do not know how to deal with some of the other types. Should all the types without any additional constructors have a corresponding type in lambda-Q#? There are also n-tuples in Q# but only pairs in lambda-Q# and other similar mismatches.

[k4rtik]

Thanks, let me take a closer look later.

[k4rtik]

• Arrays expression and its operation
• for loops
• ranges
• early returns (e.g., see Arrays/Search.qs)
• less than and greater than, etc binary operators
• Mutable bindings and update operator

[jakezweifler]

Hi! Additionally, can you add some basic ops like < and >? These are used a lot in arrays functions. Thanks!

[k4rtik]

Hi @jakezweifler, how do the operators in 294bafe look like to you?

I think we will run into issues trying to define arrays of unique qubits with this syntax, but can we see how far we can go with the arrays library with this syntax?