Содержание
64 отношения: ABC (язык программирования), ActionScript, Amiga E, AppleScript, Arc (язык программирования), BeanShell, C Sharp, Caml, Clean, Cobra (язык программирования), Common Lisp, Curl (язык программирования), Delphi (язык программирования), E (язык программирования), Eiffel, Elixir (язык программирования), Elm (язык программирования), Erlang, Go, Go!, Haskell, Limbo, Lua, Mercury (язык программирования), MetaPost, ML, Monkey (язык программирования), Object Pascal, Objective-C, OCaml, PHP, PL/SQL, PostScript, Python, Q Sharp, RCML, REBOL, Ruby, Rust (язык программирования), Scala (язык программирования), Sing Sharp, Spec Sharp, SQL, VHDL, Visual Basic, Visual Basic .NET, XL (язык программирования), Каламбур типизации, Клу, Кобол, ... Развернуть индекс (14 больше) »
ABC (язык программирования)
— императивный, процедурный, структурный высокоуровневый язык программирования общего назначения и IDE, разработанные в Центре математики и информатики в Нидерландах в 1987 году.
Посмотреть Сильная и слабая типизация и ABC (язык программирования)
ActionScript
ActionScript — объектно-ориентированный язык программирования, один из диалектов ECMAScript, который добавляет интерактивность, обработку данных и многое другое в содержимое Flash-приложений.
Посмотреть Сильная и слабая типизация и ActionScript
Amiga E
Amiga E (часто называемый просто E) — объектно-ориентированный язык программирования созданный Ваутером ван Оортмерссеном для ПК Amiga.
Посмотреть Сильная и слабая типизация и Amiga E
AppleScript
AppleScript — язык сценариев, созданный Apple и встроенный в macOS, используемой на компьютерах корпорации, начиная с System 7.
Посмотреть Сильная и слабая типизация и AppleScript
Arc (язык программирования)
Arc — это диалект языка Лисп, который разрабатывают Пол Грэм и Роберт Моррис.
Посмотреть Сильная и слабая типизация и Arc (язык программирования)
BeanShell
BeanShell — скриптовый язык для Java, созданный Patrick Niemeyer.
Посмотреть Сильная и слабая типизация и BeanShell
C Sharp
C# (произносится си шарп) — объектно-ориентированный язык программирования.
Посмотреть Сильная и слабая типизация и C Sharp
Caml
Caml — это объектно-ориентированный язык программирования, разработанный для создания более безопасных и защищенных программ.
Посмотреть Сильная и слабая типизация и Caml
Clean
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования.
Посмотреть Сильная и слабая типизация и Clean
Cobra (язык программирования)
Cobra — высокоуровневый объектно-ориентированным язык программирования общего назначения.
Посмотреть Сильная и слабая типизация и Cobra (язык программирования)
Common Lisp
Common Lisp (сокращённо — CL) — диалект языка программирования Лисп, стандартизированный ANSI.
Посмотреть Сильная и слабая типизация и Common Lisp
Curl (язык программирования)
Curl — рефлексивный объектно-ориентированный язык программирования, созданный для написания интерактивных веб-приложений.
Посмотреть Сильная и слабая типизация и Curl (язык программирования)
Delphi (язык программирования)
Delphi (Де́лфи, произносится) — императивный структурированный объектно-ориентированный язык программирования со строгой статической типизацией переменных.
Посмотреть Сильная и слабая типизация и Delphi (язык программирования)
E (язык программирования)
E — объектно-ориентированный язык программирования для надежных распределенных вычислений, разработанный Марком С. Миллером, Дэном Борнстейном и другими участниками сообщества (среди них был и Дуглас Кроуфорд) в 1997.
Посмотреть Сильная и слабая типизация и E (язык программирования)
Eiffel
Eiffel (Эйфель) — объектно-ориентированный язык программирования с алголоподобным синтаксисом, разработанный Бертраном Мейером.
Посмотреть Сильная и слабая типизация и Eiffel
Elixir (язык программирования)
Elixir — функциональный, распределённый язык программирования общего назначения, который работает на виртуальной машине Erlang (BEAM).
Посмотреть Сильная и слабая типизация и Elixir (язык программирования)
Elm (язык программирования)
Elm — функциональный язык, предназначенный для декларативного создания графических интерфейсов, основанных на браузере.
Посмотреть Сильная и слабая типизация и Elm (язык программирования)
Erlang
Erlang — функциональный язык программирования с сильной динамической типизацией, предназначенный для создания распределённых вычислительных систем.
Посмотреть Сильная и слабая типизация и Erlang
Go
Go (часто также Golang) — компилируемый многопоточный язык программирования, разработанный внутри компании Google.
Посмотреть Сильная и слабая типизация и Go
Go!
Go! — многопоточный язык программирования, разработанный Кейтом Кларком и Фрэнсисом Маккейбом в 2003 году.
Посмотреть Сильная и слабая типизация и Go!
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Посмотреть Сильная и слабая типизация и Haskell
Limbo
Limbo — язык программирования в операционной системе Inferno, созданный разработчиками UNIX.
Посмотреть Сильная и слабая типизация и Limbo
Lua
Lua (лу́а) — скриптовый язык программирования, разработанный в подразделении Tecgraf (Computer Graphics Technology Group) Католического университета Рио-де-Жанейро (Бразилия).
Посмотреть Сильная и слабая типизация и Lua
Mercury (язык программирования)
Mercury — язык функционально-логического программирования со строгой типизацией, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog.
Посмотреть Сильная и слабая типизация и Mercury (язык программирования)
MetaPost
MetaPost — интерпретатор языка программирования META, который можно использовать для создания графических иллюстраций.
Посмотреть Сильная и слабая типизация и MetaPost
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Посмотреть Сильная и слабая типизация и ML
Monkey (язык программирования)
Monkey — язык программирования, предназначенный для разработки игр на различных платформах, включая настольный компьютер, мобильные и игровые консоли.
Посмотреть Сильная и слабая типизация и Monkey (язык программирования)
Object Pascal
Object Pascal — язык программирования, разработанный в фирме Apple Computer в 1986 году группой Ларри Теслера, который консультировался с Никлаусом Виртом.
Посмотреть Сильная и слабая типизация и Object Pascal
Objective-C
Objective-C — компилируемый объектно-ориентированный язык программирования, используемый корпорацией Apple, построенный на основе языка Си и парадигм Smalltalk.
Посмотреть Сильная и слабая типизация и Objective-C
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Посмотреть Сильная и слабая типизация и OCaml
PHP
PHP (PHP: Hypertext Preprocessor — «PHP: препроцессор гипертекста»; первоначально Personal Home Page Tools — «Инструменты для создания персональных веб-страниц») — скриптовый язык общего назначения, интенсивно применяемый для разработки веб-приложений.
Посмотреть Сильная и слабая типизация и PHP
PL/SQL
PL/SQL (Procedural Language / Structured Query Language) — язык программирования, процедурное расширение языка SQL, разработанное корпорацией Oracle.
Посмотреть Сильная и слабая типизация и PL/SQL
PostScript
PostScript (Постскрипт) — язык описания страниц, в основном используемый в настольных издательских системах.
Посмотреть Сильная и слабая типизация и PostScript
Python
Логотип Python (1990—2005) Python (МФА:; в русском языке распространено название пито́н) — высокоуровневый язык программирования общего назначения, ориентированный на повышение производительности разработчика и читаемости кода.
Посмотреть Сильная и слабая типизация и Python
Q Sharp
Q# (Q Sharp) — предметно-ориентированный язык, используемый для выражения квантовых алгоритмов.
Посмотреть Сильная и слабая типизация и Q Sharp
RCML
RCML (Robot Control Meta Language, произносится — компилируемый статически типизированный язык программирования высокого уровня. Разработан для получения одинакового результата независимо от исполнения робота.
Посмотреть Сильная и слабая типизация и RCML
REBOL
REBOL (произносится как) — контекстно-зависимый объектный язык программирования, созданный специально для распределённых вычислений в Web.
Посмотреть Сильная и слабая типизация и REBOL
Ruby
Ruby (ruby — рубин, произносится — ру́би) — динамический, рефлективный, интерпретируемый высокоуровневый язык программирования.
Посмотреть Сильная и слабая типизация и Ruby
Rust (язык программирования)
Rust (rust — ржавчина, произносится — раст) — мультипарадигмальный компилируемый язык программирования общего назначения, спонсируемый Mozilla Research, сочетающий парадигмы функционального и процедурного программирования с объектной системой, основанной на типажах, и с управлением памятью через понятие «владения» (систему, позволяющую обходиться без сборки мусора).
Посмотреть Сильная и слабая типизация и Rust (язык программирования)
Scala (язык программирования)
Scala — мультипарадигмальный язык программирования, спроектированный кратким и типобезопасным для простого и быстрого создания компонентного программного обеспечения, сочетающий возможности функционального и объектно-ориентированного программирования.
Посмотреть Сильная и слабая типизация и Scala (язык программирования)
Sing Sharp
Sing# — язык программирования с поддержкой параллелизма, является расширением языка программирования Spec#, который, в свою очередь, является расширением языка C#.
Посмотреть Сильная и слабая типизация и Sing Sharp
Spec Sharp
Spec# — язык программирования с поддержкой особенностей языка спецификаций, расширяющих возможности языка программирования C# контрактным программированием, так, как это сделано в языке Эйфель, включая объектные инварианты, предусловия и постусловия.
Посмотреть Сильная и слабая типизация и Spec Sharp
SQL
SQL (structured query language — «язык структурированных запросов») — декларативный язык программирования, применяемый для создания, модификации и управления данными в реляционной базе данных, управляемой соответствующей системой управления базами данных.
Посмотреть Сильная и слабая типизация и SQL
VHDL
VHDL (VHSIC (Very high speed integrated circuits) Hardware Description Language) — язык описания аппаратуры интегральных схем.
Посмотреть Сильная и слабая типизация и VHDL
Visual Basic
Microsoft Visual Basic — язык программирования, а также интегрированная среда разработки программного обеспечения, разрабатываемые корпорацией Microsoft.
Посмотреть Сильная и слабая типизация и Visual Basic
Visual Basic .NET
Visual Basic.NET (VB.NET) — объектно-ориентированный язык программирования, который можно рассматривать как очередной виток эволюции Visual Basic (VB), реализованный на платформе Microsoft.NET.
Посмотреть Сильная и слабая типизация и Visual Basic .NET
XL (язык программирования)
XL — основа расширяемого языка eXtensible Language.
Посмотреть Сильная и слабая типизация и XL (язык программирования)
Каламбур типизации
Термин каламбур типизации (type punning) используется в информатике для обозначения различных техник нарушения или обмана системы типов некоторого языка программирования, имеющих эффект, который было бы затруднительно или невозможно обеспечить в рамках формального языка.
Посмотреть Сильная и слабая типизация и Каламбур типизации
Клу
Клу (Clu, CLU) — объектно-ориентированный язык программирования, одним из первых реализовавший концепцию абстрактных типов данных и парадигму обобщённого программирования.
Посмотреть Сильная и слабая типизация и Клу
Кобол
Кобо́л (COBOL, COmmon Business Oriented Language) — один из старейших языков программирования (первая версия выпущена в 1959 году), предназначенный, в первую очередь, для разработки бизнес-приложений.
Посмотреть Сильная и слабая типизация и Кобол
Приведение типа
Приведе́ние (преобразование) ти́па (type conversion, typecasting, coercion) — в информатике преобразование значения одного типа в значение другого типа.
Посмотреть Сильная и слабая типизация и Приведение типа
Полиморфизм (информатика)
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.
Посмотреть Сильная и слабая типизация и Полиморфизм (информатика)
Объединение (структура данных)
В информатике объединение (union) представляет собой или структуру данных, которое может иметь несколько различных представлений.
Посмотреть Сильная и слабая типизация и Объединение (структура данных)
Ада (язык программирования)
А́да (Ada) — язык программирования, созданный в 1979—1980 годах в ходе проекта Министерством обороны США с целью разработать единый язык программирования для встроенных систем (то есть систем управления автоматизированными комплексами, функционирующими в реальном времени).
Посмотреть Сильная и слабая типизация и Ада (язык программирования)
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Посмотреть Сильная и слабая типизация и Си (язык программирования)
Список языков JVM
Этот список языков представляет собой собрание языков программирования, которые используются для создания программного обеспечения, использующего в качестве среды выполнения виртуальную машину Java (JVM).
Посмотреть Сильная и слабая типизация и Список языков JVM
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Посмотреть Сильная и слабая типизация и Тип данных
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Посмотреть Сильная и слабая типизация и Типобезопасность
Фортран
Фортра́н (Fortran) — первый язык программирования высокого уровня, получивший практическое применение, имеющий транслятор и испытавший дальнейшее развитие.
Посмотреть Сильная и слабая типизация и Фортран
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Посмотреть Сильная и слабая типизация и Язык программирования
Модула-2
Мо́дула-2 (Modula-2) — язык программирования общего назначения, являющийся развитием Паскаля, разработанный Никлаусом Виртом в 1978 году.
Посмотреть Сильная и слабая типизация и Модула-2
Би (язык программирования)
Би (вторая буква английского алфавита — B) — интерпретируемый язык программирования, разработанный в AT&T Bell Telephone Laboratories.
Посмотреть Сильная и слабая типизация и Би (язык программирования)
Динамическая типизация
Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной.
Посмотреть Сильная и слабая типизация и Динамическая типизация
Лисп
Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.
Посмотреть Сильная и слабая типизация и Лисп
Также известен как Сильная типизация, Сильнотипизированный, Сильнотипизированный язык программирования, Слабая типизация.