Правильно ли мы говорим "расширение файла"?

[Arnisa]

Термин "file extension", вернее его перевод с английского, как "расширение файла", мне не нравился изначально. По моему перевод на уровне троечника по английскому. Но терпела, пока не натолкнулась на дискуссию по этому вопросу здесь. Оказывается, я не одинока, среди преподавателей есть такие, которым такой перевод тоже не нравится. Хотелось бы услышать мнение по этому вопросу  профи более высокого уровня, к которым я отношу посетителей этого сайта...

[Sergei Troizky]

Многие переведенные термины, в самых разных областях деятельности, изначально переведены не лучшим образом, но ныне являются устоявшейся терминологией.
Устраивать в ней революции, в одночасье делая неграмотными множество специалистов, не дело.
С другой стороны, именно специалисты прекрасно понимают истинное значение термина, не путая его с буквальным переводом.
Упомянутый Вами термин "file extension" является сокращением от "filename extension"
и полностью переводится, как Расширение имени файла,
хотя по смыслу это- добавление к имени файла (сравните с phone extension- добавочный номер телефона).

http://en.wikipedia.org/wiki/File_extension
http://ru.wikipedia.org/wiki/Расширение_имени_файла

[tourist]

Но почему же неверный перевод? В каталоге мы видим файл, а после точки - расширение к нему. По расширению мы определяем тип файла. Т.е. Имя файла состоит как-бы из собственно имени, и указателя типа файла после точки. Почему неправильно?
В любом случае, никто дословно не переводит. Нужно переводить на язык к которому уже привыкли и не делать никому ненужных революция.
Sergei Troizky прав. Это еще не самый плохой перевод термина.

[adwise43]

Лично я, все символы после крайней справа точки в имени файла определяю как его формат. Для меня тип обычно включает файлы различных форматов.
Например:
мультимедийный файл формата avi;
текстовый файл формата pdf;
файл-архив формата zip,
и т.д.

[Sergei Troizky]

Возможно, это Вас удивит, но, на момент своего изобретения, расширения имен файлов такой функции не выполняли, да и сейчас не во всех операционных системах выполняют.
Для себя, и в рамках Windows, Вы достаточно правильно определили.
А устоявшаяся терминология нужна для взаимопонимания при общении с другими.

[Arnisa]

Очень признательна Sergei Troizky за ответ. Понимаю, что этот термин уже не поменять, так как он уже часть устоявшейся терминологии. И под ним понимается смысл, а он именно такой, как в  phone extension, где слово "расширение" вызвало было отторжение сразу. А здесь в file extension слово расширение было покорно принято за неимением лучшего варианта перевода.

[Hel]

Лично я, все символы после крайней справа точки в имени файла определяю как его формат. Для меня тип обычно включает файлы различных форматов.
Например:
мультимедийный файл формата avi;
текстовый файл формата pdf;
файл-архив формата zip,
и т.д.

Мне кажется, что это не совсем корректно. Например, файл с расширением dat http://fileext.ru/dat, может быть нескольких форматов, от простого текстового до видео и формата баз данных. Я все же склоняюсь к типу файла, ближе к определению, которое здесь указано: http://fileext.ru/faq/what-is-file-extension