Содержание
65 отношения: ARM (архитектура), C++, C--, Concurrent ML, Cygwin, DEC Alpha, Fork, GNU Multi-Precision Library, Google Summer of Code, IA-64, IBM System/390, Lex, Low Level Virtual Machine, MinGW, OCaml, PA-RISC, PowerPC, REPL, SPARC, SSA, Standard ML, Unix-подобная операционная система, Windows, X86, X86-64, Yacc, Каламбур типизации, Конструктор (функциональное программирование), Присваивание, Прототипирование программного обеспечения, Продолжение (информатика), Поток выполнения, Полиморфизм (информатика), Открытое программное обеспечение, Оптимизирующий компилятор, Абстрактное синтаксическое дерево, Абстракция (информатика), Агрегирование (программирование), Адресация памяти, Анализ потока управления, Ссылка (программирование), Си (язык программирования), Синтаксический анализ, Типобезопасность, Учебный язык программирования, Функция высшего порядка, Хвостовая рекурсия, Шаблоны C++, Язык модулей ML, Массив (программирование), ... Развернуть индекс (15 больше) »
- Языки программирования семейства ML
- Языки программирования, появившиеся в 1997 году
ARM (архитектура)
ARM-процессор производства Conexant, устанавливается в основном в маршрутизаторах Архитектура ARM (от Advanced RISC Machine — усовершенствованная RISC-машина; иногда — Acorn RISC Machine) — семейство лицензируемых 32-битных и 64-битных микропроцессорных ядер разработки компании ARM Limited.
Посмотреть MLton и ARM (архитектура)
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Посмотреть MLton и C++
C--
C-- (читается как «Си минус минус») — переносимый язык программирования низкого уровня, используемый как для сверхвысокоуровневых языков.
Посмотреть MLton и C--
Concurrent ML
Concurrent ML (CML) — статически типизированный язык конкурентного программирования высшего порядка, встраиваемый в. Реализован в виде библиотеки.
Посмотреть MLton и Concurrent ML
Cygwin
Cygwin (произносится) — UNIX-подобная среда и интерфейс командной строки для Microsoft Windows.
Посмотреть MLton и Cygwin
DEC Alpha
DEC Alpha (также известный как Alpha AXP) — 64-разрядный RISC микропроцессор, первоначально разработанный и произведённый компанией DEC, которая использовала его в собственной линейке рабочих станций и серверов.
Посмотреть MLton и DEC Alpha
Fork
В Unix-системах, fork() — системный вызов, создающий новый процесс (потомок), который является практически полной копией процесса-родителя, выполняющего этот вызов.
Посмотреть MLton и Fork
GNU Multi-Precision Library
GMP или GNU Multi-Precision Library — библиотека, написанная на языке Си, предназначенная для вычислений с плавающей запятой, целыми и рациональными числами с произвольной точностью.
Посмотреть MLton и GNU Multi-Precision Library
Google Summer of Code
250px Google Summer of Code (GSoC) — инициативная программа компании Google, в рамках которой ежегодно проводится отбор проектов с открытым исходным кодом, в которых могут принять участие студенты.
Посмотреть MLton и Google Summer of Code
IA-64
IA-64 (Intel Architecture-64) — 64-битная аппаратная платформа: микропроцессорная архитектура и соответствующая архитектура набора команд, разработанная совместно компаниями Intel и Hewlett Packard.
Посмотреть MLton и IA-64
IBM System/390
thumb IBM System/390 (S/390) — мейнфреймы компьютерной архитектуры IBM ESA/390, разработанные компанией IBM.
Посмотреть MLton и IBM System/390
Lex
Lex — программа для генерации лексических анализаторов, обычно используемая совместно с генератором синтаксических анализаторов yacc.
Посмотреть MLton и Lex
Low Level Virtual Machine
LLVM (ранее Low Level Virtual Machine) — универсальная система анализа, трансформации и оптимизации программ, реализующая виртуальную машину с RISC-подобными инструкциями.
Посмотреть MLton и Low Level Virtual Machine
MinGW
MinGW, ранее mingw32 — набор инструментов разработки программного обеспечения для создания приложений под Windows.
Посмотреть MLton и MinGW
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Посмотреть MLton и OCaml
PA-RISC
HP PA-RISC 7300LC PA-RISC — микропроцессорная архитектура, разработанная в компании Hewlett-Packard под руководством Руби Б. Ли.
Посмотреть MLton и PA-RISC
PowerPC
IBM PowerPC 601 PowerPC (или сокращённо PPC) — микропроцессорная RISC-архитектура, созданная в 1991 году альянсом компаний Apple, IBM и Motorola, известным как AIM.
Посмотреть MLton и PowerPC
REPL
REPL (от read-eval-print loop — цикл «чтение — вычисление — вывод») — форма организации простой интерактивной среды программирования в рамках средств интерфейса командной строки.
Посмотреть MLton и REPL
SPARC
Микропроцессор UltraSPARC II компании Sun Microsystems SPARC (Scalable Processor ARChitecture — масштабируемая архитектура процессора) — архитектура RISC-микропроцессоров, первоначально разработанная в 1985 году компанией Sun Microsystems.
Посмотреть MLton и SPARC
SSA
SSA (Static single assignment form) — промежуточное представление, используемое компиляторами, в котором каждой переменной значение присваивается лишь единожды.
Посмотреть MLton и SSA
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Посмотреть MLton и Standard ML
Unix-подобная операционная система
Генеалогическое древо Unix-подобных операционных системСледует учитывать, что на данной диаграмме не отражены отдельные дистрибутивы Linux, являющиеся самоценными операционными системами.
Посмотреть MLton и Unix-подобная операционная система
Windows
Windows — семейство коммерческих операционных систем (OC) корпорации Microsoft, ориентированных на применение графического интерфейса при управлении.
Посмотреть MLton и Windows
X86
80486 DX2 x86 (Intel 80x86) — архитектура процессора c одноимённым набором команд, впервые реализованная в процессорах компании Intel.
Посмотреть MLton и X86
X86-64
x86-64 (также AMD64/Intel64/EM64T) — 64-битное расширение, набор команд для архитектуры x86, разработанное компанией AMD, позволяющее выполнять программы в 64-разрядном режиме.
Посмотреть MLton и X86-64
Yacc
yacc — компьютерная программа, служащая стандартным генератором синтаксических анализаторов (парсеров) в Unix-системах.
Посмотреть MLton и Yacc
Каламбур типизации
Термин каламбур типизации (type punning) используется в информатике для обозначения различных техник нарушения или обмана системы типов некоторого языка программирования, имеющих эффект, который было бы затруднительно или невозможно обеспечить в рамках формального языка.
Посмотреть MLton и Каламбур типизации
Конструктор (функциональное программирование)
В теории типов и функциональных языках программирования конструктор алгебраического типа данных или просто конструктор представляет собой функцию с пустым телом, конструирующую объект алгебраического типа данных.
Посмотреть MLton и Конструктор (функциональное программирование)
Присваивание
Присва́ивание — механизм в программировании, позволяющий динамически изменять связи объектов данных (как правило, переменных) с их значениями.
Посмотреть MLton и Присваивание
Прототипирование программного обеспечения
Прототипи́рование программного обеспечения (от англ. prototyping) — этап разработки программного обеспечения (ПО), процесс создания прототи́па программы — макета (черновой, пробной версии) программы, обычно — с целью проверки пригодности предлагаемых для применения концепций, архитектурных и/или технологических решений, а также для представления программы заказчику на ранних стадиях процесса разработки.
Посмотреть MLton и Прототипирование программного обеспечения
Продолжение (информатика)
Продолжение (continuation) представляет состояние программы в определённый момент, которое может быть сохранено и использовано для перехода в это состояние.
Посмотреть MLton и Продолжение (информатика)
Поток выполнения
Процесс с двумя потоками выполнения на одном процессоре Пото́к выполне́ния (тред; от thread — нить) — наименьшая единица обработки, исполнение которой может быть назначено ядром операционной системы.
Посмотреть MLton и Поток выполнения
Полиморфизм (информатика)
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.
Посмотреть MLton и Полиморфизм (информатика)
Открытое программное обеспечение
Открытое программное обеспечение (open-source software) — программное обеспечение с открытым исходным кодом.
Посмотреть MLton и Открытое программное обеспечение
Оптимизирующий компилятор
Оптимизирующий компилятор — компилятор, в котором используются различные методы получения более оптимального программного кода при сохранении его функциональных возможностей.
Посмотреть MLton и Оптимизирующий компилятор
Абстрактное синтаксическое дерево
алгоритма Евклида, приведённого ниже: '''while''' b ≠ 0 '''if''' a > b a.
Посмотреть MLton и Абстрактное синтаксическое дерево
Абстракция (информатика)
Абстракция в информатике представляет собой технику управления сложностью систем.
Посмотреть MLton и Абстракция (информатика)
Агрегирование (программирование)
В объектно-ориентированном программировании под агрегированием (или как его еще называют - делегированием) подразумевают методику создания нового класса из уже существующих классов путём их включения.
Посмотреть MLton и Агрегирование (программирование)
Адресация памяти
Адресация — осуществление ссылки (обращение) к устройству или элементу данных по его адресуСТ ИСО 2382/7-77 //; установление соответствия между множеством однотипных объектов и множеством их адресов; метод идентификации местоположения объекта.
Посмотреть MLton и Адресация памяти
Анализ потока управления
Анализ потока управления — это статический анализ кода для определения порядка выполнения программы.
Посмотреть MLton и Анализ потока управления
Ссылка (программирование)
Ссылка в программировании — это объект, указывающий на определенные данные, но не хранящий их.
Посмотреть MLton и Ссылка (программирование)
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Посмотреть MLton и Си (язык программирования)
Синтаксический анализ
Синтакси́ческий ана́лиз (или разбор, ← parsing) в лингвистике и информатике — процесс сопоставления линейной последовательности лексем (слов, токенов) естественного или формального языка с его формальной грамматикой.
Посмотреть MLton и Синтаксический анализ
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Посмотреть MLton и Типобезопасность
Учебный язык программирования
Уче́бный язы́к программи́рования — язык программирования, предназначенный для обучения.
Посмотреть MLton и Учебный язык программирования
Функция высшего порядка
Фу́нкция вы́сшего поря́дка — в программировании функция, принимающая в качестве аргументов другие функции или возвращающая другую функцию в качестве результата.
Посмотреть MLton и Функция высшего порядка
Хвостовая рекурсия
Хвостовая рекурсия — частный случай рекурсии, при котором любой рекурсивный вызов является последней операцией перед возвратом из функции.
Посмотреть MLton и Хвостовая рекурсия
Шаблоны C++
Шабло́ны (template) — средство языка C++, предназначенное для кодирования обобщённых алгоритмов, без привязки к некоторым параметрам (например, типам данных, размерам буферов, значениям по умолчанию).
Посмотреть MLton и Шаблоны C++
Язык модулей ML
Язык модулей ML — система модулей, используемая преимущественно в языках программирования семейства ML, имеющая аппликативную семантику, иначе говоря, представляющая собой небольшой функциональный язык, оперирующий модулями.
Посмотреть MLton и Язык модулей ML
Массив (программирование)
Массив (в некоторых языках программирования также таблица, ряд, матрица) — структура данных в виде набора компонентов (элементов массива), расположенных в памяти непосредственно друг за другом, что позволяет обращаться к элементам по числовому индексу.
Посмотреть MLton и Массив (программирование)
Масштабируемость
Масштаби́руемость (scalability) — в электронике и информатике означает способность системы, сети или процесса справляться с увеличением рабочей нагрузки (увеличивать свою производительность) при добавлении ресурсов (обычно аппаратных).
Посмотреть MLton и Масштабируемость
Многоядерный процессор
Многоя́дерный проце́ссор — центральный процессор, содержащий два и более вычислительных ядра на одном процессорном кристалле или в одном корпусе.
Посмотреть MLton и Многоядерный процессор
Межпроцедурная оптимизация
Межпроцедурная оптимизация (Interprocedural Optimization, IPO), или полнопрограммная оптимизация программ (whole program optimization) — оптимизация компилятора, которая использует глобальный анализ потока управления и затрагивает множество процедур, даже находящихся в разных модулях, за счёт чего может достигаться существенный прирост быстродействия.
Посмотреть MLton и Межпроцедурная оптимизация
Идиома (программирование)
Идиома программирования — устойчивый способ выражения некоторой составной конструкции в одном или нескольких языках программирования.
Посмотреть MLton и Идиома (программирование)
Интегрированная среда разработки
Интегри́рованная среда́ разрабо́тки, ИСP (Integrated development environment — IDE), также единая среда разработки, ЕСР — комплекс программных средств, используемый программистами для разработки программного обеспечения (ПО).
Посмотреть MLton и Интегрированная среда разработки
Замыкание (программирование)
Замыкание (closure) в программировании — функция первого класса, в теле которой присутствуют ссылки на переменные, объявленные вне тела этой функции в окружающем коде и не являющиеся её параметрами.
Посмотреть MLton и Замыкание (программирование)
Взаимная рекурсия
В математике и программировании взаимная рекурсия — это вид рекурсии, когда два математических или программных объекта, таких как функции или типы данных, определяются в терминах друг друга.
Посмотреть MLton и Взаимная рекурсия
Граф потока управления
date.
Посмотреть MLton и Граф потока управления
Дамп памяти
Дамп памяти (memory dump; в Unix — core dump) — содержимое рабочей памяти одного процесса, ядра или всей операционной системы.
Посмотреть MLton и Дамп памяти
Лицензия BSD
Лицензия BSD (BSD license, Berkeley Software Distribution license — Программная лицензия университета Беркли) — это лицензионное соглашение, впервые применённое для распространения UNIX-подобных операционных систем BSD.
Посмотреть MLton и Лицензия BSD
1997 год
См.
Посмотреть MLton и 1997 год
1999 год
Объявлен ООН Международным годом пожилых людей.
Посмотреть MLton и 1999 год
2005 год
* (резолюция ООН № 58/293).
Посмотреть MLton и 2005 год
2013 год
«Год охраны окружающей среды» в России.
Посмотреть MLton и 2013 год
2014 год
2014 год стал самым жарким за всю историю метеонаблюдений в мире.
Посмотреть MLton и 2014 год
См. также
Языки программирования семейства ML
- ATS (язык программирования)
- Alice (язык программирования)
- Caml
- Concurrent ML
- Dependent ML
- F Sharp
- ML
- MLton
- OCaml
- Standard ML