[Haskell-cafe] Current state of dependent types in Haskell
sergueyz at gmail.com
Mon May 14 14:47:28 UTC 2018
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
> > 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...
More information about the Haskell-Cafe