Welcome to the L-World Value Types early adopter's project !

What are Value Types?

• Value Types are small, immutable, identity-less types
• User model: "codes like a class, works like an int"
• Use cases: Numerics, algebraic data types, tuples, cursors, ...
• Removing identity commitment enables optimizations such as
  • flattening of value types in containers such as fields or arrays
    • reducing cost of indirection and locality of reference with attendant cache miss penalties
    • reducing memory footprint and load on garbage collectors
• Combining Immutability and no identity commitment allows value types to be stored in registers or stack or passed by value

...