Более быстрый доступ, чем браузер!
54 отношения: BCPL, C Sharp, Haskell, IEEE 754-2008, Java, Microsoft, ML, REXX, SGML, Квантор, Квантор существования, Квантор всеобщности, Ковариантность и контравариантность (программирование), Компьютерная память, Компилятор, Примитивный тип, Программная ошибка, Программное обеспечение, Полиморфизм (информатика), Перегрузка операторов, Переменная (программирование), Объект (программирование), Обработка исключений, Архитектура набора команд, Абстракция (информатика), Агрегирование (программирование), Адрес (информатика), РЕФАЛ, Статическая типизация, Сценарный язык, Сравнение языков программирования, Си (язык программирования), Система F, Символьный тип, Список (информатика), Типобезопасность, Утечка памяти, Форт (язык программирования), Целое (тип данных), Число с плавающей запятой, Явное назначение типов, Язык разметки, Язык программирования, Массив (программирование), Модульное программирование, Интегрированная среда разработки, Инкапсуляция (программирование), Запись (тип данных), Выражение (информатика), Вывод типов, ..., Время выполнения (фаза жизненного цикла программы), Динамическая типизация, Логическая ошибка (программирование), 1988 год. Развернуть индекс (4 больше) »
BCPL
BCPL (Basic Combined Programming Language) — язык программирования, разработанный Мартином Ричардсом в 1966 году в Кембриджском университете.
Новый!!: Система типов и BCPL · Узнать больше »
C Sharp
C# (произносится си шарп) — объектно-ориентированный язык программирования.
Новый!!: Система типов и C Sharp · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Система типов и Haskell · Узнать больше »
IEEE 754-2008
IEEE 754 (IEC 60559) — широко используемый стандарт IEEE, описывающий формат представления чисел с плавающей точкой.
Новый!!: Система типов и IEEE 754-2008 · Узнать больше »
Java
JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.
Новый!!: Система типов и Java · Узнать больше »
Microsoft
Microsoft (Microsoft Corporation, «Ма́йкрософт») — одна из крупнейших транснациональных компаний по производству проприетарного программного обеспечения для различного рода вычислительной техники — персональных компьютеров, игровых приставок, КПК, мобильных телефонов и прочего, разработчик наиболее широко распространённой на данный момент в мире программной платформы — семейства операционных систем Windows.
Новый!!: Система типов и Microsoft · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: Система типов и ML · Узнать больше »
REXX
REXX или Rexx (REstructured eXtended eXecutor, произносится «рекс») — интерпретируемый язык программирования, разработанный фирмой IBM.
Новый!!: Система типов и REXX · Узнать больше »
SGML
SGML (Standard Generalized Markup Language — стандартный обобщённый язык разметки; произносится) — метаязык, на котором можно определять язык разметки для документов.
Новый!!: Система типов и SGML · Узнать больше »
Квантор
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание.
Новый!!: Система типов и Квантор · Узнать больше »
Квантор существования
Квантор существования (экзистенциальный квантификатор) в предикатной логике — предикат свойства или отношения для по крайней мере одного элемента из области определения.
Новый!!: Система типов и Квантор существования · Узнать больше »
Квантор всеобщности
Квантор всеобщности (обозначения: \forall, ∀) — это условие, которое верно для всех обозначенных элементов, в отличие от ''квантора существования'', где условие верно только для каких-то отдельных элементов из указанного множества.
Новый!!: Система типов и Квантор всеобщности · Узнать больше »
Ковариантность и контравариантность (программирование)
Ковариа́нтность и контравариа́нтность в программировании — способы переноса наследования типов на производные от них типы — контейнеры, обобщённые типы, делегаты и т. п.
Новый!!: Система типов и Ковариантность и контравариантность (программирование) · Узнать больше »
Компьютерная память
2000-х годов выпуска материнскую плату флеш-памяти Компью́терная па́мять (устройство хранения информации, запоминающее устройство) — часть вычислительной машины, физическое устройство или среда для хранения данных, используемая в вычислениях в течение определённого времени.
Новый!!: Система типов и Компьютерная память · Узнать больше »
Компилятор
Компиля́тор — программа или техническое средство, выполняющее компиляциюГОСТ 19781-83 //; см.
Новый!!: Система типов и Компилятор · Узнать больше »
Примитивный тип
Примитивный (встроенный, базовый) тип — тип данных, предоставляемый языком программирования как базовая встроенная единица языка.
Новый!!: Система типов и Примитивный тип · Узнать больше »
Программная ошибка
Программная ошибка (жарг. «») — означает ошибку в программе или в системе, из-за которой программа выдает неожиданное поведение и, как следствие, результат.
Новый!!: Система типов и Программная ошибка · Узнать больше »
Программное обеспечение
Програ́ммное обеспе́чение Грамота.ру (допустимо также произношение обеспече́ние) (ПО) — программа или множество программ, используемых для управления компьютером (ISO/IEC 26514:2008).
Новый!!: Система типов и Программное обеспечение · Узнать больше »
Полиморфизм (информатика)
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.
Новый!!: Система типов и Полиморфизм (информатика) · Узнать больше »
Перегрузка операторов
Перегрузка операторов в программировании — один из способов реализации полиморфизма, заключающийся в возможности одновременного существования в одной области видимости нескольких различных вариантов применения оператора, имеющих одно и то же имя, но различающихся типами параметров, к которым они применяются.
Новый!!: Система типов и Перегрузка операторов · Узнать больше »
Переменная (программирование)
Переме́нная в императивном программировании — поименованная, либо адресуемая иным способом область памяти, адрес которой можно использовать для осуществления доступа к данным.
Новый!!: Система типов и Переменная (программирование) · Узнать больше »
Объект (программирование)
Объе́кт в программировании — некоторая сущность в компьютерном пространстве, обладающая определённым состоянием и поведением, имеющая заданные значения свойств (атрибутов) и операций над ними (методов).
Новый!!: Система типов и Объект (программирование) · Узнать больше »
Обработка исключений
Обрабо́тка исключи́тельных ситуа́ций (exception handling) — механизм языков программирования, предназначенный для описания реакции программы на ошибки времени выполнения и другие возможные проблемы (исключения), которые могут возникнуть при выполнении программы и приводят к невозможности (бессмысленности) дальнейшей отработки программой её базового алгоритма.
Новый!!: Система типов и Обработка исключений · Узнать больше »
Архитектура набора команд
Схема, иллюстрирующая место уровней микроархитектуры, архитектуры набора команд и микрокода в многоуровневой структуре компьютера Архитектура набора команд (instruction set architecture, ISA) — часть архитектуры компьютера, определяющая программируемую часть ядра микропроцессора.
Новый!!: Система типов и Архитектура набора команд · Узнать больше »
Абстракция (информатика)
Абстракция в информатике представляет собой технику управления сложностью систем.
Новый!!: Система типов и Абстракция (информатика) · Узнать больше »
Агрегирование (программирование)
В объектно-ориентированном программировании под агрегированием (или как его еще называют - делегированием) подразумевают методику создания нового класса из уже существующих классов путём их включения.
Новый!!: Система типов и Агрегирование (программирование) · Узнать больше »
Адрес (информатика)
Адрес — символ или группа символов, которые идентифицируют регистр, отдельные части памяти или некоторые другие источники данных, либо место назначения информации.
Новый!!: Система типов и Адрес (информатика) · Узнать больше »
РЕФАЛ
РЕФАЛ (РЕкурсивных Функций АЛгоритмический) — один из старейших функциональных языков программирования, ориентированный на символьные вычисления: обработку символьных строк (например, алгебраические выкладки); перевод с одного языка (искусственного или естественного) на другой; решение проблем, связанных с искусственным интеллектом.
Новый!!: Система типов и РЕФАЛ · Узнать больше »
Статическая типизация
Стати́ческая типиза́ция — приём, широко используемый в языках программирования, при котором переменная, параметр подпрограммы, возвращаемое значение функции связывается с типом в момент объявления и тип не может быть изменён позже (переменная или параметр будут принимать, а функция — возвращать значения только этого типа).
Новый!!: Система типов и Статическая типизация · Узнать больше »
Сценарный язык
Сценарный язык (язык сценариев,; scripting language) — высокоуровневый язык сценариев (script) — кратких описаний действий, выполняемых системой.
Новый!!: Система типов и Сценарный язык · Узнать больше »
Сравнение языков программирования
В приведённой ниже таблице отмечено наличие или отсутствие тех или иных возможностей в некоторых популярных сегодня языках программирования.
Новый!!: Система типов и Сравнение языков программирования · Узнать больше »
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Новый!!: Система типов и Си (язык программирования) · Узнать больше »
Система F
Система F (полиморфное лямбда-исчисление, система \lambda2, типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами.
Новый!!: Система типов и Система F · Узнать больше »
Символьный тип
Символьный тип (Сhar) — тип данных, предназначенный для хранения одного символа (управляющего или печатного) в определённой кодировке.
Новый!!: Система типов и Символьный тип · Узнать больше »
Список (информатика)
В информатике, спи́сок (list) — это абстрактный тип данных, представляющий собой упорядоченный набор значений, в котором некоторое значение может встречаться более одного раза.
Новый!!: Система типов и Список (информатика) · Узнать больше »
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Новый!!: Система типов и Типобезопасность · Узнать больше »
Утечка памяти
Уте́чка па́мяти (memory leak) — процесс неконтролируемого уменьшения объёма свободной оперативной или виртуальной памяти компьютера, связанный с ошибками в работающих программах, вовремя не освобождающих ненужные уже участки памяти, или с ошибками системных служб контроля памяти.
Новый!!: Система типов и Утечка памяти · Узнать больше »
Форт (язык программирования)
Форт (Forth) — один из первых конкатенативных языков программирования, в котором программы записываются последовательностью лексем («слов» в терминологии языка Форт).
Новый!!: Система типов и Форт (язык программирования) · Узнать больше »
Целое (тип данных)
Целое, целочисленный тип данных (Integer), в информатике — один из простейших и самых распространённых типов данных в языках программирования.
Новый!!: Система типов и Целое (тип данных) · Узнать больше »
Число с плавающей запятой
Число с плавающей запятой (или число с плавающей точкой) — форма представления вещественных (действительных) чисел, в которой число хранится в форме мантиссы и показателя степени.
Новый!!: Система типов и Число с плавающей запятой · Узнать больше »
Явное назначение типов
Явное назначение типов, или явная типизация — в программировании вид типизации, при котором в момент объявления переменной требуется явно указать ее тип.
Новый!!: Система типов и Явное назначение типов · Узнать больше »
Язык разметки
Язы́к разме́тки (текста) в компьютерной терминологии — набор символов или последовательностей, вставляемых в текст для передачи информации о его выводе или строении.
Новый!!: Система типов и Язык разметки · Узнать больше »
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Новый!!: Система типов и Язык программирования · Узнать больше »
Массив (программирование)
Массив (в некоторых языках программирования также таблица, ряд, матрица) — структура данных в виде набора компонентов (элементов массива), расположенных в памяти непосредственно друг за другом, что позволяет обращаться к элементам по числовому индексу.
Новый!!: Система типов и Массив (программирование) · Узнать больше »
Модульное программирование
Мо́дульное программи́рование — это организация программы как совокупности небольших независимых блоков, называемых модулями, структура и поведение которых подчиняются определённым правилам.
Новый!!: Система типов и Модульное программирование · Узнать больше »
Интегрированная среда разработки
Интегри́рованная среда́ разрабо́тки, ИСP (Integrated development environment — IDE), также единая среда разработки, ЕСР — комплекс программных средств, используемый программистами для разработки программного обеспечения (ПО).
Новый!!: Система типов и Интегрированная среда разработки · Узнать больше »
Инкапсуляция (программирование)
Инкапсуляция (encapsulation, от in capsula) — в информатике упаковка данных и функций в единый компонент.
Новый!!: Система типов и Инкапсуляция (программирование) · Узнать больше »
Запись (тип данных)
Запись — агрегатный тип данных, инкапсулирующий без сокрытия набор различных типов.
Новый!!: Система типов и Запись (тип данных) · Узнать больше »
Выражение (информатика)
Выражение в информатике — комбинация значений, констант, переменных, операций и функций, которая может быть интерпретирована в соответствии с правилами конкретного языка.
Новый!!: Система типов и Выражение (информатика) · Узнать больше »
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Новый!!: Система типов и Вывод типов · Узнать больше »
Время выполнения (фаза жизненного цикла программы)
В информатике время выполнения (runtime, сл. «ранта́йм») — это время, в течение которого выполняется программа, в отличие от других этапов жизненного цикла (англ. program lifecycle phase) программы, таких как, и. Ошибка выполнения обнаруживается во время выполнения или исполнения (состояния запуска) программы, тогда как ошибка компиляции обнаруживается компилятором до того, как программа будет выполняться.
Новый!!: Система типов и Время выполнения (фаза жизненного цикла программы) · Узнать больше »
Динамическая типизация
Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной.
Новый!!: Система типов и Динамическая типизация · Узнать больше »
Логическая ошибка (программирование)
В программировании логической ошибкой называется баг, который приводит к некорректной работе программы, но не к краху программы.
Новый!!: Система типов и Логическая ошибка (программирование) · Узнать больше »
1988 год
* В США объявлен «годом читателя».
Новый!!: Система типов и 1988 год · Узнать больше »
Перенаправления здесь:
Типизация, Типизация данных, Экзистенциальный тип, Бестиповый язык.
