James Earl Douglas
June 23, 2015
In the next five minutes, I aim to:
The fundamental problem addressed by a type theory is to ensure that programs have meaning.
-- Mark Manasse
There's only one possible implementation*: identity
.
What is z
?
╯°□°)╯︵ ┻━┻
Now what is z
?
┬─┬ノ( º _ ºノ)
interface Prod<A> {
product(x: A, y: A): A;
}
function product<A>(p: Prod<A>): (x: A, y: A) => A {
return p.product;
}
var numberProd: Prod<number> = {
product: (x: number, y: number) => { return x * y },
};
\o/
Web browsers don't know what TypeScript is. They need JavaScript.
$ tsc multiply.ts