type system

• Petition for examples of covariance
  by Bernd Schoeller (modified: 2010 Dec 19)

  Tags:
  • type system
  • covariance
• Why Type-safety?
  by Bernd Schoeller (modified: 2011 Jul 19)

  Tags:
  • language design
  • type safety
  • Software correctness
  • software engineering
  • type system
• Revival of manifest arrays
  by Alexander Kogtenkov (modified: 2017 Sep 18)

  Tags:
  • syntax
  • type system
  • manifest array

  A type of a manifest array involved in a reattachment is computed now directly. It does not depend on the type of the target of the reattachment anymore.