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