Book: Thinking with types

Backlinks

• Void Type
  • Book: Thinking with Types
• Types have a cardinality
  • Book: Thinking with types
• Type Theory
  • Book: Thinking with types
• A pair of types with the same cardinality will always be isomorphic
  • Book: Thinking with types
• Cardinality can be used to express maths concepts
  • thinking with types
• An Isomorphism can be encoded with two functions
  • Book: Thinking with Types
• Function types are like exponentiation for cardinality
  • Book: Thinking with Types
• Product Type
  • Book: Thinking with Types
• Sum Type
  • Book: Thinking with Types