11 відносини: Boo, C++, ML, Mono, Проектування за контрактом, Стандарт оформлення коду, Список мов програмування, Функційне програмування, Множинне успадкування, Вивід типів, .NET Framework.
Boo
Boo («бу») — об'єктно-орієнтована мова програмування зі статичною типізацією для платформи.NET.
Новинка!!: Nemerle і Boo · Побачити більше »
C++
C++ (Сі-плюс-плюс) — мова програмування високого рівня з підтримкою кількох парадигм програмування: об'єктно-орієнтованої, узагальненої та процедурної.
Новинка!!: Nemerle і C++ · Побачити більше »
ML
ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз часто називається системою Гіндлі-Мілнера. Мови даного сімейства не є чистими функціональними мовами, тому що включають і імперативні інструкції. ML викладається у багатьох західних університетах (в деяких навіть як перша мова програмування).
Новинка!!: Nemerle і ML · Побачити більше »
Mono
Mono — багато-платформове вільне відкрите втілення системи.NET, яке відповідає стандартам ECMA, включаючи серед іншого і компілятор C#, і Common Language Runtime.
Новинка!!: Nemerle і Mono · Побачити більше »
Проектування за контрактом
Проектування за контрактом (design by contract (DbC), programming by contract, contract-based programming) — методологія розробки програмного забезпечення.
Новинка!!: Nemerle і Проектування за контрактом · Побачити більше »
Стандарт оформлення коду
Станда́рт оформле́ння ко́ду або станда́рт кодування (coding standards, coding convention або programming style) — набір правил та угод, що використовуються при написанні сирцевого коду на деяких мовах програмування.
Новинка!!: Nemerle і Стандарт оформлення коду · Побачити більше »
Список мов програмування
Без опису.
Новинка!!: Nemerle і Список мов програмування · Побачити більше »
Функційне програмування
Функційне програмування — парадигма програмування, яка розглядає програму як обчислення математичних функцій та уникає станів та змінних даних.
Новинка!!: Nemerle і Функційне програмування · Побачити більше »
Множинне успадкування
Множи́нна спадко́вість — властивість деяких обʼєктно-орієнтованих мов програмування, в яких класи можуть успадкувати поведінку і властивості більш ніж від одного суперкласу (безпосереднього батьківського класу).
Новинка!!: Nemerle і Множинне успадкування · Побачити більше »
Вивід типів
Ви́від ти́пів (type inference) — в програмуванні можливість компілятора самому логічно вивести тип значення у виразу.
Новинка!!: Nemerle і Вивід типів · Побачити більше »
.NET Framework
Microsoft.NET (читається дот-нет) — програмна технологія, запропонована фірмою Microsoft як платформа для створення як звичайних програм, так і веб-застосунків.
Новинка!!: Nemerle і .NET Framework · Побачити більше »