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

[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    Re: [Haskell-cafe] Quantum Programming EDSLs other than Quipper
From:       Nicola Gigante <nicola.gigante () gmail ! com>
Date:       2016-05-30 11:20:43
Message-ID: FB8B1D73-3A83-4B61-BDD8-65BE2EB605B1 () gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]

> Il giorno 28 mag 2016, alle ore 21:25, Carter Schonwald \
> <carter.schonwald@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!

Nicola

[Attachment #5 (unknown)]

<html><head><meta http-equiv="Content-Type" content="text/html \
charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; \
-webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote \
type="cite" class=""><div class="">Il giorno 28 mag 2016, alle ore 21:25, Carter \
Schonwald &lt;<a href="mailto:carter.schonwald@gmail.com" \
class="">carter.schonwald@gmail.com</a>&gt; ha scritto:</div><br \
class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><a \
href="https://github.com/NICTA/cogent/" class="">https://github.com/NICTA/cogent/</a> \
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 :)&nbsp;<br \
class=""></div></div></blockquote></div><br class=""><div class="">I'm sure a lot of \
work has been done on this front!</div><div class="">I'm wondering how far all these \
things can be embedded in Haskell.</div><div class="">Current dependent types \
extensions should allow</div><div class="">to express linear types but I'm curious \
about how a specific</div><div class="">extension to the type system would look. Who \
knows!</div><div class=""><br class=""></div><div class="">Nicola</div></body></html>

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

[prev in list] [next in list] [prev in thread] [next in thread] 