<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 27, 2014 at 11:19 PM, Tristan Sloughter <span dir="ltr"><<a href="mailto:tristan.sloughter@gmail.com" target="_blank">tristan.sloughter@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Maps can in no way replace records. But yes, is a complement to records by providing a record like structure and syntax for use in place of dicts.</blockquote>

</div><br>Indeed. Only a fool ignores "Types and Programming languages" by Benjamin C. Pierce, regardless of typing discipline.<br><br clear="all"><div><br></div>-- <br>J.
</div></div>