Більш швидкий доступ, ніж браузер!
13 відносини: Categorical Abstract Machine Language, GNU Lesser General Public License, Java, ML, MTASC, Perl, Python, Q Public License, Standard ML, Компілятор, Автоматизоване доведення теорем, Мова програмування, Багатоплатформність.
Categorical Abstract Machine Language
Caml (скорочення від Categorical Abstract Machine Language) — діалект мови програмування ML, розроблений в INRIA та ENS. Як і всі діалекти ML, Caml є мовою програмування зі статичною типізацією, строгим порядком обчислень, та використовує автоматичне керування пам'ятю. Перша реалізація Caml була здійснена на мові програмування Лісп, та мала неформальну назву «Важкий CAML» через порівняно високі вимоги до кількості наявних ресурсів у порівнянні з наступником — мовою програмування Caml Light, реалізовану на мові програмування Сі Ксавієром Лероєм та Дамієном Доліґезом. На поточний момент, найпоширенішою реалізацією Caml є Objective Caml, який додає багато нових можливостей до початкового варіанту мови, включаючи і механізми об'єктно-орієнтованого програмування.
Новинка!!: Objective Caml і Categorical Abstract Machine Language · Побачити більше »
GNU Lesser General Public License
GNU Lesser General Public License (Загальна громадська ліцензія обмеженого використання GNU) раніше GNU Library General Public License (Загальна громадська ліцензія GNU для бібліотек) або LGPL — безкоштовна ліцензія на програмне забезпечення, видана Фондом Вільних Програм.
Новинка!!: Objective Caml і GNU Lesser General Public License · Побачити більше »
Java
Java (вимовляється Джава) — об'єктно-орієнтована мова програмування, випущена 1995 року компанією «Sun Microsystems» як основний компонент платформи Java.
Новинка!!: Objective Caml і Java · Побачити більше »
ML
ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз часто називається системою Гіндлі-Мілнера. Мови даного сімейства не є чистими функціональними мовами, тому що включають і імперативні інструкції. ML викладається у багатьох західних університетах (в деяких навіть як перша мова програмування).
Новинка!!: Objective Caml і ML · Побачити більше »
MTASC
MTASC (Motion-Twin ActionScript 2 компілятор) — вільне програмне забезпечення для компіляції коду ActionScript 2.0 на Windows, GNU / Linux і Mac OS X, написане на OCaml та розроблене компанією Motion-Twin.
Новинка!!: Objective Caml і MTASC · Побачити більше »
Perl
Perl (неофіційна розшифровка Practical Extraction and Reporting Language — практична мова витягів та звітів) — високорівнева, інтерпретована, динамічна мова програмування загального призначення.
Новинка!!: Objective Caml і Perl · Побачити більше »
Python
Python (найчастіше вживане прочитання — «Па́йтон», запозичено назву з британського шоу Монті Пайтон) — інтерпретована об'єктно-орієнтована мова програмування високого рівня з строгою динамічною типізацією.
Новинка!!: Objective Caml і Python · Побачити більше »
Q Public License
Q Public License (QPL) — це ліцензія вільного програмного забезпечення без copyleft, яка несумісна з GNU General Public License.
Новинка!!: Objective Caml і Q Public License · Побачити більше »
Standard ML
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів.
Новинка!!: Objective Caml і Standard ML · Побачити більше »
Компілятор
Компілятор (Compiler від to compile — збирати в ціле) — комп'ютерна програма (або набір к. програм), що перетворює (компілює) вихідний код, написаний певною мовою програмування (мова джерела, source language), на семантично еквівалентний код в іншій мові програмування (мова цілі, target language), який зазвичай необхідний для виконання програми машиною, наприклад, комп'ютером.
Новинка!!: Objective Caml і Компілятор · Побачити більше »
Автоматизоване доведення теорем
Автоматичне доведення (Automated theorem proving) — доведення, реалізоване на програмному рівні.
Новинка!!: Objective Caml і Автоматизоване доведення теорем · Побачити більше »
Мова програмування
Мо́ва програмува́ння (Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам.
Новинка!!: Objective Caml і Мова програмування · Побачити більше »
Багатоплатформність
Багатоплатфо́рмність (кросплатформність, мультиплатформність) — властивість програмного забезпечення працювати більш ніж на одній програмній (в тому числі — операційній системі) або апаратній платформи, та технології, що дозволяють досягти такої властивості.
Новинка!!: Objective Caml і Багатоплатформність · Побачити більше »
