Более быстрый доступ, чем браузер!
13 отношения: Concurrent ML, ML, OCaml, SSA, Standard ML, Конструктор типов, Параметрический полиморфизм, Переменная типа, Типобезопасность, Язык модулей ML, Язык программирования, Языково-ориентированное программирование, Межпроцедурная оптимизация.
Concurrent ML
Concurrent ML (CML) — статически типизированный язык конкурентного программирования высшего порядка, встраиваемый в. Реализован в виде библиотеки.
Новый!!: MLton и Concurrent ML · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: MLton и ML · Узнать больше »
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Новый!!: MLton и OCaml · Узнать больше »
SSA
SSA (Static single assignment form) — промежуточное представление, используемое компиляторами, в котором каждой переменной значение присваивается лишь единожды.
Новый!!: MLton и SSA · Узнать больше »
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Новый!!: MLton и Standard ML · Узнать больше »
Конструктор типов
В теории типов, конструктор типов представляет собой конструкцию полиморфно типизируемого формального языка, которая строит новые типы из старых.
Новый!!: MLton и Конструктор типов · Узнать больше »
Параметрический полиморфизм
Параметрический полиморфизм в языках программирования и теории типов представляет собой свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Новый!!: MLton и Параметрический полиморфизм · Узнать больше »
Переменная типа
В языках программирования и теории типов, переменная типа или ти́повая переменная (type variable) — математическая переменная, которая может принимать значение из множества типов данных.
Новый!!: MLton и Переменная типа · Узнать больше »
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Новый!!: MLton и Типобезопасность · Узнать больше »
Язык модулей ML
Язык модулей ML — система модулей, используемая преимущественно в языках программирования семейства ML, имеющая аппликативную семантику, иначе говоря, представляющая собой небольшой функциональный язык, оперирующий модулями.
Новый!!: MLton и Язык модулей ML · Узнать больше »
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Новый!!: MLton и Язык программирования · Узнать больше »
Языково-ориентированное программирование
Языково-ориентированное программирование (ЯОП) (Language Oriented Programming), также Расходящаяся разработка (middle out development), также, также Разработка, опирающаяся на предметно-специфичный язык (DSL-Based Development) — парадигма программирования, заключающаяся в разбиении процесса разработки программного обеспечения на стадии разработки предметно-ориентированных языков (DSL) и описания собственно решения задачи с их использованием.
Новый!!: MLton и Языково-ориентированное программирование · Узнать больше »
Межпроцедурная оптимизация
Межпроцедурная оптимизация (Interprocedural Optimization, IPO), или полнопрограммная оптимизация программ (whole program optimization) — оптимизация компилятора, которая использует глобальный анализ потока управления и затрагивает множество процедур, даже находящихся в разных модулях, за счёт чего может достигаться существенный прирост быстродействия.
Новый!!: MLton и Межпроцедурная оптимизация · Узнать больше »
