2 ms·
Ive been working on Kettle, it is a language for quantum-classical computing https://kettle-lang.pages.dev https://kettle-lang.pages.dev I find quantum mechan
by dve 8mo ago
Ive been working on Kettle, it is a language for quantum-classical computing
https://kettle-lang.pages.dev 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!