Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
outline [2016/10/15 14:22] nikolaj |
outline [2016/11/27 15:20] nikolaj |
||
---|---|---|---|
Line 4: | Line 4: | ||
Here is an outline structure (work in progress): | Here is an outline structure (work in progress): | ||
+ | === Concepts in the incarnation of a programming language === | ||
+ | * Assume knowledge of integers $-2,-1,0,1,2,3$ with binary operations $+,-,*$. | ||
+ | * More on that languages syntax and examples (which are instances of relevant concepts to be discussed later) | ||
=== Computation and logic (presented bottom-up) === | === Computation and logic (presented bottom-up) === | ||
- | * (Maybe playing around with stuff that a computer evaluates) | ||
* Comment on syntax | * Comment on syntax | ||
* Type theories: Simple type theory $\to$ Polymorphic type theory $\to$ Dependent type theory | * Type theories: Simple type theory $\to$ Polymorphic type theory $\to$ Dependent type theory |