Зміст
50 відносини: Categorical Abstract Machine Language, Cloud9, Elm (мова програмування), F Sharp, FastCGI, GTK+, Haxe, JUnit, Libvirt, Low Level Virtual Machine, MessagePack, ML, MTASC, Opa (мова програмування), OSCAR, Python, Rust (мова програмування), Scala, SFML, SLIME, Standard ML, SWIG, Xen Cloud Platform, XQuery, Yacc, Качина типізація, Каррінг (інформатика), Коваріантність і контраваріантність, Компільована мова програмування, Коментар (програмування), Програмна транзакційна пам'ять, Препроцесор C, Порівняння мов програмування, Порожній рядок, Обробка винятків, Спискові вирази, Список систем керування пакунками, Семантика, Функційне програмування, Функціональний тип, Явний паралелізм, Мультипарадигмальна мова програмування, Множинне успадкування, Мова програмування, Мови опису апаратури, Збирання сміття, Бітові операції, Байт-код, Вивід типів, Ліниві обчислення.
Categorical Abstract Machine Language
Caml (скорочення від Categorical Abstract Machine Language) — діалект мови програмування ML, розроблений в INRIA та ENS. Як і всі діалекти ML, Caml є мовою програмування зі статичною типізацією, строгим порядком обчислень, та використовує автоматичне керування пам'ятю.
Переглянути Objective Caml і Categorical Abstract Machine Language
Cloud9
Cloud9 IDE — це відкрите (з версії 3.0) онлайнове інтегроване середовище розробки.
Переглянути Objective Caml і Cloud9
Elm (мова програмування)
Elm (з англ. В'яз) — функційна мова програмування, для декларативного створення браузерних застосунків з графічним інтерфейсом користувача.
Переглянути Objective Caml і Elm (мова програмування)
F Sharp
F# — багатопарадигмова мова програмування, розроблена в підрозділі Microsoft Research і призначена для виконання на платформі Microsoft.NET.
Переглянути Objective Caml і F Sharp
FastCGI
Інтерфейс FastCGI — клієнт-серверний протокол взаємодії веб-сервера та програми, подальший розвиток технології CGI.
Переглянути Objective Caml і FastCGI
GTK+
GTK+ (від The GIMP ToolKit) — кросплатформовий набір інструментів для створення графічних інтерфейсів користувача.
Переглянути Objective Caml і GTK+
Haxe
Haxe — об'єктно-орієнтована мова програмування високого рівня загального призначення.
Переглянути Objective Caml і Haxe
JUnit
JUnit — бібліотека для тестування програмного забезпечення для мови Java.
Переглянути Objective Caml і JUnit
Libvirt
LibVirt —— проект компанія Red Hat, в рамках якого розвивається бібліотека і набір інструментів для уніфікованого локального і віддаленого управління віртуальними оточеннями.
Переглянути Objective Caml і Libvirt
Low Level Virtual Machine
Low Level Virtual Machine (LLVM) — універсальна система аналізу, трансформації і оптимізації програм, що реалізує віртуальну машину з RISC-подібними інструкціями.
Переглянути Objective Caml і Low Level Virtual Machine
MessagePack
MessagePack — комп’ютерний формат обміну даними, призначений для двійкового представлення простих структур даних наподобі масивів і асоциативних масивів.
Переглянути Objective Caml і MessagePack
ML
ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз часто називається системою Гіндлі-Мілнера.
Переглянути Objective Caml і ML
MTASC
MTASC (Motion-Twin ActionScript 2 компілятор) — вільне програмне забезпечення для компіляції коду ActionScript 2.0 на Windows, GNU / Linux і Mac OS X, написане на OCaml та розроблене компанією Motion-Twin.
Переглянути Objective Caml і MTASC
Opa (мова програмування)
Opa — мова програмування з відкритим вихідним кодом для розробки масштабованих веб-додатків.
Переглянути Objective Caml і Opa (мова програмування)
OSCAR
OSCAR — відкритий (з 5 березня 2008 року), але не вільний мережевий протокол, що забезпечує обмін миттєвими і офлайновими текстовими повідомленнями.
Переглянути Objective Caml і OSCAR
Python
Python (найчастіше вживане прочитання — «Па́йтон», запозичено назву з британського шоу Монті Пайтон) — інтерпретована об'єктно-орієнтована мова програмування високого рівня з строгою динамічною типізацією.
Переглянути Objective Caml і Python
Rust (мова програмування)
Rust — мова програмування, що розробляється Mozilla Research.
Переглянути Objective Caml і Rust (мова програмування)
Scala
Scala — мультипарадигмова мова програмування, що поєднує властивості об'єктно-орієнтованого та функційного програмування.
Переглянути Objective Caml і Scala
SFML
SFML (Проста і Швидка Мультимедійна Бібліотека) є портативним і легким у використанні API для мультимедіа-програмування.
Переглянути Objective Caml і SFML
SLIME
SLIME (англ. Superior Lisp Interaction Mode for Emacs — Найкращий Інтерактивний Режим Lisp для Emacs) — режим Emacs для розробки програм на Common Lisp.
Переглянути Objective Caml і SLIME
Standard ML
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів.
Переглянути Objective Caml і Standard ML
SWIG
SWIG (simplified wrapper and interface generator) — вільне програмне забезпечення для зв'язування програм та бібліотек, написаних на мовах C та C++, з інтерпретованими (Tcl, Perl, Python, Ruby, PHP) або компільованими (Java, C#, Scheme, OCaml) мовами.
Переглянути Objective Caml і SWIG
Xen Cloud Platform
Xen Cloud Platform (XCP) — платформа для розгортання та управління роботою хмарної інфраструктури, що розвивається силами спільноти розробників Xen.
Переглянути Objective Caml і Xen Cloud Platform
XQuery
XQuery — мова запитів, розроблена для обробки даних у форматі XML.
Переглянути Objective Caml і XQuery
Yacc
Програма yacc - це генератор парсерів розроблений Стівеном С. Джонсоном в AT&T для операційної системи Unix.
Переглянути Objective Caml і Yacc
Качина типізація
Неявна типізація, латентна типізація або качина типізація (калька з Duck typing) — різновид динамічної типізації, застосовуваної в деяких мовах програмування, коли межі використання об'єкта визначаються його поточним набором методів і властивостей, на противагу успадкуванню від певного класу.
Переглянути Objective Caml і Качина типізація
Каррінг (інформатика)
Каррування або каррінг (currying) в інформатиці — метод обчислення функції від багатьох аргументів, перетворенням її в послідовність функцій одного аргумента.
Переглянути Objective Caml і Каррінг (інформатика)
Коваріантність і контраваріантність
Варіантність — у програмуванні, спосіб перенесення наслідування типів на нові типи параметризовані попередніми (контейнери, узагальнені типи, делегати).
Переглянути Objective Caml і Коваріантність і контраваріантність
Компільована мова програмування
Компільована мова програмування — мова програмування, в якій сирцевий код перед виконанням повністю перетворюється в машинний код, і записується в файл, з особливим заголовком і/або розширенням, для ідентифікації цього файлу, як виконуваного, операційною системою.
Переглянути Objective Caml і Компільована мова програмування
Коментар (програмування)
Приклад коду Java, вступні коментарі багаторядкові розмальовані червоним, а однорядкові зеленим. Сам код програми синім. У програмуванні, коментар це зрозуміла для програміста анотація в коді комп’ютерної програми.
Переглянути Objective Caml і Коментар (програмування)
Програмна транзакційна пам'ять
В комп'ютерних технологіях, програмна транзакційна пам'ять являє собою механізм управління паралелізмом, аналогічний механізму транзакцій баз даних для управління доступом до спільно використовуваної пам'яті в паралельних обчисленнях.
Переглянути Objective Caml і Програмна транзакційна пам'ять
Препроцесор C
Препроцесор С/С++ — програмний інструмент, який використовується в мовах програмування C та C++, препроцесор, що змінює код програми для подальшої компіляції й збірки.
Переглянути Objective Caml і Препроцесор C
Порівняння мов програмування
Мови програмування (Comparison of programming languages) використовуються для управління поведінкою машини (частіше комп'ютера).
Переглянути Objective Caml і Порівняння мов програмування
Порожній рядок
В інформатиці та теорії формальних мов, порожній рядок (або null рядок)Kernighan and Ritchie, C, p. 38 це особливий рядок нульової довжини.
Переглянути Objective Caml і Порожній рядок
Обробка винятків
Обро́бка ви́нятків (також опрацьо́вування (обробля́ння) винятко́вих ситуа́цій, exception handling) — механізм мов програмування, призначений для обробки помилок часу виконання і інших можливих проблем (винятків), які можуть виникнути при виконанні програми.
Переглянути Objective Caml і Обробка винятків
Спискові вирази
Генераторні списки (list comprehension) — синтаксична конструкція доступна в деяких мовах програмування, яка призначена для створення списків застосуванням операцій над існуючими списками.
Переглянути Objective Caml і Спискові вирази
Список систем керування пакунками
Це список систем керування пакетами.
Переглянути Objective Caml і Список систем керування пакунками
Семантика
Сема́нтика мови (давніше семасіологія) — розділ мовознавства, пов'язаний з лексикологією; вивчає значення (теж у діахронному, історичному перекрої) слів і їх складових частин, словосполук і фразеологізмів.
Переглянути Objective Caml і Семантика
Функційне програмування
Функційне програмування — парадигма програмування, яка розглядає програму як обчислення математичних функцій та уникає станів та змінних даних.
Переглянути Objective Caml і Функційне програмування
Функціональний тип
Функціональний тип (функційний тип, стрілочний тип, експоненціал) у інформатиці — тип змінної або параметра, значенням якої або якого може бути функція; або тип аргументу чи повертаємого значення функції вищого порядку, приймаючий або повертаючий функцію.
Переглянути Objective Caml і Функціональний тип
Явний паралелізм
Явний та неявний паралелізм У комп'ютерному програмуванні явний паралелізм - це уявлення паралельних обчислень за допомогою примітивів у вигляді директив спеціального призначення або викликів функцій.
Переглянути Objective Caml і Явний паралелізм
Мультипарадигмальна мова програмування
Мультипарадигмальна мова програмування — як правило, мова програмування, розроблена спеціально як інструмент мультипарадигмального програмування, тобто образотворчі можливості якого спочатку передбачалося успадкувати від декількох, найчастіше неспоріднених мов.
Переглянути Objective Caml і Мультипарадигмальна мова програмування
Множинне успадкування
Множи́нна спадко́вість — властивість деяких обʼєктно-орієнтованих мов програмування, в яких класи можуть успадкувати поведінку і властивості більш ніж від одного суперкласу (безпосереднього батьківського класу).
Переглянути Objective Caml і Множинне успадкування
Мова програмування
Мо́ва програмува́ння (Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам.
Переглянути Objective Caml і Мова програмування
Мови опису апаратури
Мова опису апаратури (hardware description language) — це спеціалізована формальна комп'ютерна мова, що використовується для проектування структури, дизайну та роботи електронної мікросхеми та її моделювання.
Переглянути Objective Caml і Мови опису апаратури
Збирання сміття
Збирання сміття (garbage collection) — одна з форм автоматичного керування оперативною пам'яттю комп'ютера під час виконання програм.
Переглянути Objective Caml і Збирання сміття
Бітові операції
Бітова операція в програмуванні — деякі операції над ланцюжками бітів.
Переглянути Objective Caml і Бітові операції
Байт-код
Байт-код або байтко́д (byte-code), іноді також використовується термін псевдокод — машинно-незалежний код низького рівня, що генерується транслятором і виконуваний інтерпретатором.
Переглянути Objective Caml і Байт-код
Вивід типів
Ви́від ти́пів (type inference) — в програмуванні можливість компілятора самому логічно вивести тип значення у виразу.
Переглянути Objective Caml і Вивід типів
Ліниві обчислення
В теорії мов програмування, ліниві обчислення, або виклик за потребою — це стратегії обчислення які затримують обчислення виразу до того моменту, поки воно не стане потрібним і уникають повторних обчислень.
Переглянути Objective Caml і Ліниві обчислення
Також відомий як OCaml.