14 отношения: Alice (язык программирования), C Sharp, C++, D (язык программирования), Delphi (язык программирования), Haskell, Java, JIT-компиляция, MIT Press, ML, Nim, Паскаль (язык программирования), Ада (язык программирования), Тип данных.
Alice (язык программирования)
Alice — язык функционального программирования, разработанный в лаборатории Programming Systems Lab в Саарском университете.
Новый!!: Статическая типизация и Alice (язык программирования) · Узнать больше »
C Sharp
C# (произносится си шарп) — объектно-ориентированный язык программирования.
Новый!!: Статическая типизация и C Sharp · Узнать больше »
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Новый!!: Статическая типизация и C++ · Узнать больше »
D (язык программирования)
D (Ди) — мультипарадигмальный компилируемый язык программирования, созданный Уолтером Брайтом из компании Digital Mars.
Новый!!: Статическая типизация и D (язык программирования) · Узнать больше »
Delphi (язык программирования)
Delphi (Де́лфи, произносится) — императивный структурированный объектно-ориентированный язык программирования со строгой статической типизацией переменных.
Новый!!: Статическая типизация и Delphi (язык программирования) · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Статическая типизация и Haskell · Узнать больше »
Java
JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.
Новый!!: Статическая типизация и Java · Узнать больше »
JIT-компиляция
JIT-компиляция (Just-in-time compilation, компиляция «на лету»), динамическая компиляция (dynamic translation) — технология увеличения производительности программных систем, использующих байт-код, путём компиляции байт-кода в машинный код или в другой формат непосредственно во время работы программы.
Новый!!: Статическая типизация и JIT-компиляция · Узнать больше »
MIT Press
MIT Press — издательство Массачусетского технологического института (MIT), расположенное в Кембридже (США, штат Массачусетс) и специализирующееся на выпуске изданий научного и технического профиля.
Новый!!: Статическая типизация и MIT Press · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: Статическая типизация и ML · Узнать больше »
Nim
Nim (ранее — Nimrod) — язык программирования со статической типизацией, поддерживающий процедурный, объектно-ориентированный, функциональный и обобщённый стили программирования.
Новый!!: Статическая типизация и Nim · Узнать больше »
Паскаль (язык программирования)
Паска́ль (Pascal) — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является базой для ряда других языков.
Новый!!: Статическая типизация и Паскаль (язык программирования) · Узнать больше »
Ада (язык программирования)
А́да (Ada) — язык программирования, созданный в 1979—1980 годах в ходе проекта Министерством обороны США с целью разработать единый язык программирования для встроенных систем (то есть систем управления автоматизированными комплексами, функционирующими в реальном времени).
Новый!!: Статическая типизация и Ада (язык программирования) · Узнать больше »
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Новый!!: Статическая типизация и Тип данных · Узнать больше »