Более быстрый доступ, чем браузер!
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, Категориальная абстрактная машина, Конкатенация, Приведение типа, Программирование, управляемое данными, Параметрический полиморфизм, Перечисляемый тип, Переполнение буфера, Объектно-ориентированное программирование, Обобщённый алгебраический тип данных, Арность, Алгебраический тип данных, Анонимная функция, Рекурсивная функция, Строковый тип, Статическая типизация, Стандартные потоки, Среда выполнения, Си (язык программирования), Сильная и слабая типизация, Символьный тип, Унарная операция, Функции первого класса, Функциональное программирование, Франция, Число с плавающей запятой, Экспоненциальная запись, Мультипарадигмальный язык программирования, Математическая формула, ..., Милнер, Робин, Модель вычислений, Императивное программирование, Запись (тип данных), Быстрая сортировка, Вывод типов, Википедия, Внедрение зависимости, Деление с остатком, Лисп, 1972 год, 1996 год, 2000-е годы. Развернуть индекс (13 больше) »
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-е годы · Узнать больше »
