Тип — это что такое? значение, определение и синонимы

Некоторые распространённые типы данных

Логический тип

Логические, или булевы значения (по фамилии их изобретателя — Буля), могут иметь лишь одно из двух состояний — «истина» или «ложь». В разных языках обозначаются , , или . «Истина» может обозначаться как , или . «Ложь», соответственно, , или . В языках C и C++ любое ненулевое число трактуется как «истина», а ноль — как «ложь». В Python некоторым также назначается то или иное «логическое значение». В принципе, для реализации типа достаточно одного бита, однако из-за особенностей микропроцессоров, на практике размер булевых величин обычно равен размеру машинного слова.

Числа с плавающей запятой

Используются для представления вещественных (не обязательно целых) чисел. В этом случае число записывается в виде x=a*10^b. Где 0<=a<1, а b — некоторое целое число из определённого диапазона. a называют мантиссой, b — порядком. У мантиссы хранятся несколько цифр после запятой, а b — хранится полностью.

Строковые типы

Последовательность символов, которая рассматривается как единое целое в контексте переменной. В разных языках программирования накладываются разные ограничения на строковые переменные. Строки могут содержать управляющие последовательности.

Указатели

Указатель — переменная, диапазон значений которой состоит из адресов ячеек памяти или специального значения для обозначения того, что в данный момент в переменной ничего не записано.

Абстрактные типы данных

Типы данных, которые рассматриваются независимо от контекста и реализации в конкретном языке программирования. Абстракция в математическом смысле означает, что алгебра данных рассматривается с точностью до изоморфизма. Абстрактные типы находят широкое применение в методологии программирования, основанной на пошаговой разработке программ. На этапе построения спецификации проектируемой программы алгебра данных моделирует объекты предметной области, в терминах решаемой задачи. В процессе пошагового уточнения данные конкретизируются путём перехода к промежуточным представлениям до тех пор, пока не будет найдена их реализация с помощью базовой алгебры данных используемого языка программирования. Существует несколько способов определения абстрактных типов: алгебраический, модельный и аксиоматический. При модельном подходе элементы данных определяются явным образом. При алгебраическом используются методы алгебраических отношений, а при аксиоматическом подходе используется логическая формализация.

Онлайн-тесты на определение типов личности

Тестов на определение типов личности так же много, как и классификаций. Поэтому рассмотрим самые основные и популярные из них:

  1. Соционика. Тест на определение типа личности. Это очень информативный тест, который опишет вас с разных сторон: как вы ведете себя в семье, на работе, в коллективе, как выглядите, к чему стремитесь и как взаимодействуете.
  2. Тест Айзенка поможет узнать, какой тип темперамента преобладает у вас. Это информативный метод, которым пользуются психологи. Ответьте на 60 вопросов, которые касаются вашего поведения в жизни, и увидите свой тип. Пройти этот тест легко, нужно отмечать подходящие утверждения. Время прохождения – примерно 5 минут.
  3. К какому типу личности вы относитесь? – тут вам нужно ответить на 9 простых вопросов. Нужно либо выбрать картинку, которая определяет для вас заданную эмоцию, либо эмоцию, которую у вас вызывает заданная картинка. Время прохождения – примерно 3 минуты. В конце вам будет присвоен 1 из 4 типов личности и дана его расшифровка.
  4. Ваш психологический архетип. Ответьте на 20 вопросов и узнайте, кто вы: Творец, Любовник, Бунтарь, Мудрец, Искатель или Правитель.
  5. . Здесь представлены 16 персоналий, одним из которых являетесь вы. Вы узнаете, к чему вы склонны, поймете, на что ориентируетесь в разных ситуациях, как принимаете решения и чем руководствуетесь.
  6. Тест Дж. Голланда “Определение профессионального типа”. Этот тест часто применяется на профориентационных занятиях. Вам потребуется просмотреть пары профессий и выбрать ту, которая вам наиболее подходит по внутреннему состоянию. Вы увидите свой тип, который повлияет на выбор вашего направления в профессиональном плане.
  7. Опросник по Юнгу. Определяет экстраверсию и интроверсию. Вам нужно ответить на 20 вопросов, которые покажут, на какой способ восполнения энергии вы направлены.
  8. Тест “Акцентуации характера Личко”. Акцентуации – крайне заостренная черта характера человека. У подростков они ярко выражены, затем либо “стираются”, что говорит о личностном росте, либо остаются в течение жизни. Кроме этого теста, нужно пройти еще и “Опросник Леонгарда Шмишека”, чтобы иметь полную картину развития и проявления своей личности.
  9. Опросник Леонгарда Шмишека. Определяет расширенный круг акцентуаций, типы личности.

Это основные тесты, которые открывают характеристики личности с разных сторон. Также на нашем блоге есть статья с лучшими тестами на психику.

Тип в Энциклопедическом словаре:

Тип — (от греч. typos — отпечаток — форма, образец),..1) форма, видчего-либо, обладающие существенными качественными признаками. образец,модель для чего-либо…2) Единица расчленения изучаемой реальности втипологии…3) Человек, наделенный какими-либо характерными свойствами,яркий представитель какой-либо группы людей, в частности, сословия, нации,эпохи. См. также Типическое.

в биологии — таксономическая категория (ранг) в систематикеживотных. В типы (иногда сначала в подтип) объединяют близкие попроисхождению классы. Напр., типы хордовых включают классы земноводных,пресмыкающихся, птиц, млекопитающих и др. Все представители одного типаимеют единый план строения. Типы отражают основные ветви филогенетическогодрева животных. Всех животных обычно относят к 16 типам (по мнению разныхученых, типов от 13 до 33). Все типы животных объединяются в царствоживотных. В систематике растений типу соответствует отдел.

Самоприменение

Тип может быть параметризован другим типом, в соответствии с принципами абстракции и . Например, для реализации функции сортировки последовательностей нет необходимости знать все свойства составляющих её элементов — необходимо лишь, чтобы они допускали операцию сравнения — и тогда составной тип «последовательность» может быть определён как параметрически полиморфный. Это означает, что его компоненты определяются с использованием не конкретных типов (таких как «целое» или «массив целых»), а параметров-типов. Такие параметры называются переменными типа (англ. type variable) — они используются в определении полиморфного типа так же, как параметры-значения в определении функции. Подстановка конкретных типов в качестве фактических параметров для полиморфного типа порождает мономорфный тип. Таким образом, параметрически полиморфный тип представляет собой конструктор типов, то есть оператор над типами в арифметике типов.

Определение функции сортировки как параметрически полиморфной означает, что она сортирует абстрактную последовательность, то есть последовательность из элементов некоторого (неизвестного) типа. Для функции в этом случае требуется знать о своём параметре лишь два свойства — то, что он представляет собой последовательность, и что для её элементов определена операция сравнения. Рассмотрение параметров процедурным, а не декларативным, образом (то есть их использование на основе поведения, а не значения) позволяет использовать одну функцию сортировки для любых последовательностей — для последовательностей целых чисел, для последовательностей строк, для последовательностей последовательностей булевых значений, и так далее — и существенно повышает коэффициент повторного использования кода. Ту же гибкость обеспечивает и динамическая типизация, однако, в отличие от параметрического полиморфизма, первая приводит к накладным расходам. Параметрический полиморфизм наиболее развит в языках, типизированных по Хиндли — Милнеру, то есть потомках языка ML. В объектно-ориентированном программировании параметрический полиморфизм принято называть обобщённым программированием.

Несмотря на очевидные преимущества параметрического полиморфизма, порой возникает необходимость обеспечивать различное поведение для разных одного общего типа, либо аналогичное поведение для несовместимых типов — то есть в тех или иных формах Ad hoc полиморфизма. Однако, ему не существует математического обоснования, так что требование типобезопасности долгое время затрудняло его использование. Ad hoc полиморфизм реализовывался внутри параметрически полиморфной системы типов посредством различных трюков. Для этой цели использовались либо , либо параметрические модули (функторы), либо так называемые «значения, индексированные типами» (англ. type-indexed values), которые, в свою очередь, также имеют ряд реализаций. , появившиеся в языке Haskell, предоставили более изящное решение этой проблемы.

Если рассматриваемой информационной сущностью является тип, то назначение ей типа приведёт к понятию «тип типа» («метатип»). В теории типов это понятие носит название «род типов» (англ. kind of a type или type kind). Например, род «» включает все типы, а род «» включает все унарные конструкторы типов. Рода явным образом применяются при полнотиповом программировании — например, в виде конструкторов типов в языках семейства ML.

Расширение безопасной полиморфной системы типов и родами типов сделало Haskell первым типизированным в полной мере языком. Полученная система типов оказала влияние на другие языки (например, Scala, Agda).

Ограниченная форма метатипов присутствует также в ряде объектно-ориентированных языков в форме метаклассов. В потомках языка Smalltalk (например, Python) всякая сущность в программе является объектом, имеющим тип, который сам также является объектом — таким образом, метатипы являются естественной частью языка. В языке C++ отдельно от основной системы типов языка реализована подсистема RTTI, также предоставляющая информацию о типе в виде специальной структуры.

Динамическое выяснение метатипов называется отражением (а также рефлексивностью или интроспекцией).

Определение слова «Тип» по БСЭ:

Тип (от греч. tэpos — отпечаток, форма, образец)1) форма, вид чего-либо, обладающие существенными качественными признаками. 2) Образец, модель для чего-либо. 3) Единица расчленения изучаемой реальности в типологии. 4) Таксономическая категория или единица классификации в ландшафтоведении (Т. ландшафта, Т. местности) и в других науках, изучающих отдельные компоненты природной среды, — Т. рельефа, Т. климата, Т. почв, Т. растительности и др. 5) Человек, наделённый какими-либо характерными свойствами, яркий представитель какой-либо группы людей, в частности сословия, класса, нации, эпохи. 6) В литературе и искусстве — типичный характер, образ человека, наиболее«вероятного», «нормального», «идеального» («образцового») для определённого «нрава» (античная комедия), страсти (классицизм), социального сословия (Просвещение) или общества во всей совокупности его социальных, исторических, национальных особенностей (критический реализм, социалистический реализм). См. Характер в литературе, Художественный образ.

Тип — в биологии (typus), 1) высшая таксономическая категория в систематике животных, объединяющая родственные классы. Термин «Т.» был предложена 1825 А. Бленвилем, назвавшим так четыре «ветви» животных, выделенные в 1812 Ж. Кювье. Объём разных Т. неодинаков: в Т. губок около 5000 видов, в Т. погонофор — всего около 100. Т. нередко подразделяют на подтипы. так, например, Т. хордовых включает четыре подтипа: головохордовые, личиночнохордовые (или оболочники)., бесчерепные и черепные (или позвоночные). Все организмы одного Т. характеризуются единым планом строения. Хотя число и объём Т. различны у разных систематиков (от 10 до 33), однако эти расхождения не меняют принципиального значения Т. как категории, отражающей основные (главные) ветви филогенетического древа животных (см. также Систематика). 2) В систематике растений, разрабатываемой независимо от систематики животных, таксономическая категория (ранг таксона), соответствующая Т., называется отделом.М. Э. Кирпичников.

Тип - это что такое? значение, определение и синонимы

Настоящая женщина и настоящий мужчина – это идеальная пара?

Тип - это что такое? значение, определение и синонимы

Переходы шедевральны: минуту назад был гусь, теперь на горизонте возникла пара. Все потому, что время отдохнуть от лингвистических изысков и поговорить о типах, которые присутствуют в культуре и довольно живучи, даже в нашем постоянно меняющемся мире. Наверное, читатель хочет получить в свое распоряжение еще и определение слова «тип», но исходя из огромного количества контекстных значений понятия, ему придется справиться с этой задачей самому в зависимости от языковой ситуации, возникшей перед ним.

Перейдем к проблеме идеальности. Есть такая знаменитая расхожая фраза, что идеальный мужчина и идеальная женщина никогда не смогут быть вместе потому, что первый не предлагает дважды, а вторая сразу не соглашается. Так ли это? Если отбросить частности, то «идеальный мужчина» как тип – это модель хорошо зарабатывающей машины, которая работает на ласке и вкусной еде. Продолжая автомобильную метафору, скажем, что и гараж стоит тоже держать в образцовой чистоте.

При этом такой мужчина делает все, чтобы женщина ни в чем не нуждалась, то есть он пропадает на работе, а она ждет его дома с готовым обедом. В остальном же дама предоставлена сама себе, ибо работать ей не нужно. Что же такое «идеальная женщина» как тип? Это интересный вопрос. Ее основная функция заботиться о том, чтобы «хорошо зарабатывающая машина» находилась в отличном состоянии, поэтому дом должен быть уютным, еда – вкусной, а сама женщина – красивой.

Получается, что на самом деле настоящий мужчина и настоящая женщина – это идеальная пара. Правда, они могут не дотянуть до свадьбы из-за собственных установок, но это мелочи. Конечно, типы топорные и архаичные, но все же достаточно живучие, по крайней мере, в российском обществе. Многие люди до сих пор именно так представляют себе идеальный брак. Пусть читатель сам решает – это не наше дело, а мы просто раскрыли значение слова «тип».

В словаре Ожегова

ТИП, -а, м. 1. (вин. п. тип). Форма, вид чего-н., обладающие определенными признаками, а также образец, к-рому соответствует известная группа предметов, явлений. Типы рельефов. Славянский т. лица. Т. автомобиля. 2. (вин. п. тип). Высшее подразделение в систематике животных, объединяющее близкие по происхождению классы. 3. (вин. п. тип). Разряд, категория людей, объединенных общностью каких-н. внешних или внутренних черт. Он очень замкнут — я не люблю людей этого типа. 4. (вин. п. тип). Образ, содержащий характерные, обобщенные черты какой-н. группы людей. Гоголевские типы в русской литературе. 5. (вин. п. типа). Человек, отличающийся какими-н. характерными свойствами, приметами (чаще отрицательными) (разг.). Забавный т. Отвратительный т. Приходил какой-то странный т. Ну и т. ты! (осуждение). 6. типа кого-чего, в знач. предлога срод. п. Вроде, наподобие кого-че-го-н. Устройство типа центрифуги. Гостиница типа пансионата. Люди типа Самгина. || уменыи. типик, -а, м. (к 5 знач.) и типчик, -а, м. (к 5 знач.). || прил. типовой, -ая, -ое (к 1 знач.) и типический, -ая, -ое (к 4 знач.). Типовой проект. Типовой договор. Типический образ.

В словаре Даля

м. греч. прототип, первообраз, подлинник, образец, основный
образ. В пяти частях света находим мы пять типов человеческого рода:
белый, желтый, красный, серый и черный. У Гоголя видим множество
нравственых типов, типичных или типических лиц, резко очерченных,
выразительных, первообразных. | Типы, буквы, литеры, набор в печатнях,
снимки с коих дают печать. Типография, печатня, книгопечатня. -фский,
-фичный, -фический, к печатне отнсящееся. Типограф, -графщик, печатник,
книгопечатник, хозяин, содержатель печатни. -щичьи принадлежности. Типик
м. церк. устав церковного служенья. Типик иерусалимский. Типик Афонской
горы.

Значение слова Тип по словарю Брокгауза и Ефрона:

Тип — термин, введенный Бленвилем (1816) и потом примененный к подразделениям, установленным Кювье (см. Теория Т.). В настоящее время принимают следующие Т.: 1) Простейшие (Protozoa) — одноклеточные животные или представляющие колонию совершенно одинаковых клеток и обыкновенно без разделения на клетки соматические и половые. 2) Кишечнополостные (Coelenterata) животные с многолучевой симметрией и с двумя ясно выраженными пластами (эктодермы и энтодермы), по большей части разделенными прослойкой среднего пласта (мезенхимы), с одной общей полостью, соответствующей гастральной полости зародыша, и обыкновенно с одним отверстием, у большинства соответствующим бластопору. с нервной системой в виде разбросанных клеток, или в виде колец, или ганглиев, радиально расположенных. Половые клетки у большинства назревают или в эктодерме, или в энтодерме. При этом надо отметить совершенно исключительное положение губок (Spongia s. Porifera), y которых кроме одного крупного отверстия (выходного) имеется масса мелких входных, причем большое отверстие не соответствует бластопору. 3) Черви (Vermes) — двусимметричные формы с явственно выраженными тремя пластами (экто-, энто- и мезодермой). Одни из них не имеют полости тела, другие имеют первичную полость, третьи имеют вторичную полость тела (coelom). Нервная система из ганглиозного переднего скопления (головного ганглия) и (у большинства) двух брюшных стволов. Все имеют выделительную систему, и многие кровеносную. Половые клетки назревают или в особых органах, или во вторичной полости тела. Есть формы членистые и нечленистые. 4) Членистоногие (Arthropoda), членистые по происхождению вторичнополостные формы с членистыми конечностями. У взрослых форм вторичная полость тела претерпевает большие изменения. Нервная система — из головного ганглия и ряда парных брюшных ганглиев, число коих соответствует в зародышевом состоянии числу члеников. У большинства кровеносная система не замкнутая, и есть выделительные органы и обособленные половые. 5) Моллюски, или мягкотелые (Mollusca), нечленистые вторичнополостные животные с редуцированной вторичной полостью тела. Нервная система обыкновенно в виде отдельно лежащих парных ганглиев, соединенных перемычками, причем наиболее постоянными являются три пары (головная, ножная и висцеральная). Обособленные органы кровообращения — выделительные и половые. 6) Иглокожие (Echinodermata), вторичнополостные животные во взрослом состоянии с пятилучевой симметрией. Нервная система в виде околоротового кольца с отходящими лучами, с обособленной кровеносной системой и половыми органами. Часть вторичной полости тела обособляется в виде своеобразной амбулакральной системы, являющейся, главным образом, органом движения. Обособленные кровеносные и половые органы. 7) Хордовые (Chordata) двусимметричные вторичнополостные и по происхождению членистые животные с нервной системой в виде лежащей на спине трубки и с лежащим над ней особым шнуром, в эмбриональном состоянии свойственном всем представителям Т. и называемым спинной струной (Chorda dorsalis). У громадного большинства имеются обособленные органы кровообращения и выделительные. Половые органы обособлены. Передняя часть кишечника зародыша пронизана щелями, открывающимися непосредственно или через особую полость наружу. Эти щели, называемые жаберными, у многих остаются на всю жизнь в виде органов дыхания. Затем некоторыми отделяются еще два Т. Моллюскоподобных (Molluscoidea), обыкновенно входящие в состав червей и оболочников (Tunicata), соединяемые теперь с позвоночными под именем хордовых. Моллюскоподобные характеризуются присутствием около рта венчика щупалец, почему их еще именуют рукоротыми (Brachiostomata), и околоротового нервного кольца и связанного с ним ганглия. Оболочники представляют формы, коим характерное строение нервной системы в виде трубки свойственно только в зародышевом состоянии, а у взрослых имеется плотный ганглий на спинной стороне. Хорда в большинстве случаев тоже только в зародышевом состоянии, и вообще они являются формами чрезвычайно деградированными. В настоящее время учение о Т. в значительной мере подвергнуто переработке, но покуда в этих новых классификациях еще много субъективного, и потому мнения зоологов на этот счет отличаются значительным разнообразием. В. Шимкевич.

Самоприменение

Тип может быть параметризован другим типом, в соответствии с принципами абстракции и . Например, для реализации функции сортировки последовательностей нет необходимости знать все свойства составляющих её элементов — необходимо лишь, чтобы они допускали операцию сравнения — и тогда составной тип «последовательность» может быть определён как параметрически полиморфный. Это означает, что его компоненты определяются с использованием не конкретных типов (таких как «целое» или «массив целых»), а параметров-типов. Такие параметры называются переменными типа (англ. type variable) — они используются в определении полиморфного типа так же, как параметры-значения в определении функции. Подстановка конкретных типов в качестве фактических параметров для полиморфного типа порождает мономорфный тип. Таким образом, параметрически полиморфный тип представляет собой конструктор типов, то есть оператор над типами в арифметике типов.

Определение функции сортировки как параметрически полиморфной означает, что она сортирует абстрактную последовательность, то есть последовательность из элементов некоторого (неизвестного) типа. Для функции в этом случае требуется знать о своём параметре лишь два свойства — то, что он представляет собой последовательность, и что для её элементов определена операция сравнения. Рассмотрение параметров процедурным, а не декларативным, образом (то есть их использование на основе поведения, а не значения) позволяет использовать одну функцию сортировки для любых последовательностей — для последовательностей целых чисел, для последовательностей строк, для последовательностей последовательностей булевых значений, и так далее — и существенно повышает коэффициент повторного использования кода. Ту же гибкость обеспечивает и динамическая типизация, однако, в отличие от параметрического полиморфизма, первая приводит к накладным расходам. Параметрический полиморфизм наиболее развит в языках, типизированных по Хиндли — Милнеру, то есть потомках языка ML. В объектно-ориентированном программировании параметрический полиморфизм принято называть обобщённым программированием.

Несмотря на очевидные преимущества параметрического полиморфизма, порой возникает необходимость обеспечивать различное поведение для разных одного общего типа, либо аналогичное поведение для несовместимых типов — то есть в тех или иных формах Ad hoc полиморфизма. Однако, ему не существует математического обоснования, так что требование типобезопасности долгое время затрудняло его использование. Ad hoc полиморфизм реализовывался внутри параметрически полиморфной системы типов посредством различных трюков. Для этой цели использовались либо , либо параметрические модули (функторы), либо так называемые «значения, индексированные типами» (англ. type-indexed values), которые, в свою очередь, также имеют ряд реализаций. , появившиеся в языке Haskell, предоставили более изящное решение этой проблемы.

Если рассматриваемой информационной сущностью является тип, то назначение ей типа приведёт к понятию «тип типа» («метатип»). В теории типов это понятие носит название «род типов» (англ. kind of a type или type kind). Например, род «» включает все типы, а род «» включает все унарные конструкторы типов. Рода явным образом применяются при полнотиповом программировании — например, в виде конструкторов типов в языках семейства ML.

Расширение безопасной полиморфной системы типов и родами типов сделало Haskell первым типизированным в полной мере языком. Полученная система типов оказала влияние на другие языки (например, Scala, Agda).

Ограниченная форма метатипов присутствует также в ряде объектно-ориентированных языков в форме метаклассов. В потомках языка Smalltalk (например, Python) всякая сущность в программе является объектом, имеющим тип, который сам также является объектом — таким образом, метатипы являются естественной частью языка. В языке C++ отдельно от основной системы типов языка реализована подсистема RTTI, также предоставляющая информацию о типе в виде специальной структуры.

Динамическое выяснение метатипов называется отражением (а также рефлексивностью или интроспекцией).

Примеры

  • примитивные типы, в том числе:
    • логический тип
    • целые типы
    • вещественные типы
  • ссылочные типы
  • Композитные типы, в том числе:
    • массивы
    • записи
    • кортежи
    • абстрактные типы (АТД, англ. ADT)
  • алгебраические типы

    вариантные типы

  • унаследованные типы
  • объектные типы, то есть объекты, значением которых являются типы — например, переменные типов
  • функциональные типы, например бинарные функции
  • универсально квантифицированные типы, такие как параметрические типы
  • , такие как модули
  • зависимые типы — типы, зависящие от термов (значений)
  •  — типы, идентифицирующие подмножества других типов
  • Предопределённые типы (являющиеся фактически структурными, но предоставляемые на правах примитивных) для удобства промышленных разработок, такие как «дата», «время», «валюта» и др.

Краткое пояснение к фразеологизму «Гусь лапчатый»

Тип - это что такое? значение, определение и синонимы

Понятно, что тип – это совсем непросто, о каком бы значении мы бы ни говорили. Но в данном случае один синоним нуждается в отдельном внимании. В народе ходит весьма стойкое заблуждение: «Гусь лапчатый» – это то же самое, что и лапоть, т.е. дурачок. Хотя смысл у фразеологизма как раз обратный. Так говорят о ловком дельце, пройдохе. И прототипом для выражения послужили не птицы, а граф Василий Салтыков. Аристократ разводил гусей на продажу и, если не входить в подробности, изобрел довольно хитроумный способ транспортировки «товара» на большие расстояния собственным ходом. Да-да, все так и было, замечательная история. Но если ее пересказывать, то вечер перестанет быть томным, а пояснение — кратким. Именно поэтому «гусь лапчатый» попал в нелицеприятные синонимы слова «тип». Хотя, на наш взгляд, с точки зрения коммерческой выдумки, граф – молодец, но словарь нам говорит, что этот речевой оборот используется как ругательство. Что ж, не будем спорить с традицией.

Значение слова Тип по Ефремовой:

Тип — 1. Яркий образец, модель для группы каких-л. предметов, явлений. 2. Высшая категория в систематике животных и растений. 3. Вид, род, разновидность чего-л. // Классификационное понятие в научной систематике (минералогической, геохимической, астрономической и т.п.).

1. Человек, служащий прототипом писателю, артисту, художнику. 2. Образ в произведениях литературы и искусства, в индивидуальных чертах которого воплощены наиболее характерные признаки лиц определенной категории. 3. Отдельный человек, отличающийся от других какими-л. характерными чертами. // разг. Человек, к которому относятся пренебрежительно, с презрением. 4. Категория лиц с общими характерными признаками. 5. Облик человека, связанный с его принадлежностью к определенной этнической категории. // Особенности психологического склада, присущие лицам определенной национальности.

Представление на ЭВМ

Наиболее заметным отличием реального программирования от формальной теории информации является рассмотрение вопросов эффективности не только в терминах О-нотации, но и с позиций экономической целесообразности воплощения тех или иных требований в физически изготовляемой ЭВМ. И в первую очередь это сказывается на допустимой точности вычислений: понятие «число» в ЭВМ на практике не тождественно понятию числа в арифметике. Число в ЭВМ представляется ячейкой памяти, размер которой определяется архитектурой ЭВМ, и диапазон значений числа ограничивается размером этой ячейки. Например, процессоры архитектуры Intel x86 предоставляют ячейки, размер которых в байтах задаётся степенью двойки: 1, 2, 4, 8, 16 и т. д. Процессоры архитектуры Сетунь предоставляли ячейки, размер которых в трайтах задавался кратным тройке: 1, 3, 6, 9 и т. д.

Попытка записи в ячейку значения, превышающего максимально допустимый для неё предел (который ) приводит к ошибке переполнения. При необходимости расчётов на более крупных числах используется специальная методика, называемая длинной арифметикой, которая в силу значительной ресурсоёмкости не может осуществляться в реальном времени. Для наиболее распространённых в настоящее время архитектур ЭВМ «родным» является размер ячеек в 32 и 64 бит (то есть 4 и 8 байт).

Кроме того, целые и вещественные числа имеют разное представление в этих ячейках: неотрицательные целые представляются непосредственно, отрицательные целые — в дополнительном коде, а вещественные кодируются особым образом. Из-за этих различий сложение чисел «» и «», которое в теории даёт значение «», на ЭВМ непосредственно невозможно. Для его осуществления необходимо сперва выполнить преобразование типа, породив на основании значения целого типа «» новое значение вещественного типа «», и лишь затем сложить «» и «». В силу специфики реализации вещественных чисел на ЭВМ, такое преобразование осуществляется не абсолютно точно, а с некоторой долей приближения. По той же причине сильно типизированные языки (например, Standard ML) рассматривают вещественный тип как equality types (или identity types) ().

Для низкоуровневого представления составных типов важное значение имеет понятие о выравнивании данных. Языки высокого уровня обычно изолируют (абстрагируют) программиста от этого свойства, однако, с ним приходится считаться при связывании независимо скомпилированных модулей между собой

Однако, некоторые языки (Си, С++) предоставляют возможность контролировать низкоуровневое представление типов, в том числе и выравнивание. Такие языки временами называют языками среднего уровня.