<div dir="ltr">Yes, it is extremely useful, thank you very much!<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">вт, 23 июл. 2019 г. в 19:51, Artem Pelenitsyn <<a href="mailto:a.pelenitsyn@gmail.com">a.pelenitsyn@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hello Serguey,</div><div><br></div><div>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 <a href="https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf" target="_blank">https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf</a>, and the Ctx type in particular.</div><div>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.</div><div><br></div><div>--</div><div>Kind regards,</div><div>Artem Pelenitsyn<br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 23 Jul 2019 at 05:45, Serguey Zefirov <<a href="mailto:sergueyz@gmail.com" target="_blank">sergueyz@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hello cafe.</div><div><br></div><div>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.</div><div><br></div><div>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).</div><div><br></div><div>So where can I get most modern HList-like library? Or what should I read to get most modern HList myself?<br></div></div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>
</blockquote></div>