Name: Anonymous 2012-01-13 6:23
If you cant sense it, then it doesnt exist.
You cant see emptiness, therefore emptiness doesnt exist.
You cant see emptiness, therefore emptiness doesnt exist.
Lisp | Haskell
-------|------------------------------------------------------------------------
lambda | inference, lambda cube, strongly normalizing, equality-qualified types,
| algebraic types, existential types, phantom types, dependent types,
| higher-kinded types, linear types, affine types, unique types,
| nominal types, signatures types, recursive types, type classes,
| type annotations, principal types, higher-order abstract syntax,
| generalized algebraic types, robinson's unification, hindley-milner,
| constrained types, polymorphic recursion, parametric polymorphism,
| equivalence classes, type order, judgments, curry-howard isomorphism,
| system t, system f, products, coproducts, categorial sum, call-by-name,
| inhabited types, higher-rank impredicative polymorphism, covariance,
| subtype polymorphism, ad-hoc polymorphism, predicative types,
| bounded quantification, contravariance, inductive types...