[Haskell-cafe] What is the most modern associative list in types?

Artem Pelenitsyn a.pelenitsyn at gmail.com
Tue Jul 23 16:51:40 UTC 2019

Hello Serguey,

I think a very similar task was tackled by Richard Eisenberg in his Stitch
manuscript (from 2018) by simple vectors (i.e length-indexed lists):
checkout Section 6 of
https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf, and the Ctx
type in particular.
They use De Bruijn, so your assoc lists end up just vectors. Otherwise, it
would be the same HList, essentially. So maybe this answer is not
enlightening, but maybe you find the paper useful, at least.

Kind regards,
Artem Pelenitsyn

On Tue, 23 Jul 2019 at 05:45, Serguey Zefirov <sergueyz at gmail.com> wrote:

> Hello cafe.
> I am trying to express some environment in types to constrain program
> behavour. For this I need associative list of types, something along the
> lines of [(Symbol, *)] so that I can lookup on "variable" name and get type
> associated with it.
> I looked into HList library but it does not provide one most generally
> useful way (albeit there are dozen or so of ways in there).
> So where can I get most modern HList-like library? Or what should I read
> to get most modern HList myself?
> _______________________________________________
> 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/20190723/330baa09/attachment.html>

More information about the Haskell-Cafe mailing list