<div dir="ltr"><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important">2016-11-09 0:11 GMT+03:00 arkadi daniyelian <<a href="mailto:arkdan@icloud.com" target="_blank">arkdan@icloud.com</a>>:</p>
<p style="margin:0px 0px 1.2em!important"></p><div class="markdown-here-exclude"><p></p><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div><span></span></div><div><div></div><div>I could not clearly see the exact, concrete problem with the current implementation. IMAO such fundamental change requires a *very* serious reason and some thought on performance side of thing.</div></div></div></blockquote><p></p></div><p style="margin:0px 0px 1.2em!important"></p>
<p style="margin:0px 0px 1.2em!important">Performance will not be hurt, because as Robert noted, <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">Nil</code> will be isomorphic to <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">()</code>.<br>Concrete problem, as stated in the proposal, is “hacks” that standard library has to contain, because <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">nil</code> does not have its <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">LiteralType</code>.</p>
<div title="MDH:PGRpdiBjbGFzcz0iZ21haWxfZXh0cmEiPjxkaXYgY2xhc3M9ImdtYWlsX3F1b3RlIj4yMDE2LTEx
LTA5IDA6MTEgR01UKzAzOjAwIGFya2FkaSBkYW5peWVsaWFuIDxzcGFuIGRpcj0ibHRyIj4mbHQ7
PGEgaHJlZj0ibWFpbHRvOmFya2RhbkBpY2xvdWQuY29tIiB0YXJnZXQ9Il9ibGFuayI+YXJrZGFu
QGljbG91ZC5jb208L2E+Jmd0Ozwvc3Bhbj46PGJyPjxibG9ja3F1b3RlIGNsYXNzPSJnbWFpbF9x
dW90ZSIgc3R5bGU9Im1hcmdpbjowIDAgMCAuOGV4O2JvcmRlci1sZWZ0OjFweCAjY2NjIHNvbGlk
O3BhZGRpbmctbGVmdDoxZXgiPjxkaXYgZGlyPSJhdXRvIj48ZGl2PjxzcGFuPjwvc3Bhbj48L2Rp
dj48ZGl2PjxkaXY+PC9kaXY+PGRpdj5JIGNvdWxkIG5vdCBjbGVhcmx5IHNlZSB0aGUgZXhhY3Qs
IGNvbmNyZXRlIHByb2JsZW0gd2l0aCB0aGUgY3VycmVudCBpbXBsZW1lbnRhdGlvbi4gSU1BTyBz
dWNoIGZ1bmRhbWVudGFsIGNoYW5nZSByZXF1aXJlcyBhICp2ZXJ5KiBzZXJpb3VzIHJlYXNvbiBh
bmQgc29tZSB0aG91Z2h0IG9uIHBlcmZvcm1hbmNlIHNpZGUgb2YgdGhpbmcuPC9kaXY+PC9kaXY+
PC9kaXY+PC9ibG9ja3F1b3RlPjxkaXY+PGJyPjwvZGl2PjxkaXY+UGVyZm9ybWFuY2Ugd2lsbCBu
b3QgYmUgaHVydCwgYmVjYXVzZSBhcyBSb2JlcnQgbm90ZWQsIGBOaWxgIHdpbGwgYmUgaXNvbW9y
cGhpYyB0byBgKClgLjwvZGl2PjxkaXY+Q29uY3JldGUgcHJvYmxlbSwgYXMgc3RhdGVkIGluIHRo
ZSBwcm9wb3NhbCwgaXMgImhhY2tzIiB0aGF0IHN0YW5kYXJkIGxpYnJhcnkgaGFzIHRvIGNvbnRh
aW4sIGJlY2F1c2UgYG5pbGAgZG9lcyBub3QgaGF2ZSBpdHMgYExpdGVyYWxUeXBlYC48L2Rpdj48
L2Rpdj48L2Rpdj4=" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0"></div></div></div>