<div dir="ltr">Hi Wolfgang,<div><br></div><div>great to see interest in linear types! I would advise caution about building anything on top of the linear types extension at this time. If you have interesting use cases, however, do tell, so that these use cases can influence the design.</div><div><br></div><div>This is pre-alpha software, meaning that it's not even good enough as a developer preview of all the basic features. It's an in-progress development branch, which is going to take time to stabilize. Furthermore, whether the feature makes it into GHC will depend on what the GHC proposals committee thinks about it. The current authors of the would-be extension have yet to draft a proposal and submit it to the committee.</div><div><br></div><div>If we manage to write a proposal in time, based on a beta level implementation of linear types, and if the committee accepts the proposal, then maybe the feature can make it into GHC 8.4. Or in GHC 8.6. That's our hope, at any rate. But it could also be never, if the committee rejects the proposal...</div><div><br></div><div>Best,</div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature">--<br>Mathieu Boespflug<br>Founder at <a href="http://tweag.io" target="_blank">http://tweag.io</a>.</div></div>
<br><div class="gmail_quote">On 18 August 2017 at 22:55, Wolfgang Jeltsch <span dir="ltr"><<a href="mailto:wolfgang-it@jeltsch.info" target="_blank">wolfgang-it@jeltsch.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>Hi!</div><div><br></div><div>I just read through the README. According to it, there are several crucial things not implemented yet (case and let come to my mind), and there are some fundamental bugs (which make it very easy to circumvent linearity checks, making the whole extension pointless). Is the situation still like this?</div><div><br></div><div>What are your honest expectations regarding the future development of the linear types feature and its integration into the official GHC? Is it realistic to hope for this feature to be available in a stable GHC version withing, say, the next 12 months? I would like to use linearity in some project of mine, but at the moment, I am unsure whether it is really a good idea to rely on this feature becoming available.</div><div><br></div><div>All the best,</div><div>Wolfgang</div><div><div class="h5"><div><br></div><div>Am Mittwoch, den 19.07.2017, 08:52 +0000 schrieb Edvard Hübinette:</div><blockquote type="cite"><div dir="ltr">Hi Wolfgang, <div><br></div><div>the updated README is live and can be found <a href="https://github.com/tweag/ghc/tree/linear-types" target="_blank">here</a>!</div><div><br></div><div>Cheers,</div><div>Edvard<br><div class="m_8277289838393703762GmSign"></div><br><div class="gmail_quote"><div dir="ltr">On Thu, 13 Jul 2017 at 17:54 Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" target="_blank">arnaud.spiwack@tweag.io</a>> wrote:<br></div><blockquote type="cite"><div dir="ltr"><div><div><div>I think the answer to both questions can be the same: the github issue of Tweag's ghc repo: <a href="https://github.com/tweag/ghc/issues" target="_blank">https://github.com/tweag/ghc/<wbr>issues</a> .<br><br></div>Regarding this particular bug: it is a known bug indeed. I'll be fixing it soon. We're expanding the README to include known bugs and usage instruction.<br><br></div>Thanks a lot for your time and interest,<br></div>Arnaud<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jul 13, 2017 at 12:14 AM, Wolfgang Jeltsch <span dir="ltr"><<a href="mailto:wolfgang-it@jeltsch.info" target="_blank">wolfgang-it@jeltsch.info</a>></span> wrote:<br><blockquote type="cite"><div style="word-wrap:break-word"><div>Hi!</div><div><br></div><div>Another question is where to submit bugs. I already found the first one 😉:</div><div><br></div><blockquote type="cite"><pre>GHCi> let dup :: a -> (a, a); dup x = (x, x)</pre><pre>GHCi> let unsafeDup :: a ⊸ (a, a); unsafeDup = dup</pre><pre>GHCi> :type unsafeDup </pre><pre>unsafeDup :: a ⊸ (a, a)</pre><pre>GHCi> unsafeDup True</pre><pre>(True,True)</pre></blockquote><div><br></div><div>All the best,</div><div>Wolfgang</div><div><div class="m_8277289838393703762m_8790154513969966496h5"><div><br></div><div>Am Mittwoch, den 12.07.2017, 23:15 +0300 schrieb Wolfgang Jeltsch:</div><blockquote type="cite"><div>Hi!</div><div><br></div><div>I think I will have several questions about the linear types extension when trying to use it in the near future. Furthermore, I also want to give feedback on the design of this extension. What is the appropriate forum for discussing the linear types extension? The GHC developers mailing list might be an option. However, I think that it would be better to contact you more directly regarding these matters. Is there some issue tracker or discussion platform I should use?</div><div><br></div><div>All the best,</div><div>Wolfgang</div></blockquote></div></div></div><br></blockquote></div><br></div>
<br></blockquote></div></div></div>
</blockquote></div></div></div></blockquote></div><br></div>