Более быстрый доступ, чем браузер!
147 отношения: AIX, Alice (язык программирования), ANSI C, ARM (архитектура), BCPL, BSD, C++, C--, Caml, Common Lisp, Concurrent ML, Cygwin, Darwin, Debian, DEC Alpha, Emacs, Erlang, F Sharp, Fedora, GNU Hurd, GNU Multi-Precision Library, GTK+, Haskell, Hello, world!, Hope (язык программирования), HP-UX, HTML, IBM System/390, ICFP Programming Contest, ISWIM, Java, Java Virtual Machine, JavaScript, JEdit, JIT-компиляция, LALR(1), Lex, Linux, Low Level Virtual Machine, MacOS, Make, MinGW, MIPS (архитектура), ML, MLton, Nemerle, OCaml, PA-RISC, PDP-11, POSIX, ..., POSIX Threads, PowerPC, Printf, REPL, Scala (язык программирования), Scheme, Solaris, SPARC, SQL, SQLite, Unix, Unix-подобная операционная система, Windows, Windows API, X Window System, X86, X86-64, Yacc, Прототипирование программного обеспечения, Профилирование (информатика), Программирование в ограничениях, Пролог (язык программирования), Паскаль (язык программирования), Параллелизм (информатика), Параметрический полиморфизм, Поток выполнения, Полиморфизм (информатика), Пейтон-Джонс, Саймон, Объектно-ориентированное программирование, Обработка исключений, Онлайн и офлайн, Ассемблер, Арифметическое переполнение, Абстрактное синтаксическое дерево, Абстракция (информатика), Аварийный отказ (программирование), Ада (язык программирования), Алгол, Аппликативное программирование, Россия, Род (теория типов), Рефлексия (программирование), Стратегия вычисления, Строковый тип, Среда выполнения, Саарский университет, Связный список, Свёртка списка, Свободное и открытое программное обеспечение, Свободное программное обеспечение, Си (язык программирования), Система F, Система типов, Синхронизация (информатика), Соответствие Карри — Ховарда, Соединённые Штаты Америки, Списковое включение, Сериализация, Типобезопасность, Функциональный тип, Функциональное программирование, Формальная спецификация, Хвостовая рекурсия, Цикл (программирование), Эдинбург, Милнер, Робин, Многоядерный процессор, Модульное программирование, Межпроцедурная оптимизация, Идиома (программирование), Императивное программирование, Институт прикладной математики имени М. В. Келдыша РАН, Интерпретатор, Интегрированная среда разработки, Замыкание (программирование), Безопасность доступа к памяти, Высокоуровневый язык программирования, Вывод типов, Взаимная рекурсия, Деление на ноль, Лямбда-исчисление, Лисп, Лицензия BSD, Лицензия MIT, .NET Framework, 1974 год, 1979 год, 1980 год, 1980-е годы, 1990 год, 1990-е годы, 1996 год, 1997 год, 2004 год, 2013 год, 2016 год, 80386. Развернуть индекс (97 больше) »
AIX
AIX (аббр. от Advanced Interactive eXecutive) — UNIX-подобная операционная система компании IBM.
Новый!!: Standard ML и AIX · Узнать больше »
Alice (язык программирования)
Alice — язык функционального программирования, разработанный в лаборатории Programming Systems Lab в Саарском университете.
Новый!!: Standard ML и Alice (язык программирования) · Узнать больше »
ANSI C
ANSI C — стандарт языка C, опубликованный Американским национальным институтом стандартов (ANSI).
Новый!!: Standard ML и ANSI C · Узнать больше »
ARM (архитектура)
ARM-процессор производства Conexant, устанавливается в основном в маршрутизаторах Архитектура ARM (от Advanced RISC Machine — усовершенствованная RISC-машина; иногда — Acorn RISC Machine) — семейство лицензируемых 32-битных и 64-битных микропроцессорных ядер разработки компании ARM Limited.
Новый!!: Standard ML и ARM (архитектура) · Узнать больше »
BCPL
BCPL (Basic Combined Programming Language) — язык программирования, разработанный Мартином Ричардсом в 1966 году в Кембриджском университете.
Новый!!: Standard ML и BCPL · Узнать больше »
BSD
BSD (Berkeley Software Distribution) — система распространения программного обеспечения в исходных кодах, созданная для обмена опытом между учебными заведениями.
Новый!!: Standard ML и BSD · Узнать больше »
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Новый!!: Standard ML и C++ · Узнать больше »
C--
C-- (читается как «Си минус минус») — переносимый язык программирования низкого уровня, используемый как для сверхвысокоуровневых языков.
Новый!!: Standard ML и C-- · Узнать больше »
Caml
Caml — это объектно-ориентированный язык программирования, разработанный для создания более безопасных и защищенных программ.
Новый!!: Standard ML и Caml · Узнать больше »
Common Lisp
Common Lisp (сокращённо — CL) — диалект языка программирования Лисп, стандартизированный ANSI.
Новый!!: Standard ML и Common Lisp · Узнать больше »
Concurrent ML
Concurrent ML (CML) — статически типизированный язык конкурентного программирования высшего порядка, встраиваемый в. Реализован в виде библиотеки.
Новый!!: Standard ML и Concurrent ML · Узнать больше »
Cygwin
Cygwin (произносится) — UNIX-подобная среда и интерфейс командной строки для Microsoft Windows.
Новый!!: Standard ML и Cygwin · Узнать больше »
Darwin
Darwin — это открытая POSIX-совместимая операционная система, выпущенная Apple Inc. в 2000 году.
Новый!!: Standard ML и Darwin · Узнать больше »
Debian
Без описания.
Новый!!: Standard ML и Debian · Узнать больше »
DEC Alpha
DEC Alpha (также известный как Alpha AXP) — 64-разрядный RISC микропроцессор, первоначально разработанный и произведённый компанией DEC, которая использовала его в собственной линейке рабочих станций и серверов.
Новый!!: Standard ML и DEC Alpha · Узнать больше »
Emacs
Emacs (Ема́кс, Е́макс, также И́макс) — семейство многофункциональных расширяемых текстовых редакторов.
Новый!!: Standard ML и Emacs · Узнать больше »
Erlang
Erlang — функциональный язык программирования с сильной динамической типизацией, предназначенный для создания распределённых вычислительных систем.
Новый!!: Standard ML и Erlang · Узнать больше »
F Sharp
F# (произносится эф-шарп) — это мультипарадигмальный язык программирования из семейства языков.NET Framework, поддерживающий функциональное программирование в дополнение к императивному (процедурному) и объектно-ориентированному программированию.
Новый!!: Standard ML и F Sharp · Узнать больше »
Fedora
Fedora (англ. «мягкая фетровая шляпа», произносится «федо́ра», ранее Fedora Core) — дистрибутив операционной системы GNU/Linux.
Новый!!: Standard ML и Fedora · Узнать больше »
GNU Hurd
GNU Hurd (или просто Hurd) — проект по разработке свободного программного обеспечения, целью которого является замена ядра Unix для Unix-подобных операционных систем.
Новый!!: Standard ML и GNU Hurd · Узнать больше »
GNU Multi-Precision Library
GMP или GNU Multi-Precision Library — библиотека, написанная на языке Си, предназначенная для вычислений с плавающей запятой, целыми и рациональными числами с произвольной точностью.
Новый!!: Standard ML и GNU Multi-Precision Library · Узнать больше »
GTK+
Free and open-source-software display servers and UI toolkits GTK+ (сокращение от GIMP ToolKit) — кроссплатформенная библиотека элементов интерфейса (фреймворк), имеет простой в использовании API, наряду с Qt является одной из двух наиболее популярных на сегодняшний день библиотек для X Window System.
Новый!!: Standard ML и GTK+ · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Standard ML и Haskell · Узнать больше »
Hello, world!
Пример «Hello world» с графическим интерфейсом на GTK+. На заднем плане gedit с исходным кодом на Perl «Hello world» на графическом языке Piet «Hello, world!» — программа, результатом работы которой является вывод на экран или иное устройство фразы «Hello, world!» (в дословном переводе с английского — «Привет, мир!»; представляет собой распространённое неформальное приветствие, близкое к русскому «всем привет!»).
Новый!!: Standard ML и Hello, world! · Узнать больше »
Hope (язык программирования)
Hope — функциональный язык программирования, разработанный в начале 1980-х годов; является предшественником языков Miranda и Haskell.
Новый!!: Standard ML и Hope (язык программирования) · Узнать больше »
HP-UX
HP-UX (произносится эйч-пи-юкс) — проприетарная версия операционной системы UNIX фирмы Hewlett-Packard (HP).
Новый!!: Standard ML и HP-UX · Узнать больше »
HTML
HTML (от HyperText Markup Language — «язык гипертекстовой разметки») — стандартизированный язык разметки документов во Всемирной паутине.
Новый!!: Standard ML и HTML · Узнать больше »
IBM System/390
thumb IBM System/390 (S/390) — мейнфреймы компьютерной архитектуры IBM ESA/390, разработанные компанией IBM.
Новый!!: Standard ML и IBM System/390 · Узнать больше »
ICFP Programming Contest
ICFP Programming Contest — международное соревнование по программированию, проводимое ежегодно в июне-июле с 1998 года.
Новый!!: Standard ML и ICFP Programming Contest · Узнать больше »
ISWIM
ISWIM — абстрактный язык программирования (или семейство языков программирования) описанный Питером Лэндином (Peter J. Landin) в его статье «» («The Next 700 Programming Languages»), которая была опубликована в «the Communications of the ACM» в 1966 году.
Новый!!: Standard ML и ISWIM · Узнать больше »
Java
JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.
Новый!!: Standard ML и Java · Узнать больше »
Java Virtual Machine
Java Virtual Machine (сокращенно Java VM, JVM) — виртуальная машина Java — основная часть исполняющей системы Java, так называемой Java Runtime Environment (JRE).
Новый!!: Standard ML и Java Virtual Machine · Узнать больше »
JavaScript
JavaScript (аббр. JS) — мультипарадигменный язык программирования.
Новый!!: Standard ML и JavaScript · Узнать больше »
JEdit
jEdit — кроссплатформенный редактор с открытым исходным кодом, написанный на языке Java.
Новый!!: Standard ML и JEdit · Узнать больше »
JIT-компиляция
JIT-компиляция (Just-in-time compilation, компиляция «на лету»), динамическая компиляция (dynamic translation) — технология увеличения производительности программных систем, использующих байт-код, путём компиляции байт-кода в машинный код или в другой формат непосредственно во время работы программы.
Новый!!: Standard ML и JIT-компиляция · Узнать больше »
LALR(1)
LALR(1) (LA от lookahead — предпросмотр) - восходящий алгоритм синтаксического разбора.
Новый!!: Standard ML и LALR(1) · Узнать больше »
Lex
Lex — программа для генерации лексических анализаторов, обычно используемая совместно с генератором синтаксических анализаторов yacc.
Новый!!: Standard ML и Lex · Узнать больше »
Linux
Linux (или), Ли́нукс) — семейство Unix-подобных операционных систем на базе ядра Linux, включающих тот или иной набор утилит и программ проекта GNU, и, возможно, другие компоненты. Как и ядро Linux, системы на его основе как правило создаются и распространяются в соответствии с моделью разработки свободного и открытого программного обеспечения. Linux-системы распространяются в основном бесплатно в виде различных дистрибутивов — в форме, готовой для установки и удобной для сопровождения и обновлений, — и имеющих свой набор системных и прикладных компонентов, как свободных, так возможно и собственнических. Появившись как решения вокруг созданного в начале 1990-х годов ядра, уже с начала 2000-х годов системы Linux являются основными для суперкомпьютеров и серверов, расширяется применение их для встраиваемых систем и мобильных устройств, некоторое распространение системы получили и для персональных компьютеров. За счёт использования свободного программного обеспечения и привлечения волонтёров каждая из систем Linux обладает значительными программными возможностями, трудно реализуемыми в прочих моделях разработки: например, в 2008 году расчёты показывали, что для того, чтобы «с нуля» разработать систему, аналогичную Fedora 9, потребовалось бы затратить $10,8 млрд, а совокупная себестоимость только ядра Linux оценивалась в сумму более $1,4 млрд, притом только за 2008 год она увеличилась на $315 млн, совокупный труд оценён в размере 73 тыс. человеко-лет. Традиционно системами Linux считаются только те, которые включают в качестве компонентов основные программы проекта GNU, такие как bash, gcc, glibc, coreutils, GNOME и ряд других, в связи с чем часто всё семейство иногда идентифицируется как GNU/Linux, притом существует спор об именовании GNU/Linux. Существует проект стандартизации внутренней структуры Linux-систем — Linux Standard Base, часть из документов которого зарегистрировано в качестве стандартов ISO; но далеко не все системы сертифицируются по нему, и в целом для Linux-систем не существует какой-либо общепризнанной стандартной комплектации или формальных условий включения в семейство. Однако есть ряд систем на базе ядра Linux, но не имеющих в основе зависимости от программ GNU, которые к Linux-семейству традиционно не относят, в частности таковы мобильные системы Android и FirefoxOS. Пингвин Tux Официальным логотипом и талисманом Linux является пингвин Tux, созданный в 1996 году Ларри Юингом. Торговая марка «Linux» принадлежит создателю и основному разработчику ядра Линусу Торвальдсу. При этом проект Linux в широком смысле не принадлежит какой-либо организации или частному лицу, вклад в его развитие и распространение осуществляют тысячи независимых разработчиков и компаний, одним из инструментов взаимодействия которых являются группы пользователей Linux. Существует ряд некоммерческих объединений, ставящих основной целью развитие и продвижение Linux, наиболее крупное и влиятельное из них — основанный в 2007 году The Linux Foundation. Существует значительный рынок коммерческой технической поддержки Linux-систем, на котором с долей свыше 70 % (2017) доминирует корпорация Red Hat. Линус Торвальдс — создатель и основной координатор проекта по разработке ядра Linux Ричард Столлман — основатель проекта GNU.
Новый!!: Standard ML и Linux · Узнать больше »
Low Level Virtual Machine
LLVM (ранее Low Level Virtual Machine) — универсальная система анализа, трансформации и оптимизации программ, реализующая виртуальную машину с RISC-подобными инструкциями.
Новый!!: Standard ML и Low Level Virtual Machine · Узнать больше »
MacOS
macOS (изначально была представлена как Mac OS X, в 2012 переименована в OS X, в 2016 переименована в macOS) — проприетарная операционная система производства Apple.
Новый!!: Standard ML и MacOS · Узнать больше »
Make
make — утилита, автоматизирующая процесс преобразования файлов из одной формы в другую.
Новый!!: Standard ML и Make · Узнать больше »
MinGW
MinGW, ранее mingw32 — набор инструментов разработки программного обеспечения для создания приложений под Windows.
Новый!!: Standard ML и MinGW · Узнать больше »
MIPS (архитектура)
MIPS (Microprocessor without Interlocked Pipeline Stages) — микропроцессор, разработанный компанией MIPS Computer Systems (в настоящее время MIPS Technologies) в соответствии с концепцией проектирования процессоров RISC (то есть для процессоров с упрощенным набором команд).
Новый!!: Standard ML и MIPS (архитектура) · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: Standard ML и ML · Узнать больше »
MLton
MLton (произносится «ми́ллтон») — кроссплатформенный полнопрограммно-оптимизирующий компилятор языка программирования (SML).
Новый!!: Standard ML и MLton · Узнать больше »
Nemerle
Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования, для платформ.NET и Mono (язык компилируется в CIL и является CLS-совместимым).
Новый!!: Standard ML и Nemerle · Узнать больше »
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Новый!!: Standard ML и OCaml · Узнать больше »
PA-RISC
HP PA-RISC 7300LC PA-RISC — микропроцессорная архитектура, разработанная в компании Hewlett-Packard под руководством Руби Б. Ли.
Новый!!: Standard ML и PA-RISC · Узнать больше »
PDP-11
PDP-11/40 Векторный графический терминал DEC GT40 PDP-11 — серия 16-разрядных мини-ЭВМ компании DEC, серийно производившихся и продававшихся в 1970—80-х годах.
Новый!!: Standard ML и PDP-11 · Узнать больше »
POSIX
POSIX (portable operating system interface — переносимый интерфейс операционных систем) — набор стандартов, описывающих интерфейсы между операционной системой и прикладной программой (системный API), библиотеку языка C и набор приложений и их интерфейсов.
Новый!!: Standard ML и POSIX · Узнать больше »
POSIX Threads
POSIX Threads — стандарт POSIX-реализации потоков (нитей) выполнения.
Новый!!: Standard ML и POSIX Threads · Узнать больше »
PowerPC
IBM PowerPC 601 PowerPC (или сокращённо PPC) — микропроцессорная RISC-архитектура, созданная в 1991 году альянсом компаний Apple, IBM и Motorola, известным как AIM.
Новый!!: Standard ML и PowerPC · Узнать больше »
Printf
printf (от print formatted, «печать форматированная») — обобщённое название семейства функций или методов стандартных или широко известных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода — вывода в различные потоки значений разных типов, отформатированных согласно заданному шаблону.
Новый!!: Standard ML и Printf · Узнать больше »
REPL
REPL (от read-eval-print loop — цикл «чтение — вычисление — вывод») — форма организации простой интерактивной среды программирования в рамках средств интерфейса командной строки.
Новый!!: Standard ML и REPL · Узнать больше »
Scala (язык программирования)
Scala — мультипарадигмальный язык программирования, спроектированный кратким и типобезопасным для простого и быстрого создания компонентного программного обеспечения, сочетающий возможности функционального и объектно-ориентированного программирования.
Новый!!: Standard ML и Scala (язык программирования) · Узнать больше »
Scheme
Scheme — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).
Новый!!: Standard ML и Scheme · Узнать больше »
Solaris
Solaris — операционная система, разработанная компанией Sun Microsystems для платформы SPARC, с 2010 года принадлежит вместе с активами Sun корпорации Oracle.
Новый!!: Standard ML и Solaris · Узнать больше »
SPARC
Микропроцессор UltraSPARC II компании Sun Microsystems SPARC (Scalable Processor ARChitecture — масштабируемая архитектура процессора) — архитектура RISC-микропроцессоров, первоначально разработанная в 1985 году компанией Sun Microsystems.
Новый!!: Standard ML и SPARC · Узнать больше »
SQL
SQL (structured query language — «язык структурированных запросов») — декларативный язык программирования, применяемый для создания, модификации и управления данными в реляционной базе данных, управляемой соответствующей системой управления базами данных.
Новый!!: Standard ML и SQL · Узнать больше »
SQLite
SQLite (/ˌɛskjuːɛlˈlaɪt/ или /ˈsiːkwəl.laɪt/) — компактная встраиваемая СУБД.
Новый!!: Standard ML и SQLite · Узнать больше »
Unix
Генеалогическое древо Unix-системUnix («UNIX» является зарегистрированной торговой маркой организации The Open Group) — семейство переносимых, многозадачных и многопользовательских операционных систем, которые основаны на идеях оригинального проекта AT&T Unix, разработанного в 1970-х годах в исследовательском центре Bell Labs Кеном Томпсоном, Деннисом Ритчи и другими.
Новый!!: Standard ML и Unix · Узнать больше »
Unix-подобная операционная система
Генеалогическое древо Unix-подобных операционных системСледует учитывать, что на данной диаграмме не отражены отдельные дистрибутивы Linux, являющиеся самоценными операционными системами. Unix-подобная операционная система (иногда сокр. как *nix) — операционная система, которая образовалась под влиянием Unix.
Новый!!: Standard ML и Unix-подобная операционная система · Узнать больше »
Windows
Windows — семейство коммерческих операционных систем (OC) корпорации Microsoft, ориентированных на применение графического интерфейса при управлении.
Новый!!: Standard ML и Windows · Узнать больше »
Windows API
Windows API (application programming interfaces) — общее наименование набора базовых функций интерфейсов программирования приложений операционных систем семейств Microsoft Windows корпорации «Майкрософт».
Новый!!: Standard ML и Windows API · Узнать больше »
X Window System
X Window System — оконная система, обеспечивающая стандартные инструменты и протоколы для построения графического интерфейса пользователя.
Новый!!: Standard ML и X Window System · Узнать больше »
X86
80486 DX2 x86 (Intel 80x86) — архитектура процессора c одноимённым набором команд, впервые реализованная в процессорах компании Intel.
Новый!!: Standard ML и X86 · Узнать больше »
X86-64
x86-64 (также AMD64/Intel64/EM64T) — 64-битное расширение, набор команд для архитектуры x86, разработанное компанией AMD, позволяющее выполнять программы в 64-разрядном режиме.
Новый!!: Standard ML и X86-64 · Узнать больше »
Yacc
yacc — компьютерная программа, служащая стандартным генератором синтаксических анализаторов (парсеров) в Unix-системах.
Новый!!: Standard ML и Yacc · Узнать больше »
Прототипирование программного обеспечения
Прототипи́рование программного обеспечения (от англ. prototyping) — этап разработки программного обеспечения (ПО), процесс создания прототи́па программы — макета (черновой, пробной версии) программы, обычно — с целью проверки пригодности предлагаемых для применения концепций, архитектурных и/или технологических решений, а также для представления программы заказчику на ранних стадиях процесса разработки.
Новый!!: Standard ML и Прототипирование программного обеспечения · Узнать больше »
Профилирование (информатика)
Профилирование — сбор характеристик работы программы, таких как время выполнения отдельных фрагментов (обычно подпрограмм), число верно предсказанных условных переходов, число кэш-промахов и т. д.
Новый!!: Standard ML и Профилирование (информатика) · Узнать больше »
Программирование в ограничениях
Программирование в ограничениях (или программирование ограничениями) — парадигма программирования, в которой отношения между переменными указаны в форме ограничений.
Новый!!: Standard ML и Программирование в ограничениях · Узнать больше »
Пролог (язык программирования)
Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Новый!!: Standard ML и Пролог (язык программирования) · Узнать больше »
Паскаль (язык программирования)
Паска́ль (Pascal) — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является базой для ряда других языков.
Новый!!: Standard ML и Паскаль (язык программирования) · Узнать больше »
Параллелизм (информатика)
«Задача об обедающих философах» — классическая проблема с параллелизмом и разделяемыми ресурсами. В информатике параллели́зм — это свойство систем, при котором несколько вычислений выполняются одновременно, и при этом, возможно, взаимодействуют друг с другом.
Новый!!: Standard ML и Параллелизм (информатика) · Узнать больше »
Параметрический полиморфизм
Параметрический полиморфизм в языках программирования и теории типов представляет собой свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Новый!!: Standard ML и Параметрический полиморфизм · Узнать больше »
Поток выполнения
Процесс с двумя потоками выполнения на одном процессоре Пото́к выполне́ния (тред; от thread — нить) — наименьшая единица обработки, исполнение которой может быть назначено ядром операционной системы.
Новый!!: Standard ML и Поток выполнения · Узнать больше »
Полиморфизм (информатика)
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.
Новый!!: Standard ML и Полиморфизм (информатика) · Узнать больше »
Пейтон-Джонс, Саймон
Саймон Пейтон-Джонс (Simon Peyton Jones; 18 января 1958 года, Южно-Африканская Республика) — британский учёный, специалист по функциональным языкам программирования и отложенным вычислениям, почётный профессор информатики в Университета Глазго, профессор Кембриджского университета, ведущий разработчик языка программирования Haskell и руководитель разработки самого популярного компилятора этого языка — Glasgow Haskell Compiler.
Новый!!: Standard ML и Пейтон-Джонс, Саймон · Узнать больше »
Объектно-ориентированное программирование
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Новый!!: Standard ML и Объектно-ориентированное программирование · Узнать больше »
Обработка исключений
Обрабо́тка исключи́тельных ситуа́ций (exception handling) — механизм языков программирования, предназначенный для описания реакции программы на ошибки времени выполнения и другие возможные проблемы (исключения), которые могут возникнуть при выполнении программы и приводят к невозможности (бессмысленности) дальнейшей отработки программой её базового алгоритма.
Новый!!: Standard ML и Обработка исключений · Узнать больше »
Онлайн и офлайн
DSL-модем Термины онлайн (online) и офлайн (offline) имеют значение в отношении к компьютерным технологиям и телекоммуникациям.
Новый!!: Standard ML и Онлайн и офлайн · Узнать больше »
Ассемблер
Ассе́мблер (от assembler — сборщик) — транслятор исходного текста программы, написанной на языке ассемблера, в программу на машинном языке.
Новый!!: Standard ML и Ассемблер · Узнать больше »
Арифметическое переполнение
Арифмети́ческое переполне́ние — специфичная для компьютерной арифметики ситуация, когда при арифметическом действии результат становится больше максимально возможного значения для переменной, использующейся для хранения результата.
Новый!!: Standard ML и Арифметическое переполнение · Узнать больше »
Абстрактное синтаксическое дерево
алгоритма Евклида, приведённого ниже: '''while''' b ≠ 0 '''if''' a > b a.
Новый!!: Standard ML и Абстрактное синтаксическое дерево · Узнать больше »
Абстракция (информатика)
Абстракция в информатике представляет собой технику управления сложностью систем.
Новый!!: Standard ML и Абстракция (информатика) · Узнать больше »
Аварийный отказ (программирование)
Отказавший iMac Аварийный отказ (также катастрофический отказ, авария, фатальный сбой, разг. крах, падение, краш) — это аварийное завершение программы или операционной системы, когда они перестают нормально функционировать.
Новый!!: Standard ML и Аварийный отказ (программирование) · Узнать больше »
Ада (язык программирования)
А́да (Ada) — язык программирования, созданный в 1979—1980 годах в ходе проекта Министерством обороны США с целью разработать единый язык программирования для встроенных систем (то есть систем управления автоматизированными комплексами, функционирующими в реальном времени).
Новый!!: Standard ML и Ада (язык программирования) · Узнать больше »
Алгол
Алго́л (Algol от algorithmic — алгоритмический и language — язык) — название ряда языков программирования, применяемых при составлении программ для решения научно-технических задач на ЭВМ.
Новый!!: Standard ML и Алгол · Узнать больше »
Аппликативное программирование
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому.
Новый!!: Standard ML и Аппликативное программирование · Узнать больше »
Россия
Росси́я (от Ρωσία — РусьНазвание Россия происходит от греч. Ρωσία (МФА) — так в Византийской империи называли Русь.), полное официальное наименование Росси́йская Федера́ция«Наименования Российская Федерация и Россия равнозначны» // Конституции Российской Федерации, ст. 1, часть 2 (на практике используется и аббревиатура РФСокращённое наименование РФ не является нормативно установленным, но широко используется, в том числе в подзаконных нормативно-правовых актах, судебных решениях и официальной документации.) — суверенное государство в Восточной Европе и Северной Азии.
Новый!!: Standard ML и Россия · Узнать больше »
Род (теория типов)
Род в теории типов (kind) — тип конструктора типов, или более формально, тип ти́пового оператора высшего порядка.
Новый!!: Standard ML и Род (теория типов) · Узнать больше »
Рефлексия (программирование)
В информатике отражение или рефлексия (холоним интроспекции, reflection) означает процесс, во время которого программа может отслеживать и модифицировать собственную структуру и поведение во время выполнения.
Новый!!: Standard ML и Рефлексия (программирование) · Узнать больше »
Стратегия вычисления
Стратегия вычисления (evaluation strategy) — правила семантики языка программирования, определяющие, когда следует вычислять аргументы функции (метода, операции, отношения), и какие значения следует передавать.
Новый!!: Standard ML и Стратегия вычисления · Узнать больше »
Строковый тип
В программировании, строковый тип (string «нить, вереница») — тип данных, значениями которого является произвольная последовательность (строка) символов алфавита.
Новый!!: Standard ML и Строковый тип · Узнать больше »
Среда выполнения
Среда выполнения (execution environment, иногда «ранта́йм» от runtime — «время выполнения») в информатике — вычислительное окружение, необходимое для выполнения компьютерной программы и доступное во время выполнения компьютерной программы.
Новый!!: Standard ML и Среда выполнения · Узнать больше »
Саарский университет
Саарский университет (Universität des Saarlandes) — единственный университет в земле Саар.
Новый!!: Standard ML и Саарский университет · Узнать больше »
Связный список
Свя́зный спи́сок — базовая динамическая структура данных в информатике, состоящая из узлов, каждый из которых содержит как собственно данные, так и одну или две ссылки («связки») на следующий и/или предыдущий узел списка.
Новый!!: Standard ML и Связный список · Узнать больше »
Свёртка списка
Свёртка списка (folding, также известна как reduce, accumulate) в программировании — функция высшего порядка, которая производит преобразование структуры данных к единственному атомарному значению при помощи заданной функции.
Новый!!: Standard ML и Свёртка списка · Узнать больше »
Свободное и открытое программное обеспечение
FLOSS, или Free/Libre and Open-Source Software (Свободное программное обеспечение с общедоступными (открытыми) исходными кодами) — категория программного обеспечения, которая включает в себя как свободное, так и открытое программное обеспечение.
Новый!!: Standard ML и Свободное и открытое программное обеспечение · Узнать больше »
Свободное программное обеспечение
Свободное программное обеспечение (СПО, free software, также software libre или libre software), свободный софт — программное обеспечение, пользователи которого имеют права («свободы») на его неограниченную установку, запуск, свободное использование, изучение, распространение и изменение (совершенствование), а также распространение копий и результатов изменения.
Новый!!: Standard ML и Свободное программное обеспечение · Узнать больше »
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Новый!!: Standard ML и Си (язык программирования) · Узнать больше »
Система F
Система F (полиморфное лямбда-исчисление, система \lambda2, типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами.
Новый!!: Standard ML и Система F · Узнать больше »
Система типов
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули.
Новый!!: Standard ML и Система типов · Узнать больше »
Синхронизация (информатика)
Синхронизация (от σύγχρονος — одновременный) в информатике обозначает одно из: синхронизацию процессов, либо синхронизацию данных, либо процесс синхронизации передачи данных.
Новый!!: Standard ML и Синхронизация (информатика) · Узнать больше »
Соответствие Карри — Ховарда
Соответствие Карри — Ховарда (изоморфизм Карри — Ховарда, formulæ-as-types interpretation) — наблюдаемая структурная эквивалентность между математическими доказательствами и программами, которая может быть формализована в виде изоморфизма между логическими системами и типизированными исчислениями.
Новый!!: Standard ML и Соответствие Карри — Ховарда · Узнать больше »
Соединённые Штаты Америки
Соединённые Шта́ты Аме́рики (United States of America), часто кратко именуемые США (USA) или Соединёнными Штатами (United States, U.S.), — государство в Северной Америке.
Новый!!: Standard ML и Соединённые Штаты Америки · Узнать больше »
Списковое включение
Абстракция списков или списковое включение (list comprehension, Erfassung der Liste) в синтаксисе некоторых языков программирования — это способ компактного описания операций обработки списков.
Новый!!: Standard ML и Списковое включение · Узнать больше »
Сериализация
Сериализация (в программировании) (serialization) — процесс перевода какой-либо структуры данных в последовательность битов.
Новый!!: Standard ML и Сериализация · Узнать больше »
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Новый!!: Standard ML и Типобезопасность · Узнать больше »
Функциональный тип
Функциональный тип (стрелочный тип, экспоненциал) в информатике — тип переменной или параметра, значением которой или которого может быть функция; либо тип аргумента или возвращаемого значения функции высшего порядка, принимающей или возвращающей функцию.
Новый!!: Standard ML и Функциональный тип · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: Standard ML и Функциональное программирование · Узнать больше »
Формальная спецификация
В информатике формальная спецификация — это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием.
Новый!!: Standard ML и Формальная спецификация · Узнать больше »
Хвостовая рекурсия
Хвостовая рекурсия — частный случай рекурсии, при котором любой рекурсивный вызов является последней операцией перед возвратом из функции.
Новый!!: Standard ML и Хвостовая рекурсия · Узнать больше »
Цикл (программирование)
Пример цикла While. Цикл — разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций.
Новый!!: Standard ML и Цикл (программирование) · Узнать больше »
Эдинбург
Эдинбу́рг (Edinburgh, Dùn Èideann) — столица Шотландии (с 1437 года) и второй по величине её город.
Новый!!: Standard ML и Эдинбург · Узнать больше »
Милнер, Робин
Робин Милнер (Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Новый!!: Standard ML и Милнер, Робин · Узнать больше »
Многоядерный процессор
Многоя́дерный проце́ссор — центральный процессор, содержащий два и более вычислительных ядра на одном процессорном кристалле или в одном корпусе.
Новый!!: Standard ML и Многоядерный процессор · Узнать больше »
Модульное программирование
Мо́дульное программи́рование — это организация программы как совокупности небольших независимых блоков, называемых модулями, структура и поведение которых подчиняются определённым правилам.
Новый!!: Standard ML и Модульное программирование · Узнать больше »
Межпроцедурная оптимизация
Межпроцедурная оптимизация (Interprocedural Optimization, IPO), или полнопрограммная оптимизация программ (whole program optimization) — оптимизация компилятора, которая использует глобальный анализ потока управления и затрагивает множество процедур, даже находящихся в разных модулях, за счёт чего может достигаться существенный прирост быстродействия.
Новый!!: Standard ML и Межпроцедурная оптимизация · Узнать больше »
Идиома (программирование)
Идиома программирования — устойчивый способ выражения некоторой составной конструкции в одном или нескольких языках программирования.
Новый!!: Standard ML и Идиома (программирование) · Узнать больше »
Императивное программирование
Императи́вное программи́рование — это парадигма программирования (стиль написания исходного кода компьютерной программы), для которой характерно следующее.
Новый!!: Standard ML и Императивное программирование · Узнать больше »
Институт прикладной математики имени М. В. Келдыша РАН
Институт прикладной математики имени М. В. Келдыша РАН (ИПМ РАН) был создан для решения расчётных задач, связанных с государственными программами атомной и термоядерной энергетики, исследования космического пространства и ракетной техники.
Новый!!: Standard ML и Институт прикладной математики имени М. В. Келдыша РАН · Узнать больше »
Интерпретатор
Интерпретатор — программа (разновидность транслятора), выполняющая интерпретацию.
Новый!!: Standard ML и Интерпретатор · Узнать больше »
Интегрированная среда разработки
Интегри́рованная среда́ разрабо́тки, ИСP (Integrated development environment — IDE), также единая среда разработки, ЕСР — комплекс программных средств, используемый программистами для разработки программного обеспечения (ПО).
Новый!!: Standard ML и Интегрированная среда разработки · Узнать больше »
Замыкание (программирование)
Замыкание (closure) в программировании — функция первого класса, в теле которой присутствуют ссылки на переменные, объявленные вне тела этой функции в окружающем коде и не являющиеся её параметрами.
Новый!!: Standard ML и Замыкание (программирование) · Узнать больше »
Безопасность доступа к памяти
Безопасность доступа к памяти — концепция в разработке программного обеспечения, целью которой является избежание программных ошибок, которые ведут к уязвимостям, связанным с доступом к оперативной памяти компьютера, таким как переполнения буфера и висячие указатели.
Новый!!: Standard ML и Безопасность доступа к памяти · Узнать больше »
Высокоуровневый язык программирования
Высокоуровневый язык программирования — язык программирования, разработанный для быстроты и удобства использования программистом.
Новый!!: Standard ML и Высокоуровневый язык программирования · Узнать больше »
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Новый!!: Standard ML и Вывод типов · Узнать больше »
Взаимная рекурсия
В математике и программировании взаимная рекурсия — это вид рекурсии, когда два математических или программных объекта, таких как функции или типы данных, определяются в терминах друг друга.
Новый!!: Standard ML и Взаимная рекурсия · Узнать больше »
Деление на ноль
ynbspстремится к минус бесконечности Деление на ноль в математике — деление, при котором делитель равен нулю.
Новый!!: Standard ML и Деление на ноль · Узнать больше »
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Новый!!: Standard ML и Лямбда-исчисление · Узнать больше »
Лисп
Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.
Новый!!: Standard ML и Лисп · Узнать больше »
Лицензия BSD
Лицензия BSD (BSD license, Berkeley Software Distribution license — Программная лицензия университета Беркли) — это лицензионное соглашение, впервые применённое для распространения UNIX-подобных операционных систем BSD.
Новый!!: Standard ML и Лицензия BSD · Узнать больше »
Лицензия MIT
Лицензия MIT (MIT License) — лицензия открытого программного обеспечения, разработанная Массачусетским технологическим институтом.
Новый!!: Standard ML и Лицензия MIT · Узнать больше »
.NET Framework
.NET Framework — программная платформа, выпущенная компанией Microsoft в 2002 году.
Новый!!: Standard ML и .NET Framework · Узнать больше »
1974 год
Без описания.
Новый!!: Standard ML и 1974 год · Узнать больше »
1979 год
Организацией объединённых наций данный год был определён как Всемирный год ребёнка.
Новый!!: Standard ML и 1979 год · Узнать больше »
1980 год
См.
Новый!!: Standard ML и 1980 год · Узнать больше »
1980-е годы
1980-е годы — десятилетие, включающее года с 1980 по 1989.
Новый!!: Standard ML и 1980-е годы · Узнать больше »
1990 год
Объявлен ООН Международным годом грамотности.
Новый!!: Standard ML и 1990 год · Узнать больше »
1990-е годы
мавзолея 1990-е годы (одна тысяча девятьсот девяностые; девяностые) — десятилетие, включающее года с 1990 по 1999.
Новый!!: Standard ML и 1990-е годы · Узнать больше »
1996 год
Объявлен ООН Международным годом борьбы за ликвидацию нищеты (резолюция ООН 48/183).
Новый!!: Standard ML и 1996 год · Узнать больше »
1997 год
См.
Новый!!: Standard ML и 1997 год · Узнать больше »
2004 год
* (резолюция № 57/162 ООН).
Новый!!: Standard ML и 2004 год · Узнать больше »
2013 год
«Год охраны окружающей среды» в России.
Новый!!: Standard ML и 2013 год · Узнать больше »
2016 год
Международный год зернобобовых (резолюция Генеральной Ассамблеи ООН A/RES/68/231).
Новый!!: Standard ML и 2016 год · Узнать больше »
80386
Клон микропроцессора Intel 80386, изготовленный фирмой AMD Intel 80386 (также известный как i386 или просто 386) — 32-битный процессор с архитектурой x86 третьего поколения фирмы Intel, выпущенный 17 октября 1985 года.
Новый!!: Standard ML и 80386 · Узнать больше »
Перенаправления здесь:
SML.
