No subject

>
> This proposal doesn't have to break any codebases.
> One possibility is to add the Text type to the standard while
> keeping String and marking it as deprecated.


I for one would like to go on the record as being against any notion of
"deprecating" String.

Text is good for many use-cases, but it has very different*
asymptotic* behavior
for many operations, and cannot serve as a one-size-fits-all replacement
for String.

I am less strongly against adding Text to the standard, but mostly because
I am leery in that it brings a lot of language specification baggage and
risks making attempts to explore the design space around Text harder. (e.g.
Jasper's GSoC project this last year to investigate using UTF-8 encoded
Data.Text would have been a much harder sell if Text was codified in the
language standard!)

Text has a remarkably (necessarily) large API and for the first time, as
far as I can see, the specification would be largely requiring users to use
qualified imports to access everything inside of it, which complicates the
language standard from a pedagogical standpoint.

Isn't it enough that it is part of the platform?

-Edward

--bcaec553fe9049743904bbec0836
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<span style=3D"font-size:13px;background-color:rgb(255,255,255);font-family=
:Times">From Greg Weber,=C2=A0</span><i style=3D"font-size:13px;background-=
color:rgb(255,255,255);font-family:Times">Fri Mar 23 14:24:24 CET 2012:</i>=
<blockquote class=3D"gmail_quote" style=3D"font-family:arial,sans-serif;fon=
t-size:13px;background-color:rgb(255,255,255);margin-top:0px;margin-right:0=
px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-co=
lor:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
This proposal doesn&#39;t have to break any codebases.<br>One possibility i=
s to add the Text type to the standard while keeping=C2=A0String and markin=
g it as deprecated.</blockquote><div style=3D"font-family:arial,sans-serif;=
font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style=3D"font-family:arial,sans-serif;font-size:13px;backgro=
und-color:rgb(255,255,255)">I for one would like to go on the record as bei=
ng against any notion of &quot;deprecating&quot; String.</div><div style=3D=
"font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,2=
55)">
<br></div><div style=3D"font-family:arial,sans-serif;font-size:13px;backgro=
und-color:rgb(255,255,255)">Text is good for many use-cases, but it has ver=
y different<b>=C2=A0asymptotic</b>=C2=A0behavior for many operations, and c=
annot serve as a one-size-fits-all replacement for String.</div>
<div style=3D"font-family:arial,sans-serif;font-size:13px;background-color:=
rgb(255,255,255)"><br></div><div style=3D"font-family:arial,sans-serif;font=
-size:13px;background-color:rgb(255,255,255)">I am less strongly against ad=
ding Text to the standard, but mostly because I am leery in that it brings=
=C2=A0a lot of language specification baggage and risks making attempts to =
explore the design space around Text harder. (e.g. Jasper&#39;s GSoC projec=
t this last year to investigate using UTF-8 encoded Data.Text would have be=
en a much harder sell if Text was codified in the language standard!)</div>
<div style=3D"font-family:arial,sans-serif;font-size:13px;background-color:=
rgb(255,255,255)"><br></div><div style=3D"font-family:arial,sans-serif;font=
-size:13px;background-color:rgb(255,255,255)">Text has a remarkably (necess=
arily) large API and for the first time, as far as I can see, the specifica=
tion would be largely requiring users to use qualified imports to access ev=
erything inside of it, which complicates the language standard from a pedag=
ogical standpoint.</div>
<div style=3D"font-family:arial,sans-serif;font-size:13px;background-color:=
rgb(255,255,255)"><br></div><div style=3D"font-family:arial,sans-serif;font=
-size:13px;background-color:rgb(255,255,255)">Isn&#39;t it enough that it i=
s part of the platform?</div>
<div style=3D"font-family:arial,sans-serif;font-size:13px;background-color:=
rgb(255,255,255)"><br></div><div style=3D"font-family:arial,sans-serif;font=
-size:13px;background-color:rgb(255,255,255)">-Edward</div>

--bcaec553fe9049743904bbec0836--