Содержание
63 отношения: ARM (архитектура), ASCII, AWK, C++, Coq, Data mining, F Sharp, GNU Lesser General Public License, Haxe, IEEE 754-2008, INRIA, Java, JIT-компиляция, JoCaml, ML, MLDonkey, MLton, Perl, PowerPC, SPARC, Standard ML, X86, Категориальная абстрактная машина, Конкатенация, Приведение типа, Программирование, управляемое данными, Параметрический полиморфизм, Перечисляемый тип, Переполнение буфера, Объектно-ориентированное программирование, Обобщённый алгебраический тип данных, Арность, Алгебраический тип данных, Анонимная функция, Рекурсивная функция, Строковый тип, Статическая типизация, Стандартные потоки, Среда выполнения, Си (язык программирования), Сильная и слабая типизация, Символьный тип, Унарная операция, Функции первого класса, Функциональное программирование, Франция, Число с плавающей запятой, Экспоненциальная запись, Мультипарадигмальный язык программирования, Математическая формула, ... Развернуть индекс (13 больше) »
- Языки программирования с расширяемым синтаксисом
- Языки программирования семейства ML
- Языки программирования, появившиеся в 1996 году
ARM (архитектура)
ARM-процессор производства Conexant, устанавливается в основном в маршрутизаторах Архитектура ARM (от Advanced RISC Machine — усовершенствованная RISC-машина; иногда — Acorn RISC Machine) — семейство лицензируемых 32-битных и 64-битных микропроцессорных ядер разработки компании ARM Limited.
Посмотреть OCaml и ARM (архитектура)
ASCII
Таблица ASCII ASCII (American standard code for information interchange) — название таблицы (кодировки, набора), в которой некоторым распространённым печатным и непечатным символам сопоставлены числовые коды.
Посмотреть OCaml и ASCII
AWK
AWK — C-подобный скриптовый язык построчного разбора и обработки входного потока (например, текстового файла) по заданным шаблонам (регулярным выражениям).
Посмотреть OCaml и AWK
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Посмотреть OCaml и C++
Coq
Coq (coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами.
Посмотреть OCaml и Coq
Data mining
Data mining (добыча данных, интеллектуальный анализ данных, глубинный анализ данных) — собирательное название, используемое для обозначения совокупности методов обнаружения в данных ранее неизвестных, нетривиальных, практически полезных и доступных интерпретации знаний, необходимых для принятия решений в различных сферах человеческой деятельности.
Посмотреть OCaml и Data mining
F Sharp
F# (произносится эф-шарп) — это мультипарадигмальный язык программирования из семейства языков.NET Framework, поддерживающий функциональное программирование в дополнение к императивному (процедурному) и объектно-ориентированному программированию.
Посмотреть OCaml и F Sharp
GNU Lesser General Public License
GNU Lesser General Public License (LGPL) — это лицензия свободного программного обеспечения за авторством Free Software Foundation (FSF).
Посмотреть OCaml и GNU Lesser General Public License
Haxe
Haxe — это высокоуровневый мультиплатформенный язык программирования с открытым исходным кодом, а также компилятор, с помощью которого можно создавать приложения и генерировать исходный код для разных платформ, сохраняя единую кодовую базу.
Посмотреть OCaml и Haxe
IEEE 754-2008
IEEE 754 (IEC 60559) — широко используемый стандарт IEEE, описывающий формат представления чисел с плавающей точкой.
Посмотреть OCaml и IEEE 754-2008
INRIA
INRIA (Institut national de recherche en informatique et en automatique, государственный институт исследований в информатике и автоматике) — национальный исследовательский институт во Франции, работающий в области компьютерных наук, теории управления и прикладной математики.
Посмотреть OCaml и INRIA
Java
JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.
Посмотреть OCaml и Java
JIT-компиляция
JIT-компиляция (Just-in-time compilation, компиляция «на лету»), динамическая компиляция (dynamic translation) — технология увеличения производительности программных систем, использующих байт-код, путём компиляции байт-кода в машинный код или в другой формат непосредственно во время работы программы.
Посмотреть OCaml и JIT-компиляция
JoCaml
JoCaml — экспериментальный функциональный язык программирования, произошедший от OCaml.
Посмотреть OCaml и JoCaml
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Посмотреть OCaml и ML
MLDonkey
MLDonkey — кроссплатформенный файлообменный клиент с открытым исходным кодом, поддерживающий большое количество протоколов и P2P-сетей.
Посмотреть OCaml и MLDonkey
MLton
MLton (произносится «ми́ллтон») — кроссплатформенный полнопрограммно-оптимизирующий компилятор языка программирования (SML).
Посмотреть OCaml и MLton
Perl
Perl — высокоуровневый интерпретируемый динамический язык программирования общего назначения, созданный Ларри Уоллом, лингвистом по образованию.
Посмотреть OCaml и Perl
PowerPC
IBM PowerPC 601 PowerPC (или сокращённо PPC) — микропроцессорная RISC-архитектура, созданная в 1991 году альянсом компаний Apple, IBM и Motorola, известным как AIM.
Посмотреть OCaml и PowerPC
SPARC
Микропроцессор UltraSPARC II компании Sun Microsystems SPARC (Scalable Processor ARChitecture — масштабируемая архитектура процессора) — архитектура RISC-микропроцессоров, первоначально разработанная в 1985 году компанией Sun Microsystems.
Посмотреть OCaml и SPARC
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Посмотреть OCaml и Standard ML
X86
80486 DX2 x86 (Intel 80x86) — архитектура процессора c одноимённым набором команд, впервые реализованная в процессорах компании Intel.
Посмотреть OCaml и X86
Категориальная абстрактная машина
Категориа́льная абстра́ктная маши́на (КАМ) — это модель вычисления программы, в которой сохраняются особенности аппликативного, функционального либо композиционного стиля.
Посмотреть OCaml и Категориальная абстрактная машина
Конкатенация
Конкатена́ция (concatenatio «присоединение цепями; сцепле́ние») — операция склеивания объектов линейной структуры, обычно строк.
Посмотреть OCaml и Конкатенация
Приведение типа
Приведе́ние (преобразование) ти́па (type conversion, typecasting, coercion) — в информатике преобразование значения одного типа в значение другого типа.
Посмотреть OCaml и Приведение типа
Программирование, управляемое данными
Программирование, управляемое данными (data-driven programming) представляет собой метод или даже парадигму программирования, при котором программный код, хотя и отделён от входных данных, но спроектирован таким образом, что логика программы определяется входными данными.
Посмотреть OCaml и Программирование, управляемое данными
Параметрический полиморфизм
Параметрический полиморфизм в языках программирования и теории типов представляет собой свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Посмотреть OCaml и Параметрический полиморфизм
Перечисляемый тип
Перечисляемый тип (сокращённо перечисле́ние, enumeration, enumerated type) — в программировании тип данных, чьё множество значений представляет собой ограниченный список идентификаторов.
Посмотреть OCaml и Перечисляемый тип
Переполнение буфера
Переполнение буфера (Buffer Overflow) — явление, возникающее, когда компьютерная программа записывает данные за пределами выделенного в памяти буфера.
Посмотреть OCaml и Переполнение буфера
Объектно-ориентированное программирование
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Посмотреть OCaml и Объектно-ориентированное программирование
Обобщённый алгебраический тип данных
Обобщённый алгебраи́ческий тип да́нных (GADT, generalized algebraic data type) — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа, связанного с ним.
Посмотреть OCaml и Обобщённый алгебраический тип данных
Арность
А́рность предиката, операции или функции в математике — количество их аргументов, или операндов.
Посмотреть OCaml и Арность
Алгебраический тип данных
Алгебраи́ческий тип да́нных — в информатике наиболее общий составной тип, представляющий собой тип-сумму из типов-произведений.
Посмотреть OCaml и Алгебраический тип данных
Анонимная функция
Анонимная функция в программировании — особый вид функций, которые объявляются в месте использования и не получают уникального идентификатора для доступа к ним.
Посмотреть OCaml и Анонимная функция
Рекурсивная функция
Рекурси́вная фу́нкция (от recursio — возвращение) — это числовая функция f(n) числового аргумента, которая в своей записи содержит себя же.
Посмотреть OCaml и Рекурсивная функция
Строковый тип
В программировании, строковый тип (string «нить, вереница») — тип данных, значениями которого является произвольная последовательность (строка) символов алфавита.
Посмотреть OCaml и Строковый тип
Статическая типизация
Стати́ческая типиза́ция — приём, широко используемый в языках программирования, при котором переменная, параметр подпрограммы, возвращаемое значение функции связывается с типом в момент объявления и тип не может быть изменён позже (переменная или параметр будут принимать, а функция — возвращать значения только этого типа).
Посмотреть OCaml и Статическая типизация
Стандартные потоки
Стандартные потоки ввода-вывода в системах типа UNIX (и некоторых других) — потоки процесса, имеющие номер (дескриптор), зарезервированный для выполнения некоторых «стандартных» функций.
Посмотреть OCaml и Стандартные потоки
Среда выполнения
Среда выполнения (execution environment, иногда «ранта́йм» от runtime — «время выполнения») в информатике — вычислительное окружение, необходимое для выполнения компьютерной программы и доступное во время выполнения компьютерной программы.
Посмотреть OCaml и Среда выполнения
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Посмотреть OCaml и Си (язык программирования)
Сильная и слабая типизация
По одной из классификаций, языки программирования неформально делятся на сильно и слабо типизированные (strongly and weakly typed), обладающие сильной или слабой системой типов.
Посмотреть OCaml и Сильная и слабая типизация
Символьный тип
Символьный тип (Сhar) — тип данных, предназначенный для хранения одного символа (управляющего или печатного) в определённой кодировке.
Посмотреть OCaml и Символьный тип
Унарная операция
Уна́рной опера́цией или одноме́стной опера́цией на множестве M называется отображение множества в себя M \to M, которое каждому элементу множества M, называемому операндом, ставит в соответствие некоторый элемент того же множества, называемый результатом.
Посмотреть OCaml и Унарная операция
Функции первого класса
В информатике язык программирования имеет функции первого класса, если он рассматривает функции как объекты первого класса.
Посмотреть OCaml и Функции первого класса
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Посмотреть OCaml и Функциональное программирование
Франция
Фра́нция (France), официальное название Францу́зская Респу́блика (République française) — трансконтинентальное государство, включающее основную территорию в Западной Европе и ряд заморских регионов и территорий.
Посмотреть OCaml и Франция
Число с плавающей запятой
Число с плавающей запятой (или число с плавающей точкой) — форма представления вещественных (действительных) чисел, в которой число хранится в форме мантиссы и показателя степени.
Посмотреть OCaml и Число с плавающей запятой
Экспоненциальная запись
Экспоненциа́льная за́пись — представление действительных чисел в виде мантиссы и порядка.
Посмотреть OCaml и Экспоненциальная запись
Мультипарадигмальный язык программирования
Мультипарадигма́льный язы́к программи́рования — как правило, язык программирования, который был разработан специально как инструмент мультипарадигмального программирования, то есть изобразительные возможности которого изначально предполагалось унаследовать от нескольких, чаще всего не родственных языков.
Посмотреть OCaml и Мультипарадигмальный язык программирования
Математическая формула
Математическая формула (от formula — уменьшительное от forma — образ, вид) — в математике, а также физике и прикладных науках, является, наряду с термами, разновидностью математического выражения; имеет вид комбинации знаков, имеющей самостоятельный смысл и представляющей собой символическую запись высказывания (которое выражает логическое суждение), либо формы высказывания.
Посмотреть OCaml и Математическая формула
Милнер, Робин
Робин Милнер (Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Посмотреть OCaml и Милнер, Робин
Модель вычислений
Теория вычислимости и теория сложности вычислений трактует модель вычисления (model of computation) не только как определение множества допустимых операций, использованных для вычисления, но также и относительных издержек их применения.
Посмотреть OCaml и Модель вычислений
Императивное программирование
Императи́вное программи́рование — это парадигма программирования (стиль написания исходного кода компьютерной программы), для которой характерно следующее.
Посмотреть OCaml и Императивное программирование
Запись (тип данных)
Запись — агрегатный тип данных, инкапсулирующий без сокрытия набор различных типов.
Посмотреть OCaml и Запись (тип данных)
Быстрая сортировка
Быстрая сортировка, сортировка Хоара (quicksort), часто называемая qsort (по имени в стандартной библиотеке языка Си) — широко известный алгоритм сортировки, разработанный английским информатиком Чарльзом Хоаром во время его работы в МГУ в 1960 году.
Посмотреть OCaml и Быстрая сортировка
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Посмотреть OCaml и Вывод типов
Википедия
«Википе́дия» (Wikipedia, произносится или) — общедоступная многоязычная универсальная интернет-энциклопедия со свободным контентомПод свободностью контента подразумевается доступность содержимого проекта под свободными лицензиями; некоторые разделы также содержат несвободные материалы.
Посмотреть OCaml и Википедия
Внедрение зависимости
Внедрение зависимости (Dependency injection, DI) — процесс предоставления внешней зависимости программному компоненту.
Посмотреть OCaml и Внедрение зависимости
Деление с остатком
Деление c остатком — арифметическая операция, играющая большую роль в арифметике, теории чисел и алгебре.
Посмотреть OCaml и Деление с остатком
Лисп
Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.
Посмотреть OCaml и Лисп
1972 год
* Международный год книги (ЮНЕСКО).
Посмотреть OCaml и 1972 год
1996 год
Объявлен ООН Международным годом борьбы за ликвидацию нищеты (резолюция ООН 48/183).
Посмотреть OCaml и 1996 год
2000-е годы
2000-е годы (00-е, нулевые) — десятилетие, включающее годы с 2000 по 2009.
Посмотреть OCaml и 2000-е годы
См. также
Языки программирования с расширяемым синтаксисом
- ATS (язык программирования)
- Clojure
- Common Lisp
- Coq
- Dylan (язык программирования)
- Factor (язык программирования)
- OCaml
- REBOL
- Racket (язык программирования)
- Red (язык программирования)
- Scheme
- Seed7
- Компилятор компиляторов
- Лисп
- Форт (язык программирования)
Языки программирования семейства ML
- ATS (язык программирования)
- Alice (язык программирования)
- Caml
- Concurrent ML
- Dependent ML
- F Sharp
- ML
- MLton
- OCaml
- Standard ML
Языки программирования, появившиеся в 1996 году
Также известен как Objective Caml.