On 20/08/06, Guido van Rossum <[EMAIL PROTECTED]> wrote: > On 8/19/06, Samuele Pedroni <[EMAIL PROTECTED]> wrote: > > given the precedent of type inferenced languages > > that use a separate line for optional type information > > Can you show us an example or two?
Haskell: map :: (a -> b) -> [a] -> [b] map f xs = ... Note that type information can also be contained in an expression (and by extension on the same line), though the convention for defined functions is to have it on a separate line. This type information is not quite 100% optional - there are some corner-cases where the typechecker needs a shove in the correct direction, or the inferred type could be too general. --Sam _______________________________________________ Python-3000 mailing list Python-3000@python.org http://mail.python.org/mailman/listinfo/python-3000 Unsubscribe: http://mail.python.org/mailman/options/python-3000/archive%40mail-archive.com
