Programming language comparisons

punctuation mark consisting of two equally sized dots centered on the same vertical line

type which stores memory addresses in a computer program

programming paradigm based on applying and composing functions

programming paradigm of directly specifying commands that affect program state

formal system in mathematical logic

in programming languages and type theory, accessing different types using a common interface

In computing, a names space is a set of signs (names) that are used to identify and refer to objects of various kinds. A namespace ensures that all of a given set of objects have unique names so that they can be easily identified.

order in which individual statements, instructions or function calls of an imperative program are executed or evaluated

way of designing and writing programs where algorithms are written in terms of parametric types enabling easy reuse

WebAssembly (Wasm) defines a portable binary code format and a corresponding text format for executable programs and software interfaces for facilitating communication between such programs and their host environment.

special method used for initializing a newly allocated object in object-oriented programming

programming idiom

evaluation strategy that delays evaluation of expressions until actually needed

ability of a process to examine, introspect and modify itself

region of a computer program where a name binding is valid

thumb|A newline inserted between the words "Hello" and "world" A newline (frequently called line ending, end of line (EOL), next line (NEL) or line break) is a control character or sequence of control characters in character encoding specifications such as ASCII, EBCDIC, Unicode, etc. A newline is used to signify the end of a line of text and the start of a new one.

purely abstract class in object-oriented programming

design pattern

mathematical function that takes one or more functions as an input or that outputs a function

programming language construct for processing data conditionally on its structure

synchronization mechanism for enforcing limits on concurrent access to a resource

set of rules or guidelines used when writing the source code for a computer program

property of a type system that prevents certain erroneous or undesirable program behaviours

programming language

C++ mechanism that exposes information about an object's data type at runtime

computer language construct for declaratively defining lists (or other data structures)

Delaying a task until it is first needed

relationship between a generic type or a function and a component type on subtyping

Wikimedia list article

family of higher-order functions that analyze a recursive data structure and build up a return value

feature of some programming languages

function of indefinite arity, i.e., one which accepts a variable number of arguments

compiler optimization replacing a function call with that function's body

programming paradigm

higher-order function in a programming language, which applies a given function element-wise to a collection (most generally, a functor instance)

capability of some object-oriented programming languages to examine the type or properties of an object at runtime

higher-order function y for which y f = f (y f)

encapsulation of an optional value in programming or type theory

design pattern in object-oriented programming

type system construct for ad-hoc polymorphism

wiki-based programming website with implementations of common algorithms in various programming languages

data structure in programming

shift operator in computer programming

design pattern where business rules can be recombined by chaining them together using boolean logic, often used in domain-driven design

a variable in an inner scope hiding an identically named variable in an outer scope