<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div style="font-family:Arial;">There are many handy utilities for string-snippet replacement. For example, TextExpander can be configure to replace \\ with \(), putting the insertion point between the parens. I'm sure people can come up with other solutions to suit their workflow, if typing it straight out is uncomfortable.<br></div>
<div style="font-family:Arial;">&nbsp;</div>
<div style="font-family:Arial;">I don't think a language should be optimised for typing but for reading and logical consistency.<br></div>
<div>&nbsp;</div>
<div style="font-family:Arial;">-Nick<br></div>
<div style="font-family:Arial;">(This is my first post to the list. but I have been reading it for a long time.)<br></div>
<div>&nbsp;</div>
<div>On Wed, Jun 22, 2016, at 09:44 AM, Rimantas Liubertas via swift-evolution wrote:<br></div>
<blockquote type="cite"><div dir="ltr"><div style="font-family:Arial;">&nbsp;</div>
<div><div style="font-family:Arial;">&nbsp;</div>
<div defang_data-gmailquote="yes"><div style="font-family:Arial;">On Wed, Jun 22, 2016 at 2:15 AM, Xiaodi Wu via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt;</span> wrote:<br></div>
<blockquote style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204, 204, 204);border-left-style:solid;padding-left:1ex;" defang_data-gmailquote="yes"><div dir="ltr"><div><div defang_data-gmailquote="yes"><div style="font-family:Arial;">&nbsp;</div>
<div><span>&lt;…&gt;</span><br></div>
<div style="font-family:Arial;">&nbsp;</div>
<div>I'm rather unpersuaded by this line of argument. The keyboard is only so big; it's a stretch to say that any key is less than absolutely usable. Moreover, \ is next the delete key, which I presume you use frequently and find no difficulty in reaching.<br></div>
</div>
</div>
</div>
</blockquote><div>&nbsp;</div>
<div>Also keyboards are different so one's heatmap does not match other's. \() is perfectly fine, no need to change.<br></div>
<div>&nbsp;</div>
<div>r.<br></div>
</div>
</div>
</div>
<div><u>_______________________________________________</u><br></div>
<div>swift-evolution mailing list<br></div>
<div><a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br></div>
<div><a href="https://lists.swift.org/mailman/listinfo/swift-evolution">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br></div>
</blockquote><div style="font-family:Arial;">&nbsp;</div>
</body>
</html>