Highest Rated Comments


YaZko13 karma

Hi guys, (classical) computer scientist here. I have a bit more programming language oriented question if you do not mind, I hope it makes some sense.

Considering the history of computer science, two major things evolved in parallel: hardware, and theoretical models for calculus. The study of the latter would lead notably in particular to the development of various programming languages once both branches have been mature enough.

Now in the context of quantic computer science, we hear on quite a regular basis about impressive progress on the hardware side. However on the calculus side, I am still only aware of the very "physics oriented" calculus over Hibert spaces. Would you know if alternative models have been developped, potentially sketching ideas for high level programming languages over quantic architectures?

Thanks for the AMA!