Более быстрый доступ, чем браузер!
29 отношения: C++, Cyclone (язык программирования), F Sharp, Haskell, ISWIM, MLton, Nemerle, OCaml, Standard ML, Автоматическое доказательство, Робинсон, Джон Алан, Стратегия вычисления, Си (язык программирования), Сильная и слабая типизация, Типобезопасность, Утечка памяти, Функциональное программирование, Эрбран, Жак, Эдинбургский университет, Язык модулей ML, Мультипарадигмальный язык программирования, Миранда (язык программирования), Милнер, Робин, Императивное программирование, Вывод типов, Динамическая типизация, 1930 год, 1963 год, 1969 год.
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Новый!!: ML и C++ · Узнать больше »
Cyclone (язык программирования)
Cyclone (читается «Си-клон» или «Циклон») — исследовательский язык программирования, созданный Дэном Гроссманом, Тревором Джимом, и Грегом Моррисеттом в Корнеллском Университете как доработка классического языка Си с целью повышения надёжности и безопасности программирования, с сохранением низкоуровневых возможностей и применимости языка в областях, традиционных для Си (системное программирование, программирование микроконтроллеров).
Новый!!: ML и Cyclone (язык программирования) · Узнать больше »
F Sharp
F# (произносится эф-шарп) — это мультипарадигмальный язык программирования из семейства языков.NET Framework, поддерживающий функциональное программирование в дополнение к императивному (процедурному) и объектно-ориентированному программированию.
Новый!!: ML и F Sharp · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: ML и Haskell · Узнать больше »
ISWIM
ISWIM — абстрактный язык программирования (или семейство языков программирования) описанный Питером Лэндином (Peter J. Landin) в его статье «» («The Next 700 Programming Languages»), которая была опубликована в «the Communications of the ACM» в 1966 году.
Новый!!: ML и ISWIM · Узнать больше »
MLton
MLton (произносится «ми́ллтон») — кроссплатформенный полнопрограммно-оптимизирующий компилятор языка программирования (SML).
Новый!!: ML и MLton · Узнать больше »
Nemerle
Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования, для платформ.NET и Mono (язык компилируется в CIL и является CLS-совместимым).
Новый!!: ML и Nemerle · Узнать больше »
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Новый!!: ML и OCaml · Узнать больше »
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Новый!!: ML и Standard ML · Узнать больше »
Автоматическое доказательство
Автоматическое доказательство (Automated Theorem Proving, ATP, а также Automated deduction) — доказательство, реализованное программно.
Новый!!: ML и Автоматическое доказательство · Узнать больше »
Робинсон, Джон Алан
Джон Алан Робинсон (John Alan Robinson; 1930, Йоркшир, Великобритания) — британский философ и логик, внёс важный вклад в становление логического программирования.
Новый!!: ML и Робинсон, Джон Алан · Узнать больше »
Стратегия вычисления
Стратегия вычисления (evaluation strategy) — правила семантики языка программирования, определяющие, когда следует вычислять аргументы функции (метода, операции, отношения), и какие значения следует передавать.
Новый!!: ML и Стратегия вычисления · Узнать больше »
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Новый!!: ML и Си (язык программирования) · Узнать больше »
Сильная и слабая типизация
По одной из классификаций, языки программирования неформально делятся на сильно и слабо типизированные (strongly and weakly typed), обладающие сильной или слабой системой типов.
Новый!!: ML и Сильная и слабая типизация · Узнать больше »
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Новый!!: ML и Типобезопасность · Узнать больше »
Утечка памяти
Уте́чка па́мяти (memory leak) — процесс неконтролируемого уменьшения объёма свободной оперативной или виртуальной памяти компьютера, связанный с ошибками в работающих программах, вовремя не освобождающих ненужные уже участки памяти, или с ошибками системных служб контроля памяти.
Новый!!: ML и Утечка памяти · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: ML и Функциональное программирование · Узнать больше »
Эрбран, Жак
Жак Эрбран (Jacques Herbrand; 12 февраля 1908, Париж — 27 июля 1931, Ла-Берард, Изер) — французский математик и логик.
Новый!!: ML и Эрбран, Жак · Узнать больше »
Эдинбургский университет
Эдинбургский университет — государственный университет в столице Шотландии городе Эдинбурге.
Новый!!: ML и Эдинбургский университет · Узнать больше »
Язык модулей ML
Язык модулей ML — система модулей, используемая преимущественно в языках программирования семейства ML, имеющая аппликативную семантику, иначе говоря, представляющая собой небольшой функциональный язык, оперирующий модулями.
Новый!!: ML и Язык модулей ML · Узнать больше »
Мультипарадигмальный язык программирования
Мультипарадигма́льный язы́к программи́рования — как правило, язык программирования, который был разработан специально как инструмент мультипарадигмального программирования, то есть изобразительные возможности которого изначально предполагалось унаследовать от нескольких, чаще всего не родственных языков.
Новый!!: ML и Мультипарадигмальный язык программирования · Узнать больше »
Миранда (язык программирования)
Miranda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка.
Новый!!: ML и Миранда (язык программирования) · Узнать больше »
Милнер, Робин
Робин Милнер (Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Новый!!: ML и Милнер, Робин · Узнать больше »
Императивное программирование
Императи́вное программи́рование — это парадигма программирования (стиль написания исходного кода компьютерной программы), для которой характерно следующее.
Новый!!: ML и Императивное программирование · Узнать больше »
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Новый!!: ML и Вывод типов · Узнать больше »
Динамическая типизация
Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной.
Новый!!: ML и Динамическая типизация · Узнать больше »
1930 год
Без описания.
Новый!!: ML и 1930 год · Узнать больше »
1963 год
Почтовая марка СССР, 1963 год.
Новый!!: ML и 1963 год · Узнать больше »
1969 год
Почтовая марка СССР, 1969 год.
Новый!!: ML и 1969 год · Узнать больше »
