[Python-ideas] mixing tabs and spaces

[Philipp A.]

Vala’s sister language Genie uses something like those comments:

per default, indentation is one tab per indentation level (imho the most
logical and semantical way to indent), but if you really want, you can put
a directive like “[indent=4]” on the first line to change that to spaces.

i think python 3’s handling is almost optimal like it is, because it
disallows mixing tabs and spaces, but allows anyone to do what they want
(as long as they are consistent). only almost optimal, because you can
still mix indentation level depths (that you can see such a mistake is
another argument for tabs ;))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20130408/cdebd0e0/attachment.html>