It may make life easier to declare the scalar bit and bool to be identical in allowed operations, but I'm fairly sure we've discussed that before and there's more considerations than I can immediately remember.

OQ3 is already liberal with implicit casting. Sticking with that tendency, I'd say that both

c[0] = 1;
c[0] = true;

work and have the same semantics. But I say this after thinking about it for 60s.

bit and bit[1] actually are distinct types

You mean a scalar and a bit array of length one? Those should definitely be distinct types, right?

I'm not sure where I stand, but to throw out another option, we could also introduce single-quote strings for bit literals, e.g. a bit could take values of '0' or '1'.

As for the distinguish-ability of bit and bit[1], I hear you on on the type purism argument. I would simply counter that OQ3 effectively treats qubit and qubit[1] as equivalent, so we should also examine consistency of the language in that respect.

You mean a scalar and a bit array of length one? Those should definitely be distinct types, right?

Personally I'd say strongly yes, but there's arguments to be made along the vein of implicit casts and "what does bit[_] mean anyway?" that maybe not. In writing this, I remembered that Blake and I had talked about it on Qiskit a little while ago that I'd forgotten to bring over here, so I opened #535 to do that properly.

Blake:

I would simply counter that OQ3 effectively treats qubit and qubit[1] as equivalent, so we should also examine consistency of the language in that respect.

Does it for sure? In #535 I was giving examples of how I'm not entirely sure that it actually does, when it comes to broadcasting - at the very least, it'd be good to clarify it in the spec one way or the other.

The short form of my question is, given:

include "stdgates.inc";

qubit[2] a;
qubit[2] b;

cx a[0:0], b[0:1];

where a[0:0] is an explicit range of qubit[1] as opposed to a single qubit a[0], should the broadcast work or be an error? To me it's a clear semantic error that we'd want to catch and tell the user they made a mistake with (probably a typo), with no benefit to allowing that syntax, rather than silently doing something different. That to me motivates qubit and qubit[1] being separate types.