Type systems

• Affine2 uses
• Algebraic Data Types17 uses
• Dependent5 uses
• Duck25 uses
• Dynamic111 uses
• Flow-Sensitive11 uses
• Generic13 uses
• Gradual8 uses
• Inferred43 uses
• Latent3 uses
• Manifest9 uses
• Nominal20 uses
• Object-Oriented48 uses
• Optional5 uses
• Polymorphic3 uses
• RTTI0 uses
• Safe13 uses
• Static94 uses
• String1 uses
• Strong119 uses
• Structural11 uses
• Uniqueness2 uses
• Untyped28 uses
• Weak14 uses