Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Strong and weak typing

Index Strong and weak typing

In computer programming, programming languages are often colloquially classified as to whether the language's type system makes it strongly typed or weakly typed (loosely typed). [1]

43 relations: Ada (programming language), Aliasing (computing), Assembly language, Barbara Liskov, C (programming language), Clojure, CMU Common Lisp, Common Lisp, Comparison of programming languages, Compiler, Computer programming, Data type, Duck typing, F Sharp (programming language), Forth (programming language), GNU Compiler Collection, Haskell (programming language), Java (programming language), Java virtual machine, Latent typing, Lisp (programming language), Luca Cardelli, Mathematical optimization, Memory safety, OCaml, Pascal (programming language), Perl, Pointer (computer programming), Programming language, Python (programming language), Ruby (programming language), Rust (programming language), Self (programming language), Smalltalk, Standard ML, Tony Hoare, Type conversion, Type inference, Type punning, Type safety, Type system, Variable (computer science), Visual Basic.

Ada (programming language)

Ada is a structured, statically typed, imperative, and object-oriented high-level computer programming language, extended from Pascal and other languages.

New!!: Strong and weak typing and Ada (programming language) · See more »

Aliasing (computing)

In computing, aliasing describes a situation in which a data location in memory can be accessed through different symbolic names in the program.

New!!: Strong and weak typing and Aliasing (computing) · See more »

Assembly language

An assembly (or assembler) language, often abbreviated asm, is a low-level programming language, in which there is a very strong (but often not one-to-one) correspondence between the assembly program statements and the architecture's machine code instructions.

New!!: Strong and weak typing and Assembly language · See more »

Barbara Liskov

Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department.

New!!: Strong and weak typing and Barbara Liskov · See more »

C (programming language)

C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.

New!!: Strong and weak typing and C (programming language) · See more »


Clojure (like "closure") is a dialect of the Lisp programming language.

New!!: Strong and weak typing and Clojure · See more »

CMU Common Lisp

CMUCL is a free Common Lisp implementation, originally developed at Carnegie Mellon University.

New!!: Strong and weak typing and CMU Common Lisp · See more »

Common Lisp

Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 (R2004) (formerly X3.226-1994 (R1999)).

New!!: Strong and weak typing and Common Lisp · See more »

Comparison of programming languages

Programming languages are used for controlling the behavior of a machine (often a computer).

New!!: Strong and weak typing and Comparison of programming languages · See more »


A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).

New!!: Strong and weak typing and Compiler · See more »

Computer programming

Computer programming is the process of building and designing an executable computer program for accomplishing a specific computing task.

New!!: Strong and weak typing and Computer programming · See more »

Data type

In computer science and computer programming, a data type or simply type is a classification of data which tells the compiler or interpreter how the programmer intends to use the data.

New!!: Strong and weak typing and Data type · See more »

Duck typing

In computer programming, duck typing is an application of the duck test in type safety.

New!!: Strong and weak typing and Duck typing · See more »

F Sharp (programming language)

F# (pronounced F sharp) is a strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods.

New!!: Strong and weak typing and F Sharp (programming language) · See more »

Forth (programming language)

Forth is an imperative stack-based computer programming language and environment originally designed by Charles "Chuck" Moore.

New!!: Strong and weak typing and Forth (programming language) · See more »

GNU Compiler Collection

The GNU Compiler Collection (GCC) is a compiler system produced by the GNU Project supporting various programming languages.

New!!: Strong and weak typing and GNU Compiler Collection · See more »

Haskell (programming language)

Haskell is a standardized, general-purpose compiled purely functional programming language, with non-strict semantics and strong static typing.

New!!: Strong and weak typing and Haskell (programming language) · See more »

Java (programming language)

Java is a general-purpose computer-programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible.

New!!: Strong and weak typing and Java (programming language) · See more »

Java virtual machine

A Java virtual machine (JVM) is a virtual machine that enables a computer to run Java programs as well as programs written in other languages and compiled to Java bytecode.

New!!: Strong and weak typing and Java virtual machine · See more »

Latent typing

In computer programming, latent typing refers to a type system where types are associated with values and not variables.

New!!: Strong and weak typing and Latent typing · See more »

Lisp (programming language)

Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.

New!!: Strong and weak typing and Lisp (programming language) · See more »

Luca Cardelli

Luca Andrea Cardelli FRS is an Italian computer scientist who is an Assistant Director at Microsoft Research in Cambridge, UK.

New!!: Strong and weak typing and Luca Cardelli · See more »

Mathematical optimization

In mathematics, computer science and operations research, mathematical optimization or mathematical programming, alternatively spelled optimisation, is the selection of a best element (with regard to some criterion) from some set of available alternatives.

New!!: Strong and weak typing and Mathematical optimization · See more »

Memory safety

Memory safety is the state of being protected from various software bugs and security vulnerabilities when dealing with memory access, such as buffer overflows and dangling pointers.

New!!: Strong and weak typing and Memory safety · See more »


OCaml, originally named Objective Caml, is the main implementation of the programming language Caml, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996.

New!!: Strong and weak typing and OCaml · See more »

Pascal (programming language)

Pascal is an imperative and procedural programming language, which Niklaus Wirth designed in 1968–69 and published in 1970, as a small, efficient language intended to encourage good programming practices using structured programming and data structuring. It is named in honor of the French mathematician, philosopher and physicist Blaise Pascal. Pascal was developed on the pattern of the ALGOL 60 language. Wirth had already developed several improvements to this language as part of the ALGOL X proposals, but these were not accepted and Pascal was developed separately and released in 1970. A derivative known as Object Pascal designed for object-oriented programming was developed in 1985; this was used by Apple Computer and Borland in the late 1980s and later developed into Delphi on the Microsoft Windows platform. Extensions to the Pascal concepts led to the Pascal-like languages Modula-2 and Oberon.

New!!: Strong and weak typing and Pascal (programming language) · See more »


Perl is a family of two high-level, general-purpose, interpreted, dynamic programming languages, Perl 5 and Perl 6.

New!!: Strong and weak typing and Perl · See more »

Pointer (computer programming)

In computer science, a pointer is a programming language object that stores the memory address of another value located in computer memory.

New!!: Strong and weak typing and Pointer (computer programming) · See more »

Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: Strong and weak typing and Programming language · See more »

Python (programming language)

Python is an interpreted high-level programming language for general-purpose programming.

New!!: Strong and weak typing and Python (programming language) · See more »

Ruby (programming language)

Ruby is a dynamic, interpreted, reflective, object-oriented, general-purpose programming language.

New!!: Strong and weak typing and Ruby (programming language) · See more »

Rust (programming language)

Rust is a systems programming language sponsored by Mozilla which describes it as a "safe, concurrent, practical language," supporting functional and imperative-procedural paradigms.

New!!: Strong and weak typing and Rust (programming language) · See more »

Self (programming language)

Self is an object-oriented programming language based on the concept of prototypes.

New!!: Strong and weak typing and Self (programming language) · See more »


Smalltalk is an object-oriented, dynamically typed, reflective programming language.

New!!: Strong and weak typing and Smalltalk · See more »

Standard ML

Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference.

New!!: Strong and weak typing and Standard ML · See more »

Tony Hoare

Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.

New!!: Strong and weak typing and Tony Hoare · See more »

Type conversion

In computer science, type conversion, type casting, and type coercion are different ways of changing an entity of one data type into another.

New!!: Strong and weak typing and Type conversion · See more »

Type inference

Type inference refers to the automatic detection of the data type of an expression in a programming language.

New!!: Strong and weak typing and Type inference · See more »

Type punning

In computer science, type punning is a common term for any programming technique that subverts or circumvents the type system of a programming language in order to achieve an effect that would be difficult or impossible to achieve within the bounds of the formal language.

New!!: Strong and weak typing and Type punning · See more »

Type safety

In computer science, type safety is the extent to which a programming language discourages or prevents type errors.

New!!: Strong and weak typing and Type safety · See more »

Type system

In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.

New!!: Strong and weak typing and Type system · See more »

Variable (computer science)

In computer programming, a variable or scalar is a storage location (identified by a memory address) paired with an associated symbolic name (an identifier), which contains some known or unknown quantity of information referred to as a value.

New!!: Strong and weak typing and Variable (computer science) · See more »

Visual Basic

Visual Basic is a third-generation event-driven programming language and integrated development environment (IDE) from Microsoft for its Component Object Model (COM) programming model first released in 1991 and declared legacy during 2008.

New!!: Strong and weak typing and Visual Basic · See more »

Redirects here:

Loose typing, Loosely typed, Loosely-typed, Strictly typed, Strong data typing, Strong type, Strong typing, Strongly typed, Strongly typed language, Strongly typed languages, Strongly typed programming language, Strongly-typed, Strongly-typed (programming language), Strongly-typed (programming languages), Strongly-typed programming language, Strongly-typed programming languages, Type strength, Weak and Strong typing, Weak typing, Weakly typed, Weakly typed language, Weakly-typed, Weakly-typed (programming languages), Weakly-typed programming language, Weakly-typed programming languages.


[1] https://en.wikipedia.org/wiki/Strong_and_weak_typing

Hey! We are on Facebook now! »