Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
haskell_type_system [2015/04/21 16:37] nikolaj |
haskell_type_system [2016/05/10 18:21] nikolaj |
||
|---|---|---|---|
| Line 28: | Line 28: | ||
| == Function types == | == Function types == | ||
| Type theoretically (on the kind level): | Type theoretically (on the kind level): | ||
| - | ${\large\frac{a,b\ :\ \star}{a\to b\ :\ \star}}$ | + | ${\large\frac{a\ :\ \star \hspace{.5cm} b\ :\ \star}{a\to b\ :\ \star}}$ |
| Haskell syntax: | Haskell syntax: | ||
| Line 36: | Line 36: | ||
| Type theoretically: | Type theoretically: | ||
| - | ${\large\frac{x\ :\ a\hspace{.5cm} g\ :\ b}{\lambda x.g\ :\ a\to b}}$ | + | ${\large\frac{x\ :\ a \hspace{.5cm} g\ :\ b}{\lambda x.g\ :\ a\to b}}$ |
| <code/Haskell> | <code/Haskell> | ||
| Line 163: | Line 163: | ||
| === Reference === | === Reference === | ||
| Wikipedia: [[http://en.wikipedia.org/wiki/Kind_%28type_theory%29|Kind (type theory)]] | Wikipedia: [[http://en.wikipedia.org/wiki/Kind_%28type_theory%29|Kind (type theory)]] | ||
| - | ==== Parents ==== | + | |
| + | ----- | ||
| + | === Related=== | ||
| + | [[Hask]] | ||
| === Requirements === | === Requirements === | ||
| [[Type theory]], [[Haskell]] | [[Type theory]], [[Haskell]] | ||
