Programming language
= Programming language
{wiki}
A <programming language> specifies how programs are written and what their execution means. Its <type system> describes which operations may be combined; an <abstract syntax tree> records the structure on which these rules act. The examples under <type system> use a small teaching language with <integers>, Boolean values and <function types>.
// Target: computer-science.bigb