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