[Haskell-cafe] Subtyping CoC

[Carter Schonwald]

Cool!
Looks like there’s a lot of interesting ideas here.

Thanks for sharing with the community!

On Tue, Jul 28, 2020 at 3:44 PM james faure <james.faure at epitech.eu> wrote:

> Hello,
> I am working on a subtyping calculus of constructions:
> https://github.com/jfaure/Nimzo, based on Algebraic Subtyping [1]
>
> 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.
>
> 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 !
>
> [1]: https://www.cs.tufts.edu/~nr/cs257/archive/stephen-dolan/thesis.pdf
>
> James Faure (Discord: J4#0303)
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200728/8ded0c03/attachment.html>