Programming Language

A programming language is used to produced machine code.

Programming languages have different level of semantics but they still share same concepts.

	Definition
referentially transparent
type inference	Infer the type from the context (return function type) such as the keyword auto in C++
reference
pointer	Memory address of an object