I find quantum mechanics fascinating and wanted a better way to play with it.
Linear types prevent copying qubits, effects track what's quantum vs pure. The type system catches mistakes that would otherwise blow up at runtime.
Runs on a local simulator (with various qubit types modelled) or IBM hardware (sort of). Still a research and learning language for me - I break things regularly.
If any real quantum physicists are lurking, Id love to hear what Ive got wrong!
https://kettle-lang.pages.dev
I find quantum mechanics fascinating and wanted a better way to play with it. Linear types prevent copying qubits, effects track what's quantum vs pure. The type system catches mistakes that would otherwise blow up at runtime.
Runs on a local simulator (with various qubit types modelled) or IBM hardware (sort of). Still a research and learning language for me - I break things regularly.
If any real quantum physicists are lurking, Id love to hear what Ive got wrong!