34 отношения: Boo, C Sharp, C++11, D (язык программирования), F Sharp, Fortress, Go, Haskell, ML, Nemerle, OCaml, Perl, Scala (язык программирования), Standard ML, Vala, Visual Basic .NET, Карри, Хаскелл, Приведение типа, Программирование, Параметрический полиморфизм, Объектно-ориентированный язык программирования, Тип данных, Утиная типизация, Функция высшего порядка, Функциональное программирование, Машина вывода, Милнер, Робин, Модула-2, Выражение (информатика), Лямбда-исчисление, 1958 год, 1969 год, 1978 год, 1985 год.
Boo
Boo ('бу') — объектно-ориентированный язык программирования с сильной статической типизацией для платформы.NET.
Новый!!: Вывод типов и Boo · Узнать больше »
C Sharp
C# (произносится си шарп) — объектно-ориентированный язык программирования.
Новый!!: Вывод типов и C Sharp · Узнать больше »
C++11
C++11 или ISO/IEC 14882:2011 (в процессе работы над стандартом носил условное наименование C++0x) — новая версия стандарта языка C++, вместо ранее действовавшего ISO/IEC 14882:2003.
Новый!!: Вывод типов и C++11 · Узнать больше »
D (язык программирования)
D (Ди) — мультипарадигмальный компилируемый язык программирования, созданный Уолтером Брайтом из компании Digital Mars.
Новый!!: Вывод типов и D (язык программирования) · Узнать больше »
F Sharp
F# (произносится эф-шарп) — это мультипарадигмальный язык программирования из семейства языков.NET Framework, поддерживающий функциональное программирование в дополнение к императивному (процедурному) и объектно-ориентированному программированию.
Новый!!: Вывод типов и F Sharp · Узнать больше »
Fortress
Fortress (буквально «крепость») — черновая спецификация языка программирования, разрабатывавшегося компанией Sun Microsystems.
Новый!!: Вывод типов и Fortress · Узнать больше »
Go
Go (часто также Golang) — компилируемый многопоточный язык программирования, разработанный внутри компании Google.
Новый!!: Вывод типов и Go · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Вывод типов и Haskell · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: Вывод типов и ML · Узнать больше »
Nemerle
Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования, для платформ.NET и Mono (язык компилируется в CIL и является CLS-совместимым).
Новый!!: Вывод типов и Nemerle · Узнать больше »
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Новый!!: Вывод типов и OCaml · Узнать больше »
Perl
Perl — высокоуровневый интерпретируемый динамический язык программирования общего назначения, созданный Ларри Уоллом, лингвистом по образованию.
Новый!!: Вывод типов и Perl · Узнать больше »
Scala (язык программирования)
Scala — мультипарадигмальный язык программирования, спроектированный кратким и типобезопасным для простого и быстрого создания компонентного программного обеспечения, сочетающий возможности функционального и объектно-ориентированного программирования.
Новый!!: Вывод типов и Scala (язык программирования) · Узнать больше »
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Новый!!: Вывод типов и Standard ML · Узнать больше »
Vala
Vala — язык программирования, предназначенный для прикладного и системного программирования на основе библиотек GLib Object System (GObject) рабочей среды GNOME/GTK+.
Новый!!: Вывод типов и Vala · Узнать больше »
Visual Basic .NET
Visual Basic.NET (VB.NET) — объектно-ориентированный язык программирования, который можно рассматривать как очередной виток эволюции Visual Basic (VB), реализованный на платформе Microsoft.NET.
Новый!!: Вывод типов и Visual Basic .NET · Узнать больше »
Карри, Хаскелл
Ха́скелл Брукс Ка́рри (12 сентября 1900 — 1 сентября 1982) — американский и. Программа его исследований способствовала становлению конструктивного подхода к выработке оснований математики.
Новый!!: Вывод типов и Карри, Хаскелл · Узнать больше »
Приведение типа
Приведе́ние (преобразование) ти́па (type conversion, typecasting, coercion) — в информатике преобразование значения одного типа в значение другого типа.
Новый!!: Вывод типов и Приведение типа · Узнать больше »
Программирование
Программи́рование — процесс создания компьютерных программ.
Новый!!: Вывод типов и Программирование · Узнать больше »
Параметрический полиморфизм
Параметрический полиморфизм в языках программирования и теории типов представляет собой свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Новый!!: Вывод типов и Параметрический полиморфизм · Узнать больше »
Объектно-ориентированный язык программирования
Объектно-ориентированный язык программирования (ОО-язык) — язык, построенный на принципах объектно-ориентированного программирования.
Новый!!: Вывод типов и Объектно-ориентированный язык программирования · Узнать больше »
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Новый!!: Вывод типов и Тип данных · Узнать больше »
Утиная типизация
Неявная типизация, латентная типизация или утиная типизация (Duck typing) — в ООП-языках — определение факта реализации определённого интерфейса объектом без явного указания или наследования этого интерфейса, а просто по реализации полного набора его методов.
Новый!!: Вывод типов и Утиная типизация · Узнать больше »
Функция высшего порядка
Фу́нкция вы́сшего поря́дка — в программировании функция, принимающая в качестве аргументов другие функции или возвращающая другую функцию в качестве результата.
Новый!!: Вывод типов и Функция высшего порядка · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: Вывод типов и Функциональное программирование · Узнать больше »
Машина вывода
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
Новый!!: Вывод типов и Машина вывода · Узнать больше »
Милнер, Робин
Робин Милнер (Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Новый!!: Вывод типов и Милнер, Робин · Узнать больше »
Модула-2
Мо́дула-2 (Modula-2) — язык программирования общего назначения, являющийся развитием Паскаля, разработанный Никлаусом Виртом в 1978 году.
Новый!!: Вывод типов и Модула-2 · Узнать больше »
Выражение (информатика)
Выражение в информатике — комбинация значений, констант, переменных, операций и функций, которая может быть интерпретирована в соответствии с правилами конкретного языка.
Новый!!: Вывод типов и Выражение (информатика) · Узнать больше »
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Новый!!: Вывод типов и Лямбда-исчисление · Узнать больше »
1958 год
Год продолжения Холодной войны и Хрущёвской оттепели, характеризовавшийся как активным диалогом между западным и восточным блоками, так и конфликтами между ними.
Новый!!: Вывод типов и 1958 год · Узнать больше »
1969 год
Почтовая марка СССР, 1969 год.
Новый!!: Вывод типов и 1969 год · Узнать больше »
1978 год
Без описания.
Новый!!: Вывод типов и 1978 год · Узнать больше »
1985 год
Этот год принято считать годом начала в СССР глубоких экономических и политических реформ, получивших название перестройки.
Новый!!: Вывод типов и 1985 год · Узнать больше »
Перенаправления здесь:
Алгоритм Дамаса — Милнера, Система типов Хиндли — Милнера, Модель типизации Хиндли - Милнера, Модель типизации Хиндли — Милнера, Модель типизации Хиндли-Милнера, Выведение типа, Выведение типов.