I agree that "statically typed" comes with a lot of Java/C++ baggage. Is there some way of saying "really statically typed", or "uncoercable immutable statically typed values"? <br><br>-deech<br>
<br><div class="gmail_quote">On Mon, Oct 18, 2010 at 4:08 AM, DavidA <span dir="ltr"><<a href="mailto:polyomino@f2s.com">polyomino@f2s.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Ketil Malde <ketil <at> <a href="http://malde.org" target="_blank">malde.org</a>> writes:<br>
<div class="im"><br>
><br>
> Don Stewart <dons <at> <a href="http://galois.com" target="_blank">galois.com</a>> writes:<br>
><br>
> >> Good start, if only the "advanced" were replaced with something more<br>
> >> characteristic, like "lazy", or "statically typed". Which, BTW, both do not<br>
><br>
> > "lazy" and "statically typed" don't mean much to other people. They are<br>
> > buzz words that mean nothing to many people.<br>
><br>
> But they /are/ defining characteristics of the language, still. I think<br>
> they should be mentioned, ideally as links to separate pages (or<br>
> pop-ups or a "live" sidebar?) that explain what they mean, and why you'd<br>
> want them.<br>
><br>
> -k<br>
<br>
</div>I agree that it is important to highlight the features that are characteristic<br>
of the language. However, I would add that "statically typed" is a turn-off for<br>
some people, so I think it is important to add "with type inference".<br>
<div><div></div><div class="h5"><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>