<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.16.1">
</HEAD>
<BODY>
The type inference provided by typeof(a) I think should be unnecessary. In fact, it's on the fringe of incoherency and it's meaning is a lot less than obvious.<BR>
<BR>
I have to ask, what's the difference between a const view into an immutable value, and a const view into an invariant value? Nothing right...so since you can't modify data from a const view of the data, and an invariant is a thing that can't be modified, shouldn't you be able to seamlessly promote an invariant to const, with no side effects?<BR>
<BR>
Cheers,<BR>
Scott S. McCoy<BR>
<BR>
On Fri, 2008-03-28 at 18:31 -0700, Walter Bright wrote:<BR>
<BLOCKQUOTE TYPE=CITE>
<BR>
<TT><FONT COLOR="#000000">typeof(a) foo(const(T) a) { ... }</FONT></TT><BR>
<BR>
</BLOCKQUOTE>
</BODY>
</HTML>