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

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 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.