This seems like the first "quantum programming language" that actually contributes something interesting, besides being yet another way to write low-level commands to your quantum simulator (or experiment). I am very excited to see a language where the type system and the rest of the construct actually contributes something useful, as opposed to yet another useless SDK.