Re: [Haskell-cafe] Quantum Programming EDSLs other than Quipper

Il giorno 28 mag 2016, alle ore 21:25, Carter Schonwald ha scritto:

https://github.com/NICTA/cogent/ https://github.com/NICTA/cogent/ is also a (very different!) linear logical language thats recently been made public by nicta, the associated papers on their projects are very illuminating. and either way, thers a lot of great theoretical and semi applied work intersecting with linear logical semantics thats ripe for use :)

I’m sure a lot of work has been done on this front! I’m wondering how far all these things can be embedded in Haskell. Current dependent types extensions should allow to express linear types but I’m curious about how a specific extension to the type system would look. Who knows! Nicola