[Haskell-cafe] Quantum Programming EDSLs other than Quipper
nicola.gigante at gmail.com
Mon May 30 11:20:43 UTC 2016
> Il giorno 28 mag 2016, alle ore 21:25, Carter Schonwald <carter.schonwald at gmail.com> 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!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe