<div><div dir="auto">Cool! </div></div><div dir="auto">Looks like there’s a lot of interesting ideas here. </div><div dir="auto"><br></div><div dir="auto">Thanks for sharing with the community!</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jul 28, 2020 at 3:44 PM james faure <<a href="mailto:james.faure@epitech.eu">james.faure@epitech.eu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<div style="margin:0px;font-size:12pt;font-family:Calibri,Arial,Helvetica,sans-serif;color:black;background-color:white">
<span style="margin:0px">Hello,</span><br>
</div>
<div style="margin:0px;font-size:15px;font-family:Calibri,Arial,Helvetica,sans-serif;color:rgb(32,31,30);background-color:white">
<div style="margin:0px">
<div style="margin:0px;font-size:12pt;color:black">I am working on a subtyping calculus of constructions: <a href="https://github.com/jfaure/Nimzo" id="m_-7370369642545064407LPlnk143391" target="_blank">https://github.com/jfaure/Nimzo</a>, based on Algebraic Subtyping [1]</div>
<div style="margin:0px;font-size:12pt;color:black"><br>
</div>
<div style="margin:0px;font-size:12pt;color:black">The goal is to leverage the synthesis of subtyping with the CoC for general purpose programming, both for the usual correctness guarantees, but additionally exceptional type inference and powerful optimizations
 by using subtyping relations on dependent types.</div>
<div style="margin:0px;font-size:12pt;color:black"><br>
</div>
<div style="margin:0px;font-size:12pt;color:black">I spent the last year researching the theory and practice for this, and with the compiler at now just over 3000 lines of Haskell, I feel like I am no longer advancing as quickly as I would like, so if anyone
 is interested in helping create this language of the future, please get in touch !</div>
<div style="margin:0px;font-size:12pt;color:black"><br>
</div>
<div style="margin:0px;font-size:12pt;color:black">
<div style="margin:0px">[1]: <a href="https://www.cs.tufts.edu/~nr/cs257/archive/stephen-dolan/thesis.pdf" id="m_-7370369642545064407LPlnk808381" target="_blank">https://www.cs.tufts.edu/~nr/cs257/archive/stephen-dolan/thesis.pdf</a></div>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><span style="margin:0px;color:black;background-color:white">James Faure (Discord: J4#0303)</span></div>
</div>
</div>
<br>
</div>
</div>

_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div></div>