[Haskell-cafe] Current state of dependent types in Haskell

[Serguey Zefirov]

Very cool, thank you very much!

2018-05-14 17:23 GMT+03:00 Richard Eisenberg <rae at cs.brynmawr.edu>:

> I just posted a link to my recent paper (https://cs.brynmawr.edu/~rae/
> papers/2018/stitch/stitch.pdf) to Reddit.
>
> While that doesn't focus on dependent types, per se, it gives a good
> state-of-the-Haskell around features that will one day morph into dependent
> types.
>
> Richard
>
> > On May 14, 2018, at 9:29 AM, Serguey Zefirov <sergueyz at gmail.com> wrote:
> >
> > Can anyone kindly point me at blog posts and/or articles on the subject?
> >
> > I would like to brush off my Haskell skills in that area with whatever
> new things that are hot.
> >
> > I once implemented type-level arithmetic in Haskell for sizing various
> hardware things but it is ages ago now. I would like to experiment with
> current state of affairs with type-level arithmetic and possibly experiment
> with adding structured values into the constraints.
> > _______________________________________________
> > 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/20180514/3bb1fd34/attachment.html>